eyeling 1.5.12 → 1.5.14

package/examples/deep-taxonomy-1000.n3

@@ -0,0 +1,1011 @@
+@prefix : <http://eulersharp.sourceforge.net/2009/12dtb/test#>.
+
+# fact
+:ind a :N0.
+
+# rules
+
+{:ind a :A2} => {:test :is true}.
+
+{?X a :N0} => {?X a :N1, :I1, :J1}.
+{?X a :N1} => {?X a :N2, :I2, :J2}.
+{?X a :N2} => {?X a :N3, :I3, :J3}.
+{?X a :N3} => {?X a :N4, :I4, :J4}.
+{?X a :N4} => {?X a :N5, :I5, :J5}.
+{?X a :N5} => {?X a :N6, :I6, :J6}.
+{?X a :N6} => {?X a :N7, :I7, :J7}.
+{?X a :N7} => {?X a :N8, :I8, :J8}.
+{?X a :N8} => {?X a :N9, :I9, :J9}.
+{?X a :N9} => {?X a :N10, :I10, :J10}.
+{?X a :N10} => {?X a :N11, :I11, :J11}.
+{?X a :N11} => {?X a :N12, :I12, :J12}.
+{?X a :N12} => {?X a :N13, :I13, :J13}.
+{?X a :N13} => {?X a :N14, :I14, :J14}.
+{?X a :N14} => {?X a :N15, :I15, :J15}.
+{?X a :N15} => {?X a :N16, :I16, :J16}.
+{?X a :N16} => {?X a :N17, :I17, :J17}.
+{?X a :N17} => {?X a :N18, :I18, :J18}.
+{?X a :N18} => {?X a :N19, :I19, :J19}.
+{?X a :N19} => {?X a :N20, :I20, :J20}.
+{?X a :N20} => {?X a :N21, :I21, :J21}.
+{?X a :N21} => {?X a :N22, :I22, :J22}.
+{?X a :N22} => {?X a :N23, :I23, :J23}.
+{?X a :N23} => {?X a :N24, :I24, :J24}.
+{?X a :N24} => {?X a :N25, :I25, :J25}.
+{?X a :N25} => {?X a :N26, :I26, :J26}.
+{?X a :N26} => {?X a :N27, :I27, :J27}.
+{?X a :N27} => {?X a :N28, :I28, :J28}.
+{?X a :N28} => {?X a :N29, :I29, :J29}.
+{?X a :N29} => {?X a :N30, :I30, :J30}.
+{?X a :N30} => {?X a :N31, :I31, :J31}.
+{?X a :N31} => {?X a :N32, :I32, :J32}.
+{?X a :N32} => {?X a :N33, :I33, :J33}.
+{?X a :N33} => {?X a :N34, :I34, :J34}.
+{?X a :N34} => {?X a :N35, :I35, :J35}.
+{?X a :N35} => {?X a :N36, :I36, :J36}.
+{?X a :N36} => {?X a :N37, :I37, :J37}.
+{?X a :N37} => {?X a :N38, :I38, :J38}.
+{?X a :N38} => {?X a :N39, :I39, :J39}.
+{?X a :N39} => {?X a :N40, :I40, :J40}.
+{?X a :N40} => {?X a :N41, :I41, :J41}.
+{?X a :N41} => {?X a :N42, :I42, :J42}.
+{?X a :N42} => {?X a :N43, :I43, :J43}.
+{?X a :N43} => {?X a :N44, :I44, :J44}.
+{?X a :N44} => {?X a :N45, :I45, :J45}.
+{?X a :N45} => {?X a :N46, :I46, :J46}.
+{?X a :N46} => {?X a :N47, :I47, :J47}.
+{?X a :N47} => {?X a :N48, :I48, :J48}.
+{?X a :N48} => {?X a :N49, :I49, :J49}.
+{?X a :N49} => {?X a :N50, :I50, :J50}.
+{?X a :N50} => {?X a :N51, :I51, :J51}.
+{?X a :N51} => {?X a :N52, :I52, :J52}.
+{?X a :N52} => {?X a :N53, :I53, :J53}.
+{?X a :N53} => {?X a :N54, :I54, :J54}.
+{?X a :N54} => {?X a :N55, :I55, :J55}.
+{?X a :N55} => {?X a :N56, :I56, :J56}.
+{?X a :N56} => {?X a :N57, :I57, :J57}.
+{?X a :N57} => {?X a :N58, :I58, :J58}.
+{?X a :N58} => {?X a :N59, :I59, :J59}.
+{?X a :N59} => {?X a :N60, :I60, :J60}.
+{?X a :N60} => {?X a :N61, :I61, :J61}.
+{?X a :N61} => {?X a :N62, :I62, :J62}.
+{?X a :N62} => {?X a :N63, :I63, :J63}.
+{?X a :N63} => {?X a :N64, :I64, :J64}.
+{?X a :N64} => {?X a :N65, :I65, :J65}.
+{?X a :N65} => {?X a :N66, :I66, :J66}.
+{?X a :N66} => {?X a :N67, :I67, :J67}.
+{?X a :N67} => {?X a :N68, :I68, :J68}.
+{?X a :N68} => {?X a :N69, :I69, :J69}.
+{?X a :N69} => {?X a :N70, :I70, :J70}.
+{?X a :N70} => {?X a :N71, :I71, :J71}.
+{?X a :N71} => {?X a :N72, :I72, :J72}.
+{?X a :N72} => {?X a :N73, :I73, :J73}.
+{?X a :N73} => {?X a :N74, :I74, :J74}.
+{?X a :N74} => {?X a :N75, :I75, :J75}.
+{?X a :N75} => {?X a :N76, :I76, :J76}.
+{?X a :N76} => {?X a :N77, :I77, :J77}.
+{?X a :N77} => {?X a :N78, :I78, :J78}.
+{?X a :N78} => {?X a :N79, :I79, :J79}.
+{?X a :N79} => {?X a :N80, :I80, :J80}.
+{?X a :N80} => {?X a :N81, :I81, :J81}.
+{?X a :N81} => {?X a :N82, :I82, :J82}.
+{?X a :N82} => {?X a :N83, :I83, :J83}.
+{?X a :N83} => {?X a :N84, :I84, :J84}.
+{?X a :N84} => {?X a :N85, :I85, :J85}.
+{?X a :N85} => {?X a :N86, :I86, :J86}.
+{?X a :N86} => {?X a :N87, :I87, :J87}.
+{?X a :N87} => {?X a :N88, :I88, :J88}.
+{?X a :N88} => {?X a :N89, :I89, :J89}.
+{?X a :N89} => {?X a :N90, :I90, :J90}.
+{?X a :N90} => {?X a :N91, :I91, :J91}.
+{?X a :N91} => {?X a :N92, :I92, :J92}.
+{?X a :N92} => {?X a :N93, :I93, :J93}.
+{?X a :N93} => {?X a :N94, :I94, :J94}.
+{?X a :N94} => {?X a :N95, :I95, :J95}.
+{?X a :N95} => {?X a :N96, :I96, :J96}.
+{?X a :N96} => {?X a :N97, :I97, :J97}.
+{?X a :N97} => {?X a :N98, :I98, :J98}.
+{?X a :N98} => {?X a :N99, :I99, :J99}.
+{?X a :N99} => {?X a :N100, :I100, :J100}.
+{?X a :N100} => {?X a :N101, :I101, :J101}.
+{?X a :N101} => {?X a :N102, :I102, :J102}.
+{?X a :N102} => {?X a :N103, :I103, :J103}.
+{?X a :N103} => {?X a :N104, :I104, :J104}.
+{?X a :N104} => {?X a :N105, :I105, :J105}.
+{?X a :N105} => {?X a :N106, :I106, :J106}.
+{?X a :N106} => {?X a :N107, :I107, :J107}.
+{?X a :N107} => {?X a :N108, :I108, :J108}.
+{?X a :N108} => {?X a :N109, :I109, :J109}.
+{?X a :N109} => {?X a :N110, :I110, :J110}.
+{?X a :N110} => {?X a :N111, :I111, :J111}.
+{?X a :N111} => {?X a :N112, :I112, :J112}.
+{?X a :N112} => {?X a :N113, :I113, :J113}.
+{?X a :N113} => {?X a :N114, :I114, :J114}.
+{?X a :N114} => {?X a :N115, :I115, :J115}.
+{?X a :N115} => {?X a :N116, :I116, :J116}.
+{?X a :N116} => {?X a :N117, :I117, :J117}.
+{?X a :N117} => {?X a :N118, :I118, :J118}.
+{?X a :N118} => {?X a :N119, :I119, :J119}.
+{?X a :N119} => {?X a :N120, :I120, :J120}.
+{?X a :N120} => {?X a :N121, :I121, :J121}.
+{?X a :N121} => {?X a :N122, :I122, :J122}.
+{?X a :N122} => {?X a :N123, :I123, :J123}.
+{?X a :N123} => {?X a :N124, :I124, :J124}.
+{?X a :N124} => {?X a :N125, :I125, :J125}.
+{?X a :N125} => {?X a :N126, :I126, :J126}.
+{?X a :N126} => {?X a :N127, :I127, :J127}.
+{?X a :N127} => {?X a :N128, :I128, :J128}.
+{?X a :N128} => {?X a :N129, :I129, :J129}.
+{?X a :N129} => {?X a :N130, :I130, :J130}.
+{?X a :N130} => {?X a :N131, :I131, :J131}.
+{?X a :N131} => {?X a :N132, :I132, :J132}.
+{?X a :N132} => {?X a :N133, :I133, :J133}.
+{?X a :N133} => {?X a :N134, :I134, :J134}.
+{?X a :N134} => {?X a :N135, :I135, :J135}.
+{?X a :N135} => {?X a :N136, :I136, :J136}.
+{?X a :N136} => {?X a :N137, :I137, :J137}.
+{?X a :N137} => {?X a :N138, :I138, :J138}.
+{?X a :N138} => {?X a :N139, :I139, :J139}.
+{?X a :N139} => {?X a :N140, :I140, :J140}.
+{?X a :N140} => {?X a :N141, :I141, :J141}.
+{?X a :N141} => {?X a :N142, :I142, :J142}.
+{?X a :N142} => {?X a :N143, :I143, :J143}.
+{?X a :N143} => {?X a :N144, :I144, :J144}.
+{?X a :N144} => {?X a :N145, :I145, :J145}.
+{?X a :N145} => {?X a :N146, :I146, :J146}.
+{?X a :N146} => {?X a :N147, :I147, :J147}.
+{?X a :N147} => {?X a :N148, :I148, :J148}.
+{?X a :N148} => {?X a :N149, :I149, :J149}.
+{?X a :N149} => {?X a :N150, :I150, :J150}.
+{?X a :N150} => {?X a :N151, :I151, :J151}.
+{?X a :N151} => {?X a :N152, :I152, :J152}.
+{?X a :N152} => {?X a :N153, :I153, :J153}.
+{?X a :N153} => {?X a :N154, :I154, :J154}.
+{?X a :N154} => {?X a :N155, :I155, :J155}.
+{?X a :N155} => {?X a :N156, :I156, :J156}.
+{?X a :N156} => {?X a :N157, :I157, :J157}.
+{?X a :N157} => {?X a :N158, :I158, :J158}.
+{?X a :N158} => {?X a :N159, :I159, :J159}.
+{?X a :N159} => {?X a :N160, :I160, :J160}.
+{?X a :N160} => {?X a :N161, :I161, :J161}.
+{?X a :N161} => {?X a :N162, :I162, :J162}.
+{?X a :N162} => {?X a :N163, :I163, :J163}.
+{?X a :N163} => {?X a :N164, :I164, :J164}.
+{?X a :N164} => {?X a :N165, :I165, :J165}.
+{?X a :N165} => {?X a :N166, :I166, :J166}.
+{?X a :N166} => {?X a :N167, :I167, :J167}.
+{?X a :N167} => {?X a :N168, :I168, :J168}.
+{?X a :N168} => {?X a :N169, :I169, :J169}.
+{?X a :N169} => {?X a :N170, :I170, :J170}.
+{?X a :N170} => {?X a :N171, :I171, :J171}.
+{?X a :N171} => {?X a :N172, :I172, :J172}.
+{?X a :N172} => {?X a :N173, :I173, :J173}.
+{?X a :N173} => {?X a :N174, :I174, :J174}.
+{?X a :N174} => {?X a :N175, :I175, :J175}.
+{?X a :N175} => {?X a :N176, :I176, :J176}.
+{?X a :N176} => {?X a :N177, :I177, :J177}.
+{?X a :N177} => {?X a :N178, :I178, :J178}.
+{?X a :N178} => {?X a :N179, :I179, :J179}.
+{?X a :N179} => {?X a :N180, :I180, :J180}.
+{?X a :N180} => {?X a :N181, :I181, :J181}.
+{?X a :N181} => {?X a :N182, :I182, :J182}.
+{?X a :N182} => {?X a :N183, :I183, :J183}.
+{?X a :N183} => {?X a :N184, :I184, :J184}.
+{?X a :N184} => {?X a :N185, :I185, :J185}.
+{?X a :N185} => {?X a :N186, :I186, :J186}.
+{?X a :N186} => {?X a :N187, :I187, :J187}.
+{?X a :N187} => {?X a :N188, :I188, :J188}.
+{?X a :N188} => {?X a :N189, :I189, :J189}.
+{?X a :N189} => {?X a :N190, :I190, :J190}.
+{?X a :N190} => {?X a :N191, :I191, :J191}.
+{?X a :N191} => {?X a :N192, :I192, :J192}.
+{?X a :N192} => {?X a :N193, :I193, :J193}.
+{?X a :N193} => {?X a :N194, :I194, :J194}.
+{?X a :N194} => {?X a :N195, :I195, :J195}.
+{?X a :N195} => {?X a :N196, :I196, :J196}.
+{?X a :N196} => {?X a :N197, :I197, :J197}.
+{?X a :N197} => {?X a :N198, :I198, :J198}.
+{?X a :N198} => {?X a :N199, :I199, :J199}.
+{?X a :N199} => {?X a :N200, :I200, :J200}.
+{?X a :N200} => {?X a :N201, :I201, :J201}.
+{?X a :N201} => {?X a :N202, :I202, :J202}.
+{?X a :N202} => {?X a :N203, :I203, :J203}.
+{?X a :N203} => {?X a :N204, :I204, :J204}.
+{?X a :N204} => {?X a :N205, :I205, :J205}.
+{?X a :N205} => {?X a :N206, :I206, :J206}.
+{?X a :N206} => {?X a :N207, :I207, :J207}.
+{?X a :N207} => {?X a :N208, :I208, :J208}.
+{?X a :N208} => {?X a :N209, :I209, :J209}.
+{?X a :N209} => {?X a :N210, :I210, :J210}.
+{?X a :N210} => {?X a :N211, :I211, :J211}.
+{?X a :N211} => {?X a :N212, :I212, :J212}.
+{?X a :N212} => {?X a :N213, :I213, :J213}.
+{?X a :N213} => {?X a :N214, :I214, :J214}.
+{?X a :N214} => {?X a :N215, :I215, :J215}.
+{?X a :N215} => {?X a :N216, :I216, :J216}.
+{?X a :N216} => {?X a :N217, :I217, :J217}.
+{?X a :N217} => {?X a :N218, :I218, :J218}.
+{?X a :N218} => {?X a :N219, :I219, :J219}.
+{?X a :N219} => {?X a :N220, :I220, :J220}.
+{?X a :N220} => {?X a :N221, :I221, :J221}.
+{?X a :N221} => {?X a :N222, :I222, :J222}.
+{?X a :N222} => {?X a :N223, :I223, :J223}.
+{?X a :N223} => {?X a :N224, :I224, :J224}.
+{?X a :N224} => {?X a :N225, :I225, :J225}.
+{?X a :N225} => {?X a :N226, :I226, :J226}.
+{?X a :N226} => {?X a :N227, :I227, :J227}.
+{?X a :N227} => {?X a :N228, :I228, :J228}.
+{?X a :N228} => {?X a :N229, :I229, :J229}.
+{?X a :N229} => {?X a :N230, :I230, :J230}.
+{?X a :N230} => {?X a :N231, :I231, :J231}.
+{?X a :N231} => {?X a :N232, :I232, :J232}.
+{?X a :N232} => {?X a :N233, :I233, :J233}.
+{?X a :N233} => {?X a :N234, :I234, :J234}.
+{?X a :N234} => {?X a :N235, :I235, :J235}.
+{?X a :N235} => {?X a :N236, :I236, :J236}.
+{?X a :N236} => {?X a :N237, :I237, :J237}.
+{?X a :N237} => {?X a :N238, :I238, :J238}.
+{?X a :N238} => {?X a :N239, :I239, :J239}.
+{?X a :N239} => {?X a :N240, :I240, :J240}.
+{?X a :N240} => {?X a :N241, :I241, :J241}.
+{?X a :N241} => {?X a :N242, :I242, :J242}.
+{?X a :N242} => {?X a :N243, :I243, :J243}.
+{?X a :N243} => {?X a :N244, :I244, :J244}.
+{?X a :N244} => {?X a :N245, :I245, :J245}.
+{?X a :N245} => {?X a :N246, :I246, :J246}.
+{?X a :N246} => {?X a :N247, :I247, :J247}.
+{?X a :N247} => {?X a :N248, :I248, :J248}.
+{?X a :N248} => {?X a :N249, :I249, :J249}.
+{?X a :N249} => {?X a :N250, :I250, :J250}.
+{?X a :N250} => {?X a :N251, :I251, :J251}.
+{?X a :N251} => {?X a :N252, :I252, :J252}.
+{?X a :N252} => {?X a :N253, :I253, :J253}.
+{?X a :N253} => {?X a :N254, :I254, :J254}.
+{?X a :N254} => {?X a :N255, :I255, :J255}.
+{?X a :N255} => {?X a :N256, :I256, :J256}.
+{?X a :N256} => {?X a :N257, :I257, :J257}.
+{?X a :N257} => {?X a :N258, :I258, :J258}.
+{?X a :N258} => {?X a :N259, :I259, :J259}.
+{?X a :N259} => {?X a :N260, :I260, :J260}.
+{?X a :N260} => {?X a :N261, :I261, :J261}.
+{?X a :N261} => {?X a :N262, :I262, :J262}.
+{?X a :N262} => {?X a :N263, :I263, :J263}.
+{?X a :N263} => {?X a :N264, :I264, :J264}.
+{?X a :N264} => {?X a :N265, :I265, :J265}.
+{?X a :N265} => {?X a :N266, :I266, :J266}.
+{?X a :N266} => {?X a :N267, :I267, :J267}.
+{?X a :N267} => {?X a :N268, :I268, :J268}.
+{?X a :N268} => {?X a :N269, :I269, :J269}.
+{?X a :N269} => {?X a :N270, :I270, :J270}.
+{?X a :N270} => {?X a :N271, :I271, :J271}.
+{?X a :N271} => {?X a :N272, :I272, :J272}.
+{?X a :N272} => {?X a :N273, :I273, :J273}.
+{?X a :N273} => {?X a :N274, :I274, :J274}.
+{?X a :N274} => {?X a :N275, :I275, :J275}.
+{?X a :N275} => {?X a :N276, :I276, :J276}.
+{?X a :N276} => {?X a :N277, :I277, :J277}.
+{?X a :N277} => {?X a :N278, :I278, :J278}.
+{?X a :N278} => {?X a :N279, :I279, :J279}.
+{?X a :N279} => {?X a :N280, :I280, :J280}.
+{?X a :N280} => {?X a :N281, :I281, :J281}.
+{?X a :N281} => {?X a :N282, :I282, :J282}.
+{?X a :N282} => {?X a :N283, :I283, :J283}.
+{?X a :N283} => {?X a :N284, :I284, :J284}.
+{?X a :N284} => {?X a :N285, :I285, :J285}.
+{?X a :N285} => {?X a :N286, :I286, :J286}.
+{?X a :N286} => {?X a :N287, :I287, :J287}.
+{?X a :N287} => {?X a :N288, :I288, :J288}.
+{?X a :N288} => {?X a :N289, :I289, :J289}.
+{?X a :N289} => {?X a :N290, :I290, :J290}.
+{?X a :N290} => {?X a :N291, :I291, :J291}.
+{?X a :N291} => {?X a :N292, :I292, :J292}.
+{?X a :N292} => {?X a :N293, :I293, :J293}.
+{?X a :N293} => {?X a :N294, :I294, :J294}.
+{?X a :N294} => {?X a :N295, :I295, :J295}.
+{?X a :N295} => {?X a :N296, :I296, :J296}.
+{?X a :N296} => {?X a :N297, :I297, :J297}.
+{?X a :N297} => {?X a :N298, :I298, :J298}.
+{?X a :N298} => {?X a :N299, :I299, :J299}.
+{?X a :N299} => {?X a :N300, :I300, :J300}.
+{?X a :N300} => {?X a :N301, :I301, :J301}.
+{?X a :N301} => {?X a :N302, :I302, :J302}.
+{?X a :N302} => {?X a :N303, :I303, :J303}.
+{?X a :N303} => {?X a :N304, :I304, :J304}.
+{?X a :N304} => {?X a :N305, :I305, :J305}.
+{?X a :N305} => {?X a :N306, :I306, :J306}.
+{?X a :N306} => {?X a :N307, :I307, :J307}.
+{?X a :N307} => {?X a :N308, :I308, :J308}.
+{?X a :N308} => {?X a :N309, :I309, :J309}.
+{?X a :N309} => {?X a :N310, :I310, :J310}.
+{?X a :N310} => {?X a :N311, :I311, :J311}.
+{?X a :N311} => {?X a :N312, :I312, :J312}.
+{?X a :N312} => {?X a :N313, :I313, :J313}.
+{?X a :N313} => {?X a :N314, :I314, :J314}.
+{?X a :N314} => {?X a :N315, :I315, :J315}.
+{?X a :N315} => {?X a :N316, :I316, :J316}.
+{?X a :N316} => {?X a :N317, :I317, :J317}.
+{?X a :N317} => {?X a :N318, :I318, :J318}.
+{?X a :N318} => {?X a :N319, :I319, :J319}.
+{?X a :N319} => {?X a :N320, :I320, :J320}.
+{?X a :N320} => {?X a :N321, :I321, :J321}.
+{?X a :N321} => {?X a :N322, :I322, :J322}.
+{?X a :N322} => {?X a :N323, :I323, :J323}.
+{?X a :N323} => {?X a :N324, :I324, :J324}.
+{?X a :N324} => {?X a :N325, :I325, :J325}.
+{?X a :N325} => {?X a :N326, :I326, :J326}.
+{?X a :N326} => {?X a :N327, :I327, :J327}.
+{?X a :N327} => {?X a :N328, :I328, :J328}.
+{?X a :N328} => {?X a :N329, :I329, :J329}.
+{?X a :N329} => {?X a :N330, :I330, :J330}.
+{?X a :N330} => {?X a :N331, :I331, :J331}.
+{?X a :N331} => {?X a :N332, :I332, :J332}.
+{?X a :N332} => {?X a :N333, :I333, :J333}.
+{?X a :N333} => {?X a :N334, :I334, :J334}.
+{?X a :N334} => {?X a :N335, :I335, :J335}.
+{?X a :N335} => {?X a :N336, :I336, :J336}.
+{?X a :N336} => {?X a :N337, :I337, :J337}.
+{?X a :N337} => {?X a :N338, :I338, :J338}.
+{?X a :N338} => {?X a :N339, :I339, :J339}.
+{?X a :N339} => {?X a :N340, :I340, :J340}.
+{?X a :N340} => {?X a :N341, :I341, :J341}.
+{?X a :N341} => {?X a :N342, :I342, :J342}.
+{?X a :N342} => {?X a :N343, :I343, :J343}.
+{?X a :N343} => {?X a :N344, :I344, :J344}.
+{?X a :N344} => {?X a :N345, :I345, :J345}.
+{?X a :N345} => {?X a :N346, :I346, :J346}.
+{?X a :N346} => {?X a :N347, :I347, :J347}.
+{?X a :N347} => {?X a :N348, :I348, :J348}.
+{?X a :N348} => {?X a :N349, :I349, :J349}.
+{?X a :N349} => {?X a :N350, :I350, :J350}.
+{?X a :N350} => {?X a :N351, :I351, :J351}.
+{?X a :N351} => {?X a :N352, :I352, :J352}.
+{?X a :N352} => {?X a :N353, :I353, :J353}.
+{?X a :N353} => {?X a :N354, :I354, :J354}.
+{?X a :N354} => {?X a :N355, :I355, :J355}.
+{?X a :N355} => {?X a :N356, :I356, :J356}.
+{?X a :N356} => {?X a :N357, :I357, :J357}.
+{?X a :N357} => {?X a :N358, :I358, :J358}.
+{?X a :N358} => {?X a :N359, :I359, :J359}.
+{?X a :N359} => {?X a :N360, :I360, :J360}.
+{?X a :N360} => {?X a :N361, :I361, :J361}.
+{?X a :N361} => {?X a :N362, :I362, :J362}.
+{?X a :N362} => {?X a :N363, :I363, :J363}.
+{?X a :N363} => {?X a :N364, :I364, :J364}.
+{?X a :N364} => {?X a :N365, :I365, :J365}.
+{?X a :N365} => {?X a :N366, :I366, :J366}.
+{?X a :N366} => {?X a :N367, :I367, :J367}.
+{?X a :N367} => {?X a :N368, :I368, :J368}.
+{?X a :N368} => {?X a :N369, :I369, :J369}.
+{?X a :N369} => {?X a :N370, :I370, :J370}.
+{?X a :N370} => {?X a :N371, :I371, :J371}.
+{?X a :N371} => {?X a :N372, :I372, :J372}.
+{?X a :N372} => {?X a :N373, :I373, :J373}.
+{?X a :N373} => {?X a :N374, :I374, :J374}.
+{?X a :N374} => {?X a :N375, :I375, :J375}.
+{?X a :N375} => {?X a :N376, :I376, :J376}.
+{?X a :N376} => {?X a :N377, :I377, :J377}.
+{?X a :N377} => {?X a :N378, :I378, :J378}.
+{?X a :N378} => {?X a :N379, :I379, :J379}.
+{?X a :N379} => {?X a :N380, :I380, :J380}.
+{?X a :N380} => {?X a :N381, :I381, :J381}.
+{?X a :N381} => {?X a :N382, :I382, :J382}.
+{?X a :N382} => {?X a :N383, :I383, :J383}.
+{?X a :N383} => {?X a :N384, :I384, :J384}.
+{?X a :N384} => {?X a :N385, :I385, :J385}.
+{?X a :N385} => {?X a :N386, :I386, :J386}.
+{?X a :N386} => {?X a :N387, :I387, :J387}.
+{?X a :N387} => {?X a :N388, :I388, :J388}.
+{?X a :N388} => {?X a :N389, :I389, :J389}.
+{?X a :N389} => {?X a :N390, :I390, :J390}.
+{?X a :N390} => {?X a :N391, :I391, :J391}.
+{?X a :N391} => {?X a :N392, :I392, :J392}.
+{?X a :N392} => {?X a :N393, :I393, :J393}.
+{?X a :N393} => {?X a :N394, :I394, :J394}.
+{?X a :N394} => {?X a :N395, :I395, :J395}.
+{?X a :N395} => {?X a :N396, :I396, :J396}.
+{?X a :N396} => {?X a :N397, :I397, :J397}.
+{?X a :N397} => {?X a :N398, :I398, :J398}.
+{?X a :N398} => {?X a :N399, :I399, :J399}.
+{?X a :N399} => {?X a :N400, :I400, :J400}.
+{?X a :N400} => {?X a :N401, :I401, :J401}.
+{?X a :N401} => {?X a :N402, :I402, :J402}.
+{?X a :N402} => {?X a :N403, :I403, :J403}.
+{?X a :N403} => {?X a :N404, :I404, :J404}.
+{?X a :N404} => {?X a :N405, :I405, :J405}.
+{?X a :N405} => {?X a :N406, :I406, :J406}.
+{?X a :N406} => {?X a :N407, :I407, :J407}.
+{?X a :N407} => {?X a :N408, :I408, :J408}.
+{?X a :N408} => {?X a :N409, :I409, :J409}.
+{?X a :N409} => {?X a :N410, :I410, :J410}.
+{?X a :N410} => {?X a :N411, :I411, :J411}.
+{?X a :N411} => {?X a :N412, :I412, :J412}.
+{?X a :N412} => {?X a :N413, :I413, :J413}.
+{?X a :N413} => {?X a :N414, :I414, :J414}.
+{?X a :N414} => {?X a :N415, :I415, :J415}.
+{?X a :N415} => {?X a :N416, :I416, :J416}.
+{?X a :N416} => {?X a :N417, :I417, :J417}.
+{?X a :N417} => {?X a :N418, :I418, :J418}.
+{?X a :N418} => {?X a :N419, :I419, :J419}.
+{?X a :N419} => {?X a :N420, :I420, :J420}.
+{?X a :N420} => {?X a :N421, :I421, :J421}.
+{?X a :N421} => {?X a :N422, :I422, :J422}.
+{?X a :N422} => {?X a :N423, :I423, :J423}.
+{?X a :N423} => {?X a :N424, :I424, :J424}.
+{?X a :N424} => {?X a :N425, :I425, :J425}.
+{?X a :N425} => {?X a :N426, :I426, :J426}.
+{?X a :N426} => {?X a :N427, :I427, :J427}.
+{?X a :N427} => {?X a :N428, :I428, :J428}.
+{?X a :N428} => {?X a :N429, :I429, :J429}.
+{?X a :N429} => {?X a :N430, :I430, :J430}.
+{?X a :N430} => {?X a :N431, :I431, :J431}.
+{?X a :N431} => {?X a :N432, :I432, :J432}.
+{?X a :N432} => {?X a :N433, :I433, :J433}.
+{?X a :N433} => {?X a :N434, :I434, :J434}.
+{?X a :N434} => {?X a :N435, :I435, :J435}.
+{?X a :N435} => {?X a :N436, :I436, :J436}.
+{?X a :N436} => {?X a :N437, :I437, :J437}.
+{?X a :N437} => {?X a :N438, :I438, :J438}.
+{?X a :N438} => {?X a :N439, :I439, :J439}.
+{?X a :N439} => {?X a :N440, :I440, :J440}.
+{?X a :N440} => {?X a :N441, :I441, :J441}.
+{?X a :N441} => {?X a :N442, :I442, :J442}.
+{?X a :N442} => {?X a :N443, :I443, :J443}.
+{?X a :N443} => {?X a :N444, :I444, :J444}.
+{?X a :N444} => {?X a :N445, :I445, :J445}.
+{?X a :N445} => {?X a :N446, :I446, :J446}.
+{?X a :N446} => {?X a :N447, :I447, :J447}.
+{?X a :N447} => {?X a :N448, :I448, :J448}.
+{?X a :N448} => {?X a :N449, :I449, :J449}.
+{?X a :N449} => {?X a :N450, :I450, :J450}.
+{?X a :N450} => {?X a :N451, :I451, :J451}.
+{?X a :N451} => {?X a :N452, :I452, :J452}.
+{?X a :N452} => {?X a :N453, :I453, :J453}.
+{?X a :N453} => {?X a :N454, :I454, :J454}.
+{?X a :N454} => {?X a :N455, :I455, :J455}.
+{?X a :N455} => {?X a :N456, :I456, :J456}.
+{?X a :N456} => {?X a :N457, :I457, :J457}.
+{?X a :N457} => {?X a :N458, :I458, :J458}.
+{?X a :N458} => {?X a :N459, :I459, :J459}.
+{?X a :N459} => {?X a :N460, :I460, :J460}.
+{?X a :N460} => {?X a :N461, :I461, :J461}.
+{?X a :N461} => {?X a :N462, :I462, :J462}.
+{?X a :N462} => {?X a :N463, :I463, :J463}.
+{?X a :N463} => {?X a :N464, :I464, :J464}.
+{?X a :N464} => {?X a :N465, :I465, :J465}.
+{?X a :N465} => {?X a :N466, :I466, :J466}.
+{?X a :N466} => {?X a :N467, :I467, :J467}.
+{?X a :N467} => {?X a :N468, :I468, :J468}.
+{?X a :N468} => {?X a :N469, :I469, :J469}.
+{?X a :N469} => {?X a :N470, :I470, :J470}.
+{?X a :N470} => {?X a :N471, :I471, :J471}.
+{?X a :N471} => {?X a :N472, :I472, :J472}.
+{?X a :N472} => {?X a :N473, :I473, :J473}.
+{?X a :N473} => {?X a :N474, :I474, :J474}.
+{?X a :N474} => {?X a :N475, :I475, :J475}.
+{?X a :N475} => {?X a :N476, :I476, :J476}.
+{?X a :N476} => {?X a :N477, :I477, :J477}.
+{?X a :N477} => {?X a :N478, :I478, :J478}.
+{?X a :N478} => {?X a :N479, :I479, :J479}.
+{?X a :N479} => {?X a :N480, :I480, :J480}.
+{?X a :N480} => {?X a :N481, :I481, :J481}.
+{?X a :N481} => {?X a :N482, :I482, :J482}.
+{?X a :N482} => {?X a :N483, :I483, :J483}.
+{?X a :N483} => {?X a :N484, :I484, :J484}.
+{?X a :N484} => {?X a :N485, :I485, :J485}.
+{?X a :N485} => {?X a :N486, :I486, :J486}.
+{?X a :N486} => {?X a :N487, :I487, :J487}.
+{?X a :N487} => {?X a :N488, :I488, :J488}.
+{?X a :N488} => {?X a :N489, :I489, :J489}.
+{?X a :N489} => {?X a :N490, :I490, :J490}.
+{?X a :N490} => {?X a :N491, :I491, :J491}.
+{?X a :N491} => {?X a :N492, :I492, :J492}.
+{?X a :N492} => {?X a :N493, :I493, :J493}.
+{?X a :N493} => {?X a :N494, :I494, :J494}.
+{?X a :N494} => {?X a :N495, :I495, :J495}.
+{?X a :N495} => {?X a :N496, :I496, :J496}.
+{?X a :N496} => {?X a :N497, :I497, :J497}.
+{?X a :N497} => {?X a :N498, :I498, :J498}.
+{?X a :N498} => {?X a :N499, :I499, :J499}.
+{?X a :N499} => {?X a :N500, :I500, :J500}.
+{?X a :N500} => {?X a :N501, :I501, :J501}.
+{?X a :N501} => {?X a :N502, :I502, :J502}.
+{?X a :N502} => {?X a :N503, :I503, :J503}.
+{?X a :N503} => {?X a :N504, :I504, :J504}.
+{?X a :N504} => {?X a :N505, :I505, :J505}.
+{?X a :N505} => {?X a :N506, :I506, :J506}.
+{?X a :N506} => {?X a :N507, :I507, :J507}.
+{?X a :N507} => {?X a :N508, :I508, :J508}.
+{?X a :N508} => {?X a :N509, :I509, :J509}.
+{?X a :N509} => {?X a :N510, :I510, :J510}.
+{?X a :N510} => {?X a :N511, :I511, :J511}.
+{?X a :N511} => {?X a :N512, :I512, :J512}.
+{?X a :N512} => {?X a :N513, :I513, :J513}.
+{?X a :N513} => {?X a :N514, :I514, :J514}.
+{?X a :N514} => {?X a :N515, :I515, :J515}.
+{?X a :N515} => {?X a :N516, :I516, :J516}.
+{?X a :N516} => {?X a :N517, :I517, :J517}.
+{?X a :N517} => {?X a :N518, :I518, :J518}.
+{?X a :N518} => {?X a :N519, :I519, :J519}.
+{?X a :N519} => {?X a :N520, :I520, :J520}.
+{?X a :N520} => {?X a :N521, :I521, :J521}.
+{?X a :N521} => {?X a :N522, :I522, :J522}.
+{?X a :N522} => {?X a :N523, :I523, :J523}.
+{?X a :N523} => {?X a :N524, :I524, :J524}.
+{?X a :N524} => {?X a :N525, :I525, :J525}.
+{?X a :N525} => {?X a :N526, :I526, :J526}.
+{?X a :N526} => {?X a :N527, :I527, :J527}.
+{?X a :N527} => {?X a :N528, :I528, :J528}.
+{?X a :N528} => {?X a :N529, :I529, :J529}.
+{?X a :N529} => {?X a :N530, :I530, :J530}.
+{?X a :N530} => {?X a :N531, :I531, :J531}.
+{?X a :N531} => {?X a :N532, :I532, :J532}.
+{?X a :N532} => {?X a :N533, :I533, :J533}.
+{?X a :N533} => {?X a :N534, :I534, :J534}.
+{?X a :N534} => {?X a :N535, :I535, :J535}.
+{?X a :N535} => {?X a :N536, :I536, :J536}.
+{?X a :N536} => {?X a :N537, :I537, :J537}.
+{?X a :N537} => {?X a :N538, :I538, :J538}.
+{?X a :N538} => {?X a :N539, :I539, :J539}.
+{?X a :N539} => {?X a :N540, :I540, :J540}.
+{?X a :N540} => {?X a :N541, :I541, :J541}.
+{?X a :N541} => {?X a :N542, :I542, :J542}.
+{?X a :N542} => {?X a :N543, :I543, :J543}.
+{?X a :N543} => {?X a :N544, :I544, :J544}.
+{?X a :N544} => {?X a :N545, :I545, :J545}.
+{?X a :N545} => {?X a :N546, :I546, :J546}.
+{?X a :N546} => {?X a :N547, :I547, :J547}.
+{?X a :N547} => {?X a :N548, :I548, :J548}.
+{?X a :N548} => {?X a :N549, :I549, :J549}.
+{?X a :N549} => {?X a :N550, :I550, :J550}.
+{?X a :N550} => {?X a :N551, :I551, :J551}.
+{?X a :N551} => {?X a :N552, :I552, :J552}.
+{?X a :N552} => {?X a :N553, :I553, :J553}.
+{?X a :N553} => {?X a :N554, :I554, :J554}.
+{?X a :N554} => {?X a :N555, :I555, :J555}.
+{?X a :N555} => {?X a :N556, :I556, :J556}.
+{?X a :N556} => {?X a :N557, :I557, :J557}.
+{?X a :N557} => {?X a :N558, :I558, :J558}.
+{?X a :N558} => {?X a :N559, :I559, :J559}.
+{?X a :N559} => {?X a :N560, :I560, :J560}.
+{?X a :N560} => {?X a :N561, :I561, :J561}.
+{?X a :N561} => {?X a :N562, :I562, :J562}.
+{?X a :N562} => {?X a :N563, :I563, :J563}.
+{?X a :N563} => {?X a :N564, :I564, :J564}.
+{?X a :N564} => {?X a :N565, :I565, :J565}.
+{?X a :N565} => {?X a :N566, :I566, :J566}.
+{?X a :N566} => {?X a :N567, :I567, :J567}.
+{?X a :N567} => {?X a :N568, :I568, :J568}.
+{?X a :N568} => {?X a :N569, :I569, :J569}.
+{?X a :N569} => {?X a :N570, :I570, :J570}.
+{?X a :N570} => {?X a :N571, :I571, :J571}.
+{?X a :N571} => {?X a :N572, :I572, :J572}.
+{?X a :N572} => {?X a :N573, :I573, :J573}.
+{?X a :N573} => {?X a :N574, :I574, :J574}.
+{?X a :N574} => {?X a :N575, :I575, :J575}.
+{?X a :N575} => {?X a :N576, :I576, :J576}.
+{?X a :N576} => {?X a :N577, :I577, :J577}.
+{?X a :N577} => {?X a :N578, :I578, :J578}.
+{?X a :N578} => {?X a :N579, :I579, :J579}.
+{?X a :N579} => {?X a :N580, :I580, :J580}.
+{?X a :N580} => {?X a :N581, :I581, :J581}.
+{?X a :N581} => {?X a :N582, :I582, :J582}.
+{?X a :N582} => {?X a :N583, :I583, :J583}.
+{?X a :N583} => {?X a :N584, :I584, :J584}.
+{?X a :N584} => {?X a :N585, :I585, :J585}.
+{?X a :N585} => {?X a :N586, :I586, :J586}.
+{?X a :N586} => {?X a :N587, :I587, :J587}.
+{?X a :N587} => {?X a :N588, :I588, :J588}.
+{?X a :N588} => {?X a :N589, :I589, :J589}.
+{?X a :N589} => {?X a :N590, :I590, :J590}.
+{?X a :N590} => {?X a :N591, :I591, :J591}.
+{?X a :N591} => {?X a :N592, :I592, :J592}.
+{?X a :N592} => {?X a :N593, :I593, :J593}.
+{?X a :N593} => {?X a :N594, :I594, :J594}.
+{?X a :N594} => {?X a :N595, :I595, :J595}.
+{?X a :N595} => {?X a :N596, :I596, :J596}.
+{?X a :N596} => {?X a :N597, :I597, :J597}.
+{?X a :N597} => {?X a :N598, :I598, :J598}.
+{?X a :N598} => {?X a :N599, :I599, :J599}.
+{?X a :N599} => {?X a :N600, :I600, :J600}.
+{?X a :N600} => {?X a :N601, :I601, :J601}.
+{?X a :N601} => {?X a :N602, :I602, :J602}.
+{?X a :N602} => {?X a :N603, :I603, :J603}.
+{?X a :N603} => {?X a :N604, :I604, :J604}.
+{?X a :N604} => {?X a :N605, :I605, :J605}.
+{?X a :N605} => {?X a :N606, :I606, :J606}.
+{?X a :N606} => {?X a :N607, :I607, :J607}.
+{?X a :N607} => {?X a :N608, :I608, :J608}.
+{?X a :N608} => {?X a :N609, :I609, :J609}.
+{?X a :N609} => {?X a :N610, :I610, :J610}.
+{?X a :N610} => {?X a :N611, :I611, :J611}.
+{?X a :N611} => {?X a :N612, :I612, :J612}.
+{?X a :N612} => {?X a :N613, :I613, :J613}.
+{?X a :N613} => {?X a :N614, :I614, :J614}.
+{?X a :N614} => {?X a :N615, :I615, :J615}.
+{?X a :N615} => {?X a :N616, :I616, :J616}.
+{?X a :N616} => {?X a :N617, :I617, :J617}.
+{?X a :N617} => {?X a :N618, :I618, :J618}.
+{?X a :N618} => {?X a :N619, :I619, :J619}.
+{?X a :N619} => {?X a :N620, :I620, :J620}.
+{?X a :N620} => {?X a :N621, :I621, :J621}.
+{?X a :N621} => {?X a :N622, :I622, :J622}.
+{?X a :N622} => {?X a :N623, :I623, :J623}.
+{?X a :N623} => {?X a :N624, :I624, :J624}.
+{?X a :N624} => {?X a :N625, :I625, :J625}.
+{?X a :N625} => {?X a :N626, :I626, :J626}.
+{?X a :N626} => {?X a :N627, :I627, :J627}.
+{?X a :N627} => {?X a :N628, :I628, :J628}.
+{?X a :N628} => {?X a :N629, :I629, :J629}.
+{?X a :N629} => {?X a :N630, :I630, :J630}.
+{?X a :N630} => {?X a :N631, :I631, :J631}.
+{?X a :N631} => {?X a :N632, :I632, :J632}.
+{?X a :N632} => {?X a :N633, :I633, :J633}.
+{?X a :N633} => {?X a :N634, :I634, :J634}.
+{?X a :N634} => {?X a :N635, :I635, :J635}.
+{?X a :N635} => {?X a :N636, :I636, :J636}.
+{?X a :N636} => {?X a :N637, :I637, :J637}.
+{?X a :N637} => {?X a :N638, :I638, :J638}.
+{?X a :N638} => {?X a :N639, :I639, :J639}.
+{?X a :N639} => {?X a :N640, :I640, :J640}.
+{?X a :N640} => {?X a :N641, :I641, :J641}.
+{?X a :N641} => {?X a :N642, :I642, :J642}.
+{?X a :N642} => {?X a :N643, :I643, :J643}.
+{?X a :N643} => {?X a :N644, :I644, :J644}.
+{?X a :N644} => {?X a :N645, :I645, :J645}.
+{?X a :N645} => {?X a :N646, :I646, :J646}.
+{?X a :N646} => {?X a :N647, :I647, :J647}.
+{?X a :N647} => {?X a :N648, :I648, :J648}.
+{?X a :N648} => {?X a :N649, :I649, :J649}.
+{?X a :N649} => {?X a :N650, :I650, :J650}.
+{?X a :N650} => {?X a :N651, :I651, :J651}.
+{?X a :N651} => {?X a :N652, :I652, :J652}.
+{?X a :N652} => {?X a :N653, :I653, :J653}.
+{?X a :N653} => {?X a :N654, :I654, :J654}.
+{?X a :N654} => {?X a :N655, :I655, :J655}.
+{?X a :N655} => {?X a :N656, :I656, :J656}.
+{?X a :N656} => {?X a :N657, :I657, :J657}.
+{?X a :N657} => {?X a :N658, :I658, :J658}.
+{?X a :N658} => {?X a :N659, :I659, :J659}.
+{?X a :N659} => {?X a :N660, :I660, :J660}.
+{?X a :N660} => {?X a :N661, :I661, :J661}.
+{?X a :N661} => {?X a :N662, :I662, :J662}.
+{?X a :N662} => {?X a :N663, :I663, :J663}.
+{?X a :N663} => {?X a :N664, :I664, :J664}.
+{?X a :N664} => {?X a :N665, :I665, :J665}.
+{?X a :N665} => {?X a :N666, :I666, :J666}.
+{?X a :N666} => {?X a :N667, :I667, :J667}.
+{?X a :N667} => {?X a :N668, :I668, :J668}.
+{?X a :N668} => {?X a :N669, :I669, :J669}.
+{?X a :N669} => {?X a :N670, :I670, :J670}.
+{?X a :N670} => {?X a :N671, :I671, :J671}.
+{?X a :N671} => {?X a :N672, :I672, :J672}.
+{?X a :N672} => {?X a :N673, :I673, :J673}.
+{?X a :N673} => {?X a :N674, :I674, :J674}.
+{?X a :N674} => {?X a :N675, :I675, :J675}.
+{?X a :N675} => {?X a :N676, :I676, :J676}.
+{?X a :N676} => {?X a :N677, :I677, :J677}.
+{?X a :N677} => {?X a :N678, :I678, :J678}.
+{?X a :N678} => {?X a :N679, :I679, :J679}.
+{?X a :N679} => {?X a :N680, :I680, :J680}.
+{?X a :N680} => {?X a :N681, :I681, :J681}.
+{?X a :N681} => {?X a :N682, :I682, :J682}.
+{?X a :N682} => {?X a :N683, :I683, :J683}.
+{?X a :N683} => {?X a :N684, :I684, :J684}.
+{?X a :N684} => {?X a :N685, :I685, :J685}.
+{?X a :N685} => {?X a :N686, :I686, :J686}.
+{?X a :N686} => {?X a :N687, :I687, :J687}.
+{?X a :N687} => {?X a :N688, :I688, :J688}.
+{?X a :N688} => {?X a :N689, :I689, :J689}.
+{?X a :N689} => {?X a :N690, :I690, :J690}.
+{?X a :N690} => {?X a :N691, :I691, :J691}.
+{?X a :N691} => {?X a :N692, :I692, :J692}.
+{?X a :N692} => {?X a :N693, :I693, :J693}.
+{?X a :N693} => {?X a :N694, :I694, :J694}.
+{?X a :N694} => {?X a :N695, :I695, :J695}.
+{?X a :N695} => {?X a :N696, :I696, :J696}.
+{?X a :N696} => {?X a :N697, :I697, :J697}.
+{?X a :N697} => {?X a :N698, :I698, :J698}.
+{?X a :N698} => {?X a :N699, :I699, :J699}.
+{?X a :N699} => {?X a :N700, :I700, :J700}.
+{?X a :N700} => {?X a :N701, :I701, :J701}.
+{?X a :N701} => {?X a :N702, :I702, :J702}.
+{?X a :N702} => {?X a :N703, :I703, :J703}.
+{?X a :N703} => {?X a :N704, :I704, :J704}.
+{?X a :N704} => {?X a :N705, :I705, :J705}.
+{?X a :N705} => {?X a :N706, :I706, :J706}.
+{?X a :N706} => {?X a :N707, :I707, :J707}.
+{?X a :N707} => {?X a :N708, :I708, :J708}.
+{?X a :N708} => {?X a :N709, :I709, :J709}.
+{?X a :N709} => {?X a :N710, :I710, :J710}.
+{?X a :N710} => {?X a :N711, :I711, :J711}.
+{?X a :N711} => {?X a :N712, :I712, :J712}.
+{?X a :N712} => {?X a :N713, :I713, :J713}.
+{?X a :N713} => {?X a :N714, :I714, :J714}.
+{?X a :N714} => {?X a :N715, :I715, :J715}.
+{?X a :N715} => {?X a :N716, :I716, :J716}.
+{?X a :N716} => {?X a :N717, :I717, :J717}.
+{?X a :N717} => {?X a :N718, :I718, :J718}.
+{?X a :N718} => {?X a :N719, :I719, :J719}.
+{?X a :N719} => {?X a :N720, :I720, :J720}.
+{?X a :N720} => {?X a :N721, :I721, :J721}.
+{?X a :N721} => {?X a :N722, :I722, :J722}.
+{?X a :N722} => {?X a :N723, :I723, :J723}.
+{?X a :N723} => {?X a :N724, :I724, :J724}.
+{?X a :N724} => {?X a :N725, :I725, :J725}.
+{?X a :N725} => {?X a :N726, :I726, :J726}.
+{?X a :N726} => {?X a :N727, :I727, :J727}.
+{?X a :N727} => {?X a :N728, :I728, :J728}.
+{?X a :N728} => {?X a :N729, :I729, :J729}.
+{?X a :N729} => {?X a :N730, :I730, :J730}.
+{?X a :N730} => {?X a :N731, :I731, :J731}.
+{?X a :N731} => {?X a :N732, :I732, :J732}.
+{?X a :N732} => {?X a :N733, :I733, :J733}.
+{?X a :N733} => {?X a :N734, :I734, :J734}.
+{?X a :N734} => {?X a :N735, :I735, :J735}.
+{?X a :N735} => {?X a :N736, :I736, :J736}.
+{?X a :N736} => {?X a :N737, :I737, :J737}.
+{?X a :N737} => {?X a :N738, :I738, :J738}.
+{?X a :N738} => {?X a :N739, :I739, :J739}.
+{?X a :N739} => {?X a :N740, :I740, :J740}.
+{?X a :N740} => {?X a :N741, :I741, :J741}.
+{?X a :N741} => {?X a :N742, :I742, :J742}.
+{?X a :N742} => {?X a :N743, :I743, :J743}.
+{?X a :N743} => {?X a :N744, :I744, :J744}.
+{?X a :N744} => {?X a :N745, :I745, :J745}.
+{?X a :N745} => {?X a :N746, :I746, :J746}.
+{?X a :N746} => {?X a :N747, :I747, :J747}.
+{?X a :N747} => {?X a :N748, :I748, :J748}.
+{?X a :N748} => {?X a :N749, :I749, :J749}.
+{?X a :N749} => {?X a :N750, :I750, :J750}.
+{?X a :N750} => {?X a :N751, :I751, :J751}.
+{?X a :N751} => {?X a :N752, :I752, :J752}.
+{?X a :N752} => {?X a :N753, :I753, :J753}.
+{?X a :N753} => {?X a :N754, :I754, :J754}.
+{?X a :N754} => {?X a :N755, :I755, :J755}.
+{?X a :N755} => {?X a :N756, :I756, :J756}.
+{?X a :N756} => {?X a :N757, :I757, :J757}.
+{?X a :N757} => {?X a :N758, :I758, :J758}.
+{?X a :N758} => {?X a :N759, :I759, :J759}.
+{?X a :N759} => {?X a :N760, :I760, :J760}.
+{?X a :N760} => {?X a :N761, :I761, :J761}.
+{?X a :N761} => {?X a :N762, :I762, :J762}.
+{?X a :N762} => {?X a :N763, :I763, :J763}.
+{?X a :N763} => {?X a :N764, :I764, :J764}.
+{?X a :N764} => {?X a :N765, :I765, :J765}.
+{?X a :N765} => {?X a :N766, :I766, :J766}.
+{?X a :N766} => {?X a :N767, :I767, :J767}.
+{?X a :N767} => {?X a :N768, :I768, :J768}.
+{?X a :N768} => {?X a :N769, :I769, :J769}.
+{?X a :N769} => {?X a :N770, :I770, :J770}.
+{?X a :N770} => {?X a :N771, :I771, :J771}.
+{?X a :N771} => {?X a :N772, :I772, :J772}.
+{?X a :N772} => {?X a :N773, :I773, :J773}.
+{?X a :N773} => {?X a :N774, :I774, :J774}.
+{?X a :N774} => {?X a :N775, :I775, :J775}.
+{?X a :N775} => {?X a :N776, :I776, :J776}.
+{?X a :N776} => {?X a :N777, :I777, :J777}.
+{?X a :N777} => {?X a :N778, :I778, :J778}.
+{?X a :N778} => {?X a :N779, :I779, :J779}.
+{?X a :N779} => {?X a :N780, :I780, :J780}.
+{?X a :N780} => {?X a :N781, :I781, :J781}.
+{?X a :N781} => {?X a :N782, :I782, :J782}.
+{?X a :N782} => {?X a :N783, :I783, :J783}.
+{?X a :N783} => {?X a :N784, :I784, :J784}.
+{?X a :N784} => {?X a :N785, :I785, :J785}.
+{?X a :N785} => {?X a :N786, :I786, :J786}.
+{?X a :N786} => {?X a :N787, :I787, :J787}.
+{?X a :N787} => {?X a :N788, :I788, :J788}.
+{?X a :N788} => {?X a :N789, :I789, :J789}.
+{?X a :N789} => {?X a :N790, :I790, :J790}.
+{?X a :N790} => {?X a :N791, :I791, :J791}.
+{?X a :N791} => {?X a :N792, :I792, :J792}.
+{?X a :N792} => {?X a :N793, :I793, :J793}.
+{?X a :N793} => {?X a :N794, :I794, :J794}.
+{?X a :N794} => {?X a :N795, :I795, :J795}.
+{?X a :N795} => {?X a :N796, :I796, :J796}.
+{?X a :N796} => {?X a :N797, :I797, :J797}.
+{?X a :N797} => {?X a :N798, :I798, :J798}.
+{?X a :N798} => {?X a :N799, :I799, :J799}.
+{?X a :N799} => {?X a :N800, :I800, :J800}.
+{?X a :N800} => {?X a :N801, :I801, :J801}.
+{?X a :N801} => {?X a :N802, :I802, :J802}.
+{?X a :N802} => {?X a :N803, :I803, :J803}.
+{?X a :N803} => {?X a :N804, :I804, :J804}.
+{?X a :N804} => {?X a :N805, :I805, :J805}.
+{?X a :N805} => {?X a :N806, :I806, :J806}.
+{?X a :N806} => {?X a :N807, :I807, :J807}.
+{?X a :N807} => {?X a :N808, :I808, :J808}.
+{?X a :N808} => {?X a :N809, :I809, :J809}.
+{?X a :N809} => {?X a :N810, :I810, :J810}.
+{?X a :N810} => {?X a :N811, :I811, :J811}.
+{?X a :N811} => {?X a :N812, :I812, :J812}.
+{?X a :N812} => {?X a :N813, :I813, :J813}.
+{?X a :N813} => {?X a :N814, :I814, :J814}.
+{?X a :N814} => {?X a :N815, :I815, :J815}.
+{?X a :N815} => {?X a :N816, :I816, :J816}.
+{?X a :N816} => {?X a :N817, :I817, :J817}.
+{?X a :N817} => {?X a :N818, :I818, :J818}.
+{?X a :N818} => {?X a :N819, :I819, :J819}.
+{?X a :N819} => {?X a :N820, :I820, :J820}.
+{?X a :N820} => {?X a :N821, :I821, :J821}.
+{?X a :N821} => {?X a :N822, :I822, :J822}.
+{?X a :N822} => {?X a :N823, :I823, :J823}.
+{?X a :N823} => {?X a :N824, :I824, :J824}.
+{?X a :N824} => {?X a :N825, :I825, :J825}.
+{?X a :N825} => {?X a :N826, :I826, :J826}.
+{?X a :N826} => {?X a :N827, :I827, :J827}.
+{?X a :N827} => {?X a :N828, :I828, :J828}.
+{?X a :N828} => {?X a :N829, :I829, :J829}.
+{?X a :N829} => {?X a :N830, :I830, :J830}.
+{?X a :N830} => {?X a :N831, :I831, :J831}.
+{?X a :N831} => {?X a :N832, :I832, :J832}.
+{?X a :N832} => {?X a :N833, :I833, :J833}.
+{?X a :N833} => {?X a :N834, :I834, :J834}.
+{?X a :N834} => {?X a :N835, :I835, :J835}.
+{?X a :N835} => {?X a :N836, :I836, :J836}.
+{?X a :N836} => {?X a :N837, :I837, :J837}.
+{?X a :N837} => {?X a :N838, :I838, :J838}.
+{?X a :N838} => {?X a :N839, :I839, :J839}.
+{?X a :N839} => {?X a :N840, :I840, :J840}.
+{?X a :N840} => {?X a :N841, :I841, :J841}.
+{?X a :N841} => {?X a :N842, :I842, :J842}.
+{?X a :N842} => {?X a :N843, :I843, :J843}.
+{?X a :N843} => {?X a :N844, :I844, :J844}.
+{?X a :N844} => {?X a :N845, :I845, :J845}.
+{?X a :N845} => {?X a :N846, :I846, :J846}.
+{?X a :N846} => {?X a :N847, :I847, :J847}.
+{?X a :N847} => {?X a :N848, :I848, :J848}.
+{?X a :N848} => {?X a :N849, :I849, :J849}.
+{?X a :N849} => {?X a :N850, :I850, :J850}.
+{?X a :N850} => {?X a :N851, :I851, :J851}.
+{?X a :N851} => {?X a :N852, :I852, :J852}.
+{?X a :N852} => {?X a :N853, :I853, :J853}.
+{?X a :N853} => {?X a :N854, :I854, :J854}.
+{?X a :N854} => {?X a :N855, :I855, :J855}.
+{?X a :N855} => {?X a :N856, :I856, :J856}.
+{?X a :N856} => {?X a :N857, :I857, :J857}.
+{?X a :N857} => {?X a :N858, :I858, :J858}.
+{?X a :N858} => {?X a :N859, :I859, :J859}.
+{?X a :N859} => {?X a :N860, :I860, :J860}.
+{?X a :N860} => {?X a :N861, :I861, :J861}.
+{?X a :N861} => {?X a :N862, :I862, :J862}.
+{?X a :N862} => {?X a :N863, :I863, :J863}.
+{?X a :N863} => {?X a :N864, :I864, :J864}.
+{?X a :N864} => {?X a :N865, :I865, :J865}.
+{?X a :N865} => {?X a :N866, :I866, :J866}.
+{?X a :N866} => {?X a :N867, :I867, :J867}.
+{?X a :N867} => {?X a :N868, :I868, :J868}.
+{?X a :N868} => {?X a :N869, :I869, :J869}.
+{?X a :N869} => {?X a :N870, :I870, :J870}.
+{?X a :N870} => {?X a :N871, :I871, :J871}.
+{?X a :N871} => {?X a :N872, :I872, :J872}.
+{?X a :N872} => {?X a :N873, :I873, :J873}.
+{?X a :N873} => {?X a :N874, :I874, :J874}.
+{?X a :N874} => {?X a :N875, :I875, :J875}.
+{?X a :N875} => {?X a :N876, :I876, :J876}.
+{?X a :N876} => {?X a :N877, :I877, :J877}.
+{?X a :N877} => {?X a :N878, :I878, :J878}.
+{?X a :N878} => {?X a :N879, :I879, :J879}.
+{?X a :N879} => {?X a :N880, :I880, :J880}.
+{?X a :N880} => {?X a :N881, :I881, :J881}.
+{?X a :N881} => {?X a :N882, :I882, :J882}.
+{?X a :N882} => {?X a :N883, :I883, :J883}.
+{?X a :N883} => {?X a :N884, :I884, :J884}.
+{?X a :N884} => {?X a :N885, :I885, :J885}.
+{?X a :N885} => {?X a :N886, :I886, :J886}.
+{?X a :N886} => {?X a :N887, :I887, :J887}.
+{?X a :N887} => {?X a :N888, :I888, :J888}.
+{?X a :N888} => {?X a :N889, :I889, :J889}.
+{?X a :N889} => {?X a :N890, :I890, :J890}.
+{?X a :N890} => {?X a :N891, :I891, :J891}.
+{?X a :N891} => {?X a :N892, :I892, :J892}.
+{?X a :N892} => {?X a :N893, :I893, :J893}.
+{?X a :N893} => {?X a :N894, :I894, :J894}.
+{?X a :N894} => {?X a :N895, :I895, :J895}.
+{?X a :N895} => {?X a :N896, :I896, :J896}.
+{?X a :N896} => {?X a :N897, :I897, :J897}.
+{?X a :N897} => {?X a :N898, :I898, :J898}.
+{?X a :N898} => {?X a :N899, :I899, :J899}.
+{?X a :N899} => {?X a :N900, :I900, :J900}.
+{?X a :N900} => {?X a :N901, :I901, :J901}.
+{?X a :N901} => {?X a :N902, :I902, :J902}.
+{?X a :N902} => {?X a :N903, :I903, :J903}.
+{?X a :N903} => {?X a :N904, :I904, :J904}.
+{?X a :N904} => {?X a :N905, :I905, :J905}.
+{?X a :N905} => {?X a :N906, :I906, :J906}.
+{?X a :N906} => {?X a :N907, :I907, :J907}.
+{?X a :N907} => {?X a :N908, :I908, :J908}.
+{?X a :N908} => {?X a :N909, :I909, :J909}.
+{?X a :N909} => {?X a :N910, :I910, :J910}.
+{?X a :N910} => {?X a :N911, :I911, :J911}.
+{?X a :N911} => {?X a :N912, :I912, :J912}.
+{?X a :N912} => {?X a :N913, :I913, :J913}.
+{?X a :N913} => {?X a :N914, :I914, :J914}.
+{?X a :N914} => {?X a :N915, :I915, :J915}.
+{?X a :N915} => {?X a :N916, :I916, :J916}.
+{?X a :N916} => {?X a :N917, :I917, :J917}.
+{?X a :N917} => {?X a :N918, :I918, :J918}.
+{?X a :N918} => {?X a :N919, :I919, :J919}.
+{?X a :N919} => {?X a :N920, :I920, :J920}.
+{?X a :N920} => {?X a :N921, :I921, :J921}.
+{?X a :N921} => {?X a :N922, :I922, :J922}.
+{?X a :N922} => {?X a :N923, :I923, :J923}.
+{?X a :N923} => {?X a :N924, :I924, :J924}.
+{?X a :N924} => {?X a :N925, :I925, :J925}.
+{?X a :N925} => {?X a :N926, :I926, :J926}.
+{?X a :N926} => {?X a :N927, :I927, :J927}.
+{?X a :N927} => {?X a :N928, :I928, :J928}.
+{?X a :N928} => {?X a :N929, :I929, :J929}.
+{?X a :N929} => {?X a :N930, :I930, :J930}.
+{?X a :N930} => {?X a :N931, :I931, :J931}.
+{?X a :N931} => {?X a :N932, :I932, :J932}.
+{?X a :N932} => {?X a :N933, :I933, :J933}.
+{?X a :N933} => {?X a :N934, :I934, :J934}.
+{?X a :N934} => {?X a :N935, :I935, :J935}.
+{?X a :N935} => {?X a :N936, :I936, :J936}.
+{?X a :N936} => {?X a :N937, :I937, :J937}.
+{?X a :N937} => {?X a :N938, :I938, :J938}.
+{?X a :N938} => {?X a :N939, :I939, :J939}.
+{?X a :N939} => {?X a :N940, :I940, :J940}.
+{?X a :N940} => {?X a :N941, :I941, :J941}.
+{?X a :N941} => {?X a :N942, :I942, :J942}.
+{?X a :N942} => {?X a :N943, :I943, :J943}.
+{?X a :N943} => {?X a :N944, :I944, :J944}.
+{?X a :N944} => {?X a :N945, :I945, :J945}.
+{?X a :N945} => {?X a :N946, :I946, :J946}.
+{?X a :N946} => {?X a :N947, :I947, :J947}.
+{?X a :N947} => {?X a :N948, :I948, :J948}.
+{?X a :N948} => {?X a :N949, :I949, :J949}.
+{?X a :N949} => {?X a :N950, :I950, :J950}.
+{?X a :N950} => {?X a :N951, :I951, :J951}.
+{?X a :N951} => {?X a :N952, :I952, :J952}.
+{?X a :N952} => {?X a :N953, :I953, :J953}.
+{?X a :N953} => {?X a :N954, :I954, :J954}.
+{?X a :N954} => {?X a :N955, :I955, :J955}.
+{?X a :N955} => {?X a :N956, :I956, :J956}.
+{?X a :N956} => {?X a :N957, :I957, :J957}.
+{?X a :N957} => {?X a :N958, :I958, :J958}.
+{?X a :N958} => {?X a :N959, :I959, :J959}.
+{?X a :N959} => {?X a :N960, :I960, :J960}.
+{?X a :N960} => {?X a :N961, :I961, :J961}.
+{?X a :N961} => {?X a :N962, :I962, :J962}.
+{?X a :N962} => {?X a :N963, :I963, :J963}.
+{?X a :N963} => {?X a :N964, :I964, :J964}.
+{?X a :N964} => {?X a :N965, :I965, :J965}.
+{?X a :N965} => {?X a :N966, :I966, :J966}.
+{?X a :N966} => {?X a :N967, :I967, :J967}.
+{?X a :N967} => {?X a :N968, :I968, :J968}.
+{?X a :N968} => {?X a :N969, :I969, :J969}.
+{?X a :N969} => {?X a :N970, :I970, :J970}.
+{?X a :N970} => {?X a :N971, :I971, :J971}.
+{?X a :N971} => {?X a :N972, :I972, :J972}.
+{?X a :N972} => {?X a :N973, :I973, :J973}.
+{?X a :N973} => {?X a :N974, :I974, :J974}.
+{?X a :N974} => {?X a :N975, :I975, :J975}.
+{?X a :N975} => {?X a :N976, :I976, :J976}.
+{?X a :N976} => {?X a :N977, :I977, :J977}.
+{?X a :N977} => {?X a :N978, :I978, :J978}.
+{?X a :N978} => {?X a :N979, :I979, :J979}.
+{?X a :N979} => {?X a :N980, :I980, :J980}.
+{?X a :N980} => {?X a :N981, :I981, :J981}.
+{?X a :N981} => {?X a :N982, :I982, :J982}.
+{?X a :N982} => {?X a :N983, :I983, :J983}.
+{?X a :N983} => {?X a :N984, :I984, :J984}.
+{?X a :N984} => {?X a :N985, :I985, :J985}.
+{?X a :N985} => {?X a :N986, :I986, :J986}.
+{?X a :N986} => {?X a :N987, :I987, :J987}.
+{?X a :N987} => {?X a :N988, :I988, :J988}.
+{?X a :N988} => {?X a :N989, :I989, :J989}.
+{?X a :N989} => {?X a :N990, :I990, :J990}.
+{?X a :N990} => {?X a :N991, :I991, :J991}.
+{?X a :N991} => {?X a :N992, :I992, :J992}.
+{?X a :N992} => {?X a :N993, :I993, :J993}.
+{?X a :N993} => {?X a :N994, :I994, :J994}.
+{?X a :N994} => {?X a :N995, :I995, :J995}.
+{?X a :N995} => {?X a :N996, :I996, :J996}.
+{?X a :N996} => {?X a :N997, :I997, :J997}.
+{?X a :N997} => {?X a :N998, :I998, :J998}.
+{?X a :N998} => {?X a :N999, :I999, :J999}.
+{?X a :N999} => {?X a :N1000, :I1000, :J1000}.
+
+{?X a :N1000} => {?X a :A2}.