Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
%%%%% PREPROCESSOR :- discontiguous(trait/3). :- discontiguous(asserted/1). :- discontiguous(relation/4). % If speed is an issue, use dif from the reif library. % Modify the code to keep track of proofs. :- table derived(_, lattice(shortest/3)) as subsumptive. shortest(P1, P2, P):- length(P1, L1), length(P2, L2), ( L1 < L2 -> P = P1 ; P = P2 ). /* Expand Clause */ term_expansion(trait(X,P,V,asserted), asserted(trait(X, P, V), [asserted(trait(X, P, V))])) :- !. term_expansion((trait(X,P,V,ID) :- Body), List) :- general_term_expansion(V, ID, (trait(X, P, V) :- Body), List). /* Expand Body */ add_args(true, true, _) :- !. add_args(space_flag(X, F, V), space_flag(X, F, V), _) :- !. add_args((space_flag(X, F, V), B), (space_flag(X, F, V), X), I) :- !, add_args(B, X, I). add_args((A,B), (X,Y), I) :- !, add_args(A, X, K), add_args(B, Z, L), Y = (Z, append(K, L, I)). add_args(trait(X, P, V), proven(trait(X, P, V), I), I) :- !. add_args(X, _, _) :- throw(["Theorems cannot be used to run arbitrary code. Culprit:", X]). % Helper function for finding contrapositives general_term_expansion(V, ID, Thm, List) :- bagof([Contra, Index], contrapositive(Thm, Contra, Index), Contrapositives), maplist(expanded(V, ID, Thm), Contrapositives, List). % Takes a contrapositive and a template for the original theorem, plus the theorem's pi base ID % and an ID for which contrapositive this theorem is. % Adds code to the theorem that tracks where we are in a proof and if we got stuck in a recursion loop. expanded(V, ID, Thm, [Contra, Index], T) :- ( V == true; V == false ), expanded_(ID, Thm, [Contra, Index], T). expanded(undecidable, ID, Thm, [Contra, Index], T) :- expanded_(ID, Thm, [Contra, Index], (Head :- Body)), Head = relation(X, Y, _, _), T = (Head :- space_flag(X, axioms_beyond_zfc, false), space_flag(Y, axioms_beyond_zfc, false), Body). expanded(undecidable, ID, Thm, [Contra, Index], T) :- expanded_(ID, Thm, [Contra, Index], (Head :- Body)), Head = trait(X, _, _), T = (Head :- space_flag(X, axioms_beyond_zfc, false), Body). expanded_(ID, Thm, [(CHead :- CBody), Index], T) :- T = (derived(CHead, [theorem(ID, Thm, Index)|I]) :- CBody2), add_args(CBody, CBody2, I). % For simplicity, we'll call a statement a contrapositive of itself. contrapositive((Head :- Body), (Head :- Body), 0). % Base case - anything negate-able, and only those things, are valid here. contrapositive((Head :- Body), (NBody :- NHead), 1) :- neg(Head, NHead), neg(Body, NBody). % More than one item contrapositive((Head :- Body), (NStatement :- (NHead, Remainder)), Index) :- take(Body, Statement, Remainder, Index), neg(Statement, NStatement), neg(Head, NHead). % Get an element of a comma list nondeterministically, with its index. take((Head, Tail), Head, Tail, 1). take((Head, (Head2, Tail)), Head2, (Head, Tail), 2). take((Head, Tail), X, (Head, Remainder), N) :- take(Tail, X, Remainder, M), N is M + 1. % Logical negation neg(trait(X, P, true), trait(X, P, false)). neg(trait(X, P, false), trait(X, P, true)). neg(relation(X, Y, P, true), relation(X, Y, P, false)). neg(relation(X, Y, P, false), relation(X, Y, P, true)). %%%%% QUERYING proven(P, I) :- asserted(P, I); derived(P, I). has_trait(trait(S, P, V), D) :- space_declared(S), proven(trait(S, P, V), D). has_trait(T) :- has_trait(T, _). has_asserted_trait(T, D) :- ground_input(T), asserted(T, D). has_asserted_trait(T) :- has_asserted_trait(T, _). has_derived_trait(T, D) :- ground_input(T), derived(T, D). has_derived_trait(T) :- has_derived_trait(T, _). ground_input(trait(S, P, V)) :- space_declared(S). %%%%% SPACES space_declared(s000001). space_declared(s000002). space_declared(s000003). space_declared(s000004). space_declared(s000005). space_declared(s000006). space_declared(s000007). space_declared(s000008). space_declared(s000009). space_declared(s000010). space_declared(s000011). space_declared(s000012). space_declared(s000013). space_declared(s000014). space_declared(s000015). space_declared(s000016). space_declared(s000017). space_declared(s000018). space_declared(s000019). space_declared(s000020). space_declared(s000021). space_declared(s000022). space_declared(s000023). space_declared(s000024). space_declared(s000025). space_declared(s000026). space_declared(s000027). space_declared(s000028). space_declared(s000029). space_declared(s000030). space_declared(s000031). space_declared(s000032). space_declared(s000033). space_declared(s000034). space_declared(s000035). space_declared(s000036). space_declared(s000037). space_declared(s000038). space_declared(s000039). space_declared(s000040). space_declared(s000041). space_declared(s000042). space_declared(s000043). space_declared(s000044). space_declared(s000045). space_declared(s000046). space_declared(s000047). space_declared(s000048). space_declared(s000049). space_declared(s000050). space_declared(s000051). space_declared(s000052). space_declared(s000053). space_declared(s000054). space_declared(s000055). space_declared(s000056). space_declared(s000057). space_declared(s000058). space_declared(s000059). space_declared(s000060). space_declared(s000061). space_declared(s000062). space_declared(s000063). space_declared(s000064). space_declared(s000065). space_declared(s000066). space_declared(s000067). space_declared(s000068). space_declared(s000069). space_declared(s000070). space_declared(s000071). space_declared(s000072). space_declared(s000073). space_declared(s000074). space_declared(s000075). space_declared(s000076). space_declared(s000077). space_declared(s000078). space_declared(s000079). space_declared(s000080). space_declared(s000081). space_declared(s000082). space_declared(s000083). space_declared(s000084). space_declared(s000085). space_declared(s000086). space_declared(s000087). space_declared(s000088). space_declared(s000089). space_declared(s000090). space_declared(s000091). space_declared(s000092). space_declared(s000093). space_declared(s000094). space_declared(s000095). space_declared(s000096). space_declared(s000097). space_declared(s000098). space_declared(s000099). space_declared(s000100). space_declared(s000101). space_declared(s000102). space_declared(s000103). space_declared(s000104). space_declared(s000105). space_declared(s000106). space_declared(s000107). space_declared(s000108). space_declared(s000109). space_declared(s000110). space_declared(s000111). space_declared(s000112). space_declared(s000113). space_declared(s000114). space_declared(s000115). space_declared(s000116). space_declared(s000117). space_declared(s000118). space_declared(s000119). space_declared(s000120). space_declared(s000121). space_declared(s000122). space_declared(s000123). space_declared(s000124). space_declared(s000125). space_declared(s000126). space_declared(s000127). space_declared(s000128). space_declared(s000129). space_declared(s000130). space_declared(s000131). space_declared(s000132). space_declared(s000133). space_declared(s000134). space_declared(s000135). space_declared(s000136). space_declared(s000137). space_declared(s000138). space_declared(s000139). space_declared(s000140). space_declared(s000141). space_declared(s000142). space_declared(s000143). space_declared(s000144). space_declared(s000145). space_declared(s000146). space_declared(s000147). space_declared(s000148). space_declared(s000149). space_declared(s000150). space_declared(s000151). space_declared(s000152). space_declared(s000153). space_declared(s000154). space_declared(s000155). space_declared(s000156). space_declared(s000157). space_declared(s000158). space_declared(s000159). space_declared(s000160). space_declared(s000161). space_declared(s000162). space_declared(s000163). space_declared(s000164). space_declared(s000165). space_declared(s000166). space_declared(s000167). space_declared(s000168). space_declared(s000169). space_declared(s000170). space_declared(s000171). space_declared(s000172). space_declared(s000173). space_declared(s000174). space_declared(s000175). space_declared(s000176). space_declared(s000177). space_declared(s000178). space_declared(s000179). space_declared(s000180). space_declared(s000181). space_declared(s000182). space_declared(s000183). space_declared(s000184). space_declared(s000185). space_declared(s000186). space_declared(s000187). space_declared(s000188). space_declared(s000189). space_declared(s000190). space_declared(s000191). space_declared(s000192). space_declared(s000193). space_declared(s000194). space_declared(s000195). space_declared(s000196). space_declared(s000197). space_declared(s000198). space_declared(s000199). space_declared(s000200). space_declared(s000201). space_declared(s000202). space_declared(s000203). space_declared(s000204). space_declared(s000205). space_declared(s000206). space_declared(s000207). space_declared(s000208). space_declared(s000209). space_declared(s000210). space_declared(s000211). space_declared(s000212). space_declared(s000213). space_declared(s000214). space_declared(s000215). space_declared(s000216). space_declared(s000217). space_declared(s000218). space_declared(s000219). space_declared(s000220). space_declared(s000221). space_declared(s000222). space_declared(s000223). space_declared(s000224). space_declared(s000225). space_declared(s000226). space_declared(s000227). space_declared(s000228). space_declared(s000229). space_declared(s000230). space_declared(s000231). space_declared(s000232). space_declared(s000233). space_declared(s000234). space_declared(s000235). space_declared(s000236). space_declared(s000237). space_declared(s000238). space_declared(s000239). space_declared(s000240). space_declared(s000241). space_declared(s000242). space_declared(s000243). space_declared(s000244). space_declared(s000245). space_declared(s000246). space_declared(s000247). space_declared(s000248). space_declared(s000249). space_declared(s001153). %%%%% ASSERTED TRAITS trait(s000001, p000052, true, asserted). trait(s000001, p000125, true, asserted). trait(s000001, p000175, false, asserted). trait(s000002, p000052, true, asserted). trait(s000002, p000181, true, asserted). trait(s000003, p000052, true, asserted). trait(s000003, p000065, true, asserted). trait(s000004, p000125, true, asserted). trait(s000004, p000129, true, asserted). trait(s000004, p000175, false, asserted). trait(s000005, p000002, false, asserted). trait(s000005, p000022, false, asserted). trait(s000005, p000087, true, asserted). trait(s000005, p000094, true, asserted). trait(s000005, p000181, true, asserted). trait(s000006, p000022, false, asserted). trait(s000006, p000027, true, asserted). trait(s000006, p000043, true, asserted). trait(s000006, p000065, true, asserted). trait(s000006, p000087, true, asserted). trait(s000006, p000185, true, asserted). trait(s000007, p000040, false, asserted). trait(s000007, p000045, true, asserted). trait(s000007, p000126, true, asserted). trait(s000007, p000175, true, asserted). trait(s000007, p000176, false, asserted). trait(s000008, p000021, false, asserted). trait(s000008, p000033, false, asserted). trait(s000008, p000045, true, asserted). trait(s000008, p000089, true, asserted). trait(s000008, p000090, true, asserted). trait(s000008, p000126, true, asserted). trait(s000008, p000181, true, asserted). trait(s000008, p000205, false, asserted). trait(s000009, p000033, false, asserted). trait(s000009, p000045, true, asserted). trait(s000009, p000065, true, asserted). trait(s000009, p000089, true, asserted). trait(s000009, p000090, true, asserted). trait(s000009, p000126, true, asserted). trait(s000009, p000205, false, asserted). trait(s000009, p000227, true, asserted). trait(s000010, p000125, true, asserted). trait(s000010, p000175, false, asserted). trait(s000010, p000196, true, asserted). trait(s000010, p000201, true, asserted). trait(s000010, p000203, true, asserted). trait(s000011, p000175, true, asserted). trait(s000011, p000176, false, asserted). trait(s000011, p000202, true, asserted). trait(s000011, p000203, true, asserted). trait(s000012, p000089, true, asserted). trait(s000012, p000090, true, asserted). trait(s000012, p000181, true, asserted). trait(s000012, p000203, true, asserted). trait(s000013, p000029, false, asserted). trait(s000013, p000065, true, asserted). trait(s000013, p000089, true, asserted). trait(s000013, p000090, true, asserted). trait(s000013, p000203, true, asserted). trait(s000014, p000016, true, asserted). trait(s000014, p000029, false, asserted). trait(s000014, p000036, false, asserted). trait(s000014, p000043, false, asserted). trait(s000014, p000049, false, asserted). trait(s000014, p000065, true, asserted). trait(s000014, p000090, true, asserted). trait(s000014, p000203, true, asserted). trait(s000015, p000138, false, asserted). trait(s000015, p000181, true, asserted). trait(s000015, p000222, true, asserted). trait(s000016, p000038, true, asserted). trait(s000016, p000043, true, asserted). trait(s000016, p000065, true, asserted). trait(s000016, p000095, false, asserted). trait(s000016, p000096, false, asserted). trait(s000016, p000104, true, asserted). trait(s000016, p000151, true, asserted). trait(s000016, p000182, true, asserted). trait(s000016, p000191, false, asserted). trait(s000016, p000199, true, asserted). trait(s000016, p000206, true, asserted). trait(s000016, p000222, true, asserted). trait(s000017, p000033, false, asserted). trait(s000017, p000039, true, asserted). trait(s000017, p000044, false, asserted). trait(s000017, p000065, true, asserted). trait(s000017, p000071, false, asserted). trait(s000017, p000086, true, asserted). trait(s000017, p000089, false, asserted). trait(s000017, p000101, false, asserted). trait(s000017, p000126, false, asserted). trait(s000017, p000131, true, asserted). trait(s000017, p000151, true, asserted). trait(s000017, p000168, true, asserted). trait(s000017, p000172, true, asserted). trait(s000017, p000189, true, asserted). trait(s000017, p000206, true, asserted). trait(s000017, p000219, true, asserted). trait(s000018, p000002, false, asserted). trait(s000018, p000026, false, asserted). trait(s000018, p000033, false, asserted). trait(s000018, p000037, false, asserted). trait(s000018, p000039, true, asserted). trait(s000018, p000065, true, asserted). trait(s000018, p000071, false, asserted). trait(s000018, p000086, true, asserted). trait(s000018, p000131, true, asserted). trait(s000018, p000135, true, asserted). trait(s000018, p000136, true, asserted). trait(s000018, p000147, true, asserted). trait(s000018, p000151, true, asserted). trait(s000018, p000165, false, asserted). trait(s000018, p000172, true, asserted). trait(s000018, p000189, true, asserted). trait(s000018, p000206, true, asserted). trait(s000018, p000229, true, asserted). trait(s000019, p000016, true, asserted). trait(s000019, p000039, true, asserted). trait(s000019, p000043, true, asserted). trait(s000019, p000056, true, asserted). trait(s000019, p000068, false, asserted). trait(s000019, p000086, true, asserted). trait(s000019, p000089, false, asserted). trait(s000019, p000095, true, asserted). trait(s000019, p000096, false, asserted). trait(s000019, p000101, false, asserted). trait(s000019, p000110, true, asserted). trait(s000019, p000130, true, asserted). trait(s000019, p000142, false, asserted). trait(s000019, p000199, true, asserted). trait(s000019, p000208, false, asserted). trait(s000020, p000016, true, asserted). trait(s000020, p000181, true, asserted). trait(s000020, p000190, true, asserted). trait(s000020, p000203, true, asserted). trait(s000021, p000003, true, asserted). trait(s000021, p000012, true, asserted). trait(s000021, p000023, false, asserted). trait(s000021, p000026, true, asserted). trait(s000021, p000043, true, asserted). trait(s000021, p000065, true, asserted). trait(s000021, p000068, false, asserted). trait(s000021, p000087, true, asserted). trait(s000021, p000109, false, asserted). trait(s000021, p000111, true, asserted). trait(s000021, p000129, false, asserted). trait(s000021, p000140, false, asserted). trait(s000021, p000179, true, asserted). trait(s000021, p000199, true, asserted). trait(s000021, p000204, false, asserted). trait(s000021, p000214, false, asserted). trait(s000022, p000002, true, asserted). trait(s000022, p000029, false, asserted). trait(s000022, p000065, true, asserted). trait(s000022, p000147, true, asserted). trait(s000022, p000151, true, asserted). trait(s000022, p000172, true, asserted). trait(s000022, p000203, true, asserted). trait(s000023, p000003, true, asserted). trait(s000023, p000049, false, asserted). trait(s000023, p000136, true, asserted). trait(s000023, p000181, true, asserted). trait(s000023, p000203, true, asserted). trait(s000024, p000016, true, asserted). trait(s000024, p000029, false, asserted). trait(s000024, p000051, true, asserted). trait(s000024, p000061, false, asserted). trait(s000024, p000065, true, asserted). trait(s000024, p000084, true, asserted). trait(s000024, p000101, false, asserted). trait(s000024, p000115, false, asserted). trait(s000024, p000120, false, asserted). trait(s000024, p000130, true, asserted). trait(s000024, p000151, true, asserted). trait(s000024, p000169, false, asserted). trait(s000024, p000187, true, asserted). trait(s000024, p000191, false, asserted). trait(s000024, p000210, true, asserted). trait(s000024, p000216, true, asserted). trait(s000024, p000217, true, asserted). trait(s000025, p000022, false, asserted). trait(s000025, p000027, true, asserted). trait(s000025, p000053, true, asserted). trait(s000025, p000065, true, asserted). trait(s000025, p000087, true, asserted). trait(s000025, p000095, true, asserted). trait(s000025, p000133, true, asserted). trait(s000025, p000155, true, asserted). trait(s000026, p000016, true, asserted). trait(s000026, p000050, true, asserted). trait(s000026, p000055, true, asserted). trait(s000026, p000065, true, asserted). trait(s000026, p000087, true, asserted). trait(s000027, p000023, false, asserted). trait(s000027, p000087, true, asserted). trait(s000027, p000133, true, asserted). trait(s000027, p000181, true, asserted). trait(s000028, p000022, false, asserted). trait(s000028, p000023, false, asserted). trait(s000028, p000027, true, asserted). trait(s000028, p000050, true, asserted). trait(s000028, p000055, true, asserted). trait(s000028, p000065, true, asserted). trait(s000028, p000066, false, asserted). trait(s000028, p000087, true, asserted). trait(s000029, p000016, true, asserted). trait(s000029, p000041, false, asserted). trait(s000029, p000045, true, asserted). trait(s000029, p000073, true, asserted). trait(s000029, p000080, true, asserted). trait(s000029, p000084, false, asserted). trait(s000029, p000089, true, asserted). trait(s000029, p000100, true, asserted). trait(s000029, p000138, false, asserted). trait(s000029, p000169, false, asserted). trait(s000029, p000181, true, asserted). trait(s000029, p000183, true, asserted). trait(s000029, p000214, false, asserted). trait(s000029, p000216, false, asserted). trait(s000030, p000026, true, asserted). trait(s000030, p000042, true, asserted). trait(s000030, p000055, true, asserted). trait(s000030, p000066, false, asserted). trait(s000030, p000087, true, asserted). trait(s000030, p000184, false, asserted). trait(s000030, p000199, true, asserted). trait(s000030, p000204, false, asserted). trait(s000031, p000016, true, asserted). trait(s000031, p000041, false, asserted). trait(s000031, p000044, false, asserted). trait(s000031, p000057, true, asserted). trait(s000031, p000073, true, asserted). trait(s000031, p000084, false, asserted). trait(s000031, p000086, false, asserted). trait(s000031, p000089, true, asserted). trait(s000031, p000101, false, asserted). trait(s000031, p000130, false, asserted). trait(s000031, p000138, false, asserted). trait(s000031, p000143, true, asserted). trait(s000031, p000169, false, asserted). trait(s000031, p000183, true, asserted). trait(s000031, p000204, false, asserted). trait(s000031, p000214, false, asserted). trait(s000031, p000216, false, asserted). trait(s000032, p000016, true, asserted). trait(s000032, p000026, true, asserted). trait(s000032, p000038, true, asserted). trait(s000032, p000043, true, asserted). trait(s000032, p000053, true, asserted). trait(s000032, p000086, true, asserted). trait(s000032, p000089, true, asserted). trait(s000032, p000120, false, asserted). trait(s000032, p000129, false, asserted). trait(s000032, p000184, false, asserted). trait(s000032, p000199, true, asserted). trait(s000033, p000016, false, asserted). trait(s000033, p000052, false, asserted). trait(s000033, p000057, true, asserted). trait(s000033, p000190, true, asserted). trait(s000033, p000203, true, asserted). trait(s000034, p000016, true, asserted). trait(s000034, p000126, false, asserted). trait(s000034, p000181, true, asserted). trait(s000034, p000190, true, asserted). trait(s000035, p000019, true, asserted). trait(s000035, p000062, false, asserted). trait(s000035, p000076, true, asserted). trait(s000035, p000082, true, asserted). trait(s000035, p000093, true, asserted). trait(s000035, p000114, true, asserted). trait(s000035, p000186, true, asserted). trait(s000035, p000190, true, asserted). trait(s000036, p000016, true, asserted). trait(s000036, p000103, false, asserted). trait(s000036, p000114, true, asserted). trait(s000036, p000151, true, asserted). trait(s000036, p000190, true, asserted). trait(s000037, p000020, true, asserted). trait(s000037, p000029, false, asserted). trait(s000037, p000051, true, asserted). trait(s000037, p000061, true, asserted). trait(s000037, p000085, false, asserted). trait(s000037, p000099, true, asserted). trait(s000037, p000101, false, asserted). trait(s000037, p000114, true, asserted). trait(s000037, p000115, false, asserted). trait(s000037, p000120, true, asserted). trait(s000037, p000130, true, asserted). trait(s000037, p000151, true, asserted). trait(s000037, p000169, false, asserted). trait(s000037, p000174, true, asserted). trait(s000037, p000216, false, asserted). trait(s000037, p000217, true, asserted). trait(s000038, p000019, true, asserted). trait(s000038, p000061, true, asserted). trait(s000038, p000062, false, asserted). trait(s000038, p000065, true, asserted). trait(s000038, p000076, true, asserted). trait(s000038, p000082, true, asserted). trait(s000038, p000089, true, asserted). trait(s000038, p000133, true, asserted). trait(s000038, p000186, true, asserted). trait(s000038, p000199, false, asserted). trait(s000038, p000200, true, asserted). trait(s000038, p000205, false, asserted). trait(s000039, p000016, true, asserted). trait(s000039, p000036, true, asserted). trait(s000039, p000037, false, asserted). trait(s000039, p000046, false, asserted). trait(s000039, p000061, true, asserted). trait(s000039, p000065, true, asserted). trait(s000039, p000103, false, asserted). trait(s000039, p000133, true, asserted). trait(s000039, p000174, true, asserted). trait(s000039, p000215, false, asserted). trait(s000040, p000009, true, asserted). trait(s000040, p000020, true, asserted). trait(s000040, p000029, false, asserted). trait(s000040, p000037, false, asserted). trait(s000040, p000041, false, asserted). trait(s000040, p000046, false, asserted). trait(s000040, p000056, false, asserted). trait(s000040, p000062, true, asserted). trait(s000040, p000065, true, asserted). trait(s000040, p000081, false, asserted). trait(s000040, p000120, true, asserted). trait(s000040, p000204, true, asserted). trait(s000040, p000205, false, asserted). trait(s000041, p000016, true, asserted). trait(s000041, p000028, true, asserted). trait(s000041, p000036, true, asserted). trait(s000041, p000037, false, asserted). trait(s000041, p000046, false, asserted). trait(s000041, p000061, false, asserted). trait(s000041, p000076, false, asserted). trait(s000041, p000133, true, asserted). trait(s000042, p000001, true, asserted). trait(s000042, p000027, true, asserted). trait(s000042, p000038, true, asserted). trait(s000042, p000043, true, asserted). trait(s000042, p000056, true, asserted). trait(s000042, p000065, true, asserted). trait(s000042, p000086, true, asserted). trait(s000042, p000089, false, asserted). trait(s000042, p000130, true, asserted). trait(s000042, p000152, true, asserted). trait(s000042, p000196, true, asserted). trait(s000043, p000026, true, asserted). trait(s000043, p000050, true, asserted). trait(s000043, p000063, false, asserted). trait(s000043, p000065, true, asserted). trait(s000043, p000066, false, asserted). trait(s000043, p000076, false, asserted). trait(s000043, p000086, true, asserted). trait(s000043, p000102, false, asserted). trait(s000043, p000149, false, asserted). trait(s000043, p000154, true, asserted). trait(s000043, p000166, true, asserted). trait(s000043, p000182, false, asserted). trait(s000043, p000206, true, asserted). trait(s000044, p000027, true, asserted). trait(s000044, p000033, false, asserted). trait(s000044, p000038, true, asserted). trait(s000044, p000043, true, asserted). trait(s000044, p000065, true, asserted). trait(s000044, p000139, false, asserted). trait(s000044, p000192, true, asserted). trait(s000044, p000196, true, asserted). trait(s000044, p000226, true, asserted). trait(s000045, p000013, false, asserted). trait(s000045, p000016, true, asserted). trait(s000045, p000027, true, asserted). trait(s000045, p000038, true, asserted). trait(s000045, p000043, true, asserted). trait(s000045, p000073, true, asserted). trait(s000045, p000075, false, asserted). trait(s000045, p000089, true, asserted). trait(s000045, p000130, true, asserted). trait(s000045, p000139, false, asserted). trait(s000045, p000152, true, asserted). trait(s000045, p000201, true, asserted). trait(s000045, p000216, false, asserted). trait(s000046, p000027, true, asserted). trait(s000046, p000031, true, asserted). trait(s000046, p000032, false, asserted). trait(s000046, p000038, true, asserted). trait(s000046, p000039, true, asserted). trait(s000046, p000043, true, asserted). trait(s000046, p000056, true, asserted). trait(s000046, p000065, true, asserted). trait(s000046, p000086, false, asserted). trait(s000046, p000090, true, asserted). trait(s000046, p000165, true, asserted). trait(s000046, p000199, true, asserted). trait(s000046, p000226, false, asserted). trait(s000047, p000001, true, asserted). trait(s000047, p000002, false, asserted). trait(s000047, p000014, true, asserted). trait(s000047, p000021, false, asserted). trait(s000047, p000024, true, asserted). trait(s000047, p000049, true, asserted). trait(s000047, p000094, true, asserted). trait(s000047, p000126, false, asserted). trait(s000047, p000146, true, asserted). trait(s000047, p000181, true, asserted). trait(s000047, p000216, true, asserted). trait(s000048, p000001, true, asserted). trait(s000048, p000013, false, asserted). trait(s000048, p000027, true, asserted). trait(s000048, p000042, true, asserted). trait(s000048, p000044, false, asserted). trait(s000048, p000138, false, asserted). trait(s000048, p000139, false, asserted). trait(s000048, p000181, true, asserted). trait(s000048, p000192, true, asserted). trait(s000048, p000201, true, asserted). trait(s000048, p000208, true, asserted). trait(s000049, p000001, true, asserted). trait(s000049, p000010, false, asserted). trait(s000049, p000014, false, asserted). trait(s000049, p000039, false, asserted). trait(s000049, p000040, true, asserted). trait(s000049, p000089, false, asserted). trait(s000049, p000094, true, asserted). trait(s000049, p000181, true, asserted). trait(s000049, p000199, true, asserted). trait(s000049, p000226, false, asserted). trait(s000050, p000010, true, asserted). trait(s000050, p000014, true, asserted). trait(s000050, p000027, true, asserted). trait(s000050, p000041, false, asserted). trait(s000050, p000045, true, asserted). trait(s000050, p000056, true, asserted). trait(s000050, p000089, true, asserted). trait(s000050, p000130, false, asserted). trait(s000050, p000138, false, asserted). trait(s000050, p000181, true, asserted). trait(s000050, p000192, true, asserted). trait(s000050, p000202, true, asserted). trait(s000050, p000216, true, asserted). trait(s000051, p000010, true, asserted). trait(s000051, p000021, false, asserted). trait(s000051, p000024, true, asserted). trait(s000051, p000089, false, asserted). trait(s000051, p000094, true, asserted). trait(s000051, p000145, true, asserted). trait(s000051, p000181, true, asserted). trait(s000051, p000199, true, asserted). trait(s000051, p000205, true, asserted). trait(s000052, p000003, true, asserted). trait(s000052, p000004, false, asserted). trait(s000052, p000010, true, asserted). trait(s000052, p000027, true, asserted). trait(s000052, p000041, false, asserted). trait(s000052, p000044, false, asserted). trait(s000052, p000060, true, asserted). trait(s000052, p000082, false, asserted). trait(s000052, p000086, false, asserted). trait(s000052, p000089, false, asserted). trait(s000052, p000138, false, asserted). trait(s000052, p000181, true, asserted). trait(s000052, p000204, false, asserted). trait(s000053, p000003, true, asserted). trait(s000053, p000004, false, asserted). trait(s000053, p000010, false, asserted). trait(s000053, p000027, true, asserted). trait(s000053, p000041, true, asserted). trait(s000053, p000044, false, asserted). trait(s000053, p000060, true, asserted). trait(s000053, p000086, false, asserted). trait(s000053, p000089, false, asserted). trait(s000053, p000138, false, asserted). trait(s000053, p000181, true, asserted). trait(s000053, p000204, false, asserted). trait(s000054, p000002, false, asserted). trait(s000054, p000011, true, asserted). trait(s000054, p000022, false, asserted). trait(s000054, p000024, true, asserted). trait(s000054, p000027, true, asserted). trait(s000054, p000038, true, asserted). trait(s000054, p000043, true, asserted). trait(s000054, p000065, true, asserted). trait(s000054, p000068, false, asserted). trait(s000054, p000087, true, asserted). trait(s000054, p000199, true, asserted). trait(s000055, p000010, false, asserted). trait(s000055, p000018, true, asserted). trait(s000055, p000028, false, asserted). trait(s000055, p000036, true, asserted). trait(s000055, p000065, true, asserted). trait(s000055, p000068, false, asserted). trait(s000055, p000166, true, asserted). trait(s000055, p000168, true, asserted). trait(s000056, p000010, false, asserted). trait(s000056, p000017, true, asserted). trait(s000056, p000022, false, asserted). trait(s000056, p000037, false, asserted). trait(s000056, p000041, false, asserted). trait(s000056, p000046, false, asserted). trait(s000056, p000061, true, asserted). trait(s000056, p000068, false, asserted). trait(s000056, p000089, false, asserted). trait(s000056, p000110, true, asserted). trait(s000056, p000120, true, asserted). trait(s000056, p000166, true, asserted). trait(s000056, p000189, true, asserted). trait(s000056, p000205, true, asserted). trait(s000056, p000206, true, asserted). trait(s000057, p000024, true, asserted). trait(s000057, p000026, true, asserted). trait(s000057, p000051, true, asserted). trait(s000057, p000065, true, asserted). trait(s000057, p000085, false, asserted). trait(s000057, p000093, true, asserted). trait(s000057, p000110, true, asserted). trait(s000057, p000117, true, asserted). trait(s000057, p000120, true, asserted). trait(s000057, p000166, true, asserted). trait(s000057, p000227, true, asserted). trait(s000058, p000010, false, asserted). trait(s000058, p000022, false, asserted). trait(s000058, p000027, true, asserted). trait(s000058, p000041, false, asserted). trait(s000058, p000044, false, asserted). trait(s000058, p000046, true, asserted). trait(s000058, p000056, true, asserted). trait(s000058, p000066, false, asserted). trait(s000058, p000086, false, asserted). trait(s000058, p000089, false, asserted). trait(s000058, p000110, true, asserted). trait(s000058, p000144, false, asserted). trait(s000058, p000166, true, asserted). trait(s000058, p000189, false, asserted). trait(s000058, p000205, true, asserted). trait(s000059, p000010, false, asserted). trait(s000059, p000017, false, asserted). trait(s000059, p000022, false, asserted). trait(s000059, p000027, true, asserted). trait(s000059, p000031, true, asserted). trait(s000059, p000036, true, asserted). trait(s000059, p000041, false, asserted). trait(s000059, p000044, false, asserted). trait(s000059, p000046, true, asserted). trait(s000059, p000068, false, asserted). trait(s000059, p000071, true, asserted). trait(s000059, p000082, false, asserted). trait(s000059, p000129, false, asserted). trait(s000059, p000166, true, asserted). trait(s000060, p000010, false, asserted). trait(s000060, p000022, false, asserted). trait(s000060, p000026, true, asserted). trait(s000060, p000044, false, asserted). trait(s000060, p000056, true, asserted). trait(s000060, p000082, true, asserted). trait(s000060, p000086, true, asserted). trait(s000060, p000089, false, asserted). trait(s000060, p000093, true, asserted). trait(s000060, p000110, true, asserted). trait(s000060, p000118, true, asserted). trait(s000060, p000166, true, asserted). trait(s000060, p000189, false, asserted). trait(s000060, p000205, true, asserted). trait(s000060, p000227, true, asserted). trait(s000061, p000010, false, asserted). trait(s000061, p000022, false, asserted). trait(s000061, p000027, true, asserted). trait(s000061, p000033, false, asserted). trait(s000061, p000044, false, asserted). trait(s000061, p000046, true, asserted). trait(s000061, p000068, false, asserted). trait(s000061, p000071, true, asserted). trait(s000061, p000086, true, asserted). trait(s000061, p000089, false, asserted). trait(s000061, p000120, true, asserted). trait(s000061, p000166, true, asserted). trait(s000061, p000205, true, asserted). trait(s000061, p000206, true, asserted). trait(s000062, p000003, true, asserted). trait(s000062, p000027, true, asserted). trait(s000062, p000050, true, asserted). trait(s000062, p000065, true, asserted). trait(s000062, p000066, false, asserted). trait(s000062, p000139, true, asserted). trait(s000062, p000206, true, asserted). trait(s000063, p000051, false, asserted). trait(s000063, p000061, false, asserted). trait(s000063, p000063, false, asserted). trait(s000063, p000065, true, asserted). trait(s000063, p000076, false, asserted). trait(s000063, p000093, false, asserted). trait(s000063, p000139, true, asserted). trait(s000063, p000146, true, asserted). trait(s000063, p000154, true, asserted). trait(s000063, p000166, true, asserted). trait(s000063, p000206, true, asserted). trait(s000063, p000227, true, asserted). trait(s000064, p000010, false, asserted). trait(s000064, p000022, false, asserted). trait(s000064, p000026, true, asserted). trait(s000064, p000032, false, asserted). trait(s000064, p000048, false, asserted). trait(s000064, p000051, true, asserted). trait(s000064, p000082, true, asserted). trait(s000064, p000093, true, asserted). trait(s000064, p000110, true, asserted). trait(s000064, p000118, true, asserted). trait(s000064, p000166, true, asserted). trait(s000064, p000227, true, asserted). trait(s000065, p000016, true, asserted). trait(s000065, p000038, false, asserted). trait(s000065, p000042, true, asserted). trait(s000065, p000060, false, asserted). trait(s000065, p000061, true, asserted). trait(s000065, p000068, false, asserted). trait(s000065, p000089, false, asserted). trait(s000065, p000101, false, asserted). trait(s000065, p000110, true, asserted). trait(s000065, p000120, true, asserted). trait(s000065, p000122, false, asserted). trait(s000065, p000169, false, asserted). trait(s000065, p000199, true, asserted). trait(s000065, p000204, true, asserted). trait(s000065, p000206, true, asserted). trait(s000065, p000216, true, asserted). trait(s000066, p000003, true, asserted). trait(s000066, p000004, false, asserted). trait(s000066, p000010, true, asserted). trait(s000066, p000017, true, asserted). trait(s000066, p000022, false, asserted). trait(s000066, p000038, true, asserted). trait(s000066, p000042, true, asserted). trait(s000066, p000068, false, asserted). trait(s000066, p000082, true, asserted). trait(s000066, p000089, false, asserted). trait(s000066, p000110, true, asserted). trait(s000066, p000204, false, asserted). trait(s000066, p000206, true, asserted). trait(s000067, p000003, true, asserted). trait(s000067, p000004, false, asserted). trait(s000067, p000010, false, asserted). trait(s000067, p000036, true, asserted). trait(s000067, p000044, false, asserted). trait(s000067, p000057, true, asserted). trait(s000067, p000082, true, asserted). trait(s000067, p000086, true, asserted). trait(s000067, p000089, false, asserted). trait(s000067, p000102, true, asserted). trait(s000067, p000138, false, asserted). trait(s000067, p000204, false, asserted). trait(s000068, p000010, false, asserted). trait(s000068, p000022, false, asserted). trait(s000068, p000026, true, asserted). trait(s000068, p000032, false, asserted). trait(s000068, p000038, true, asserted). trait(s000068, p000043, true, asserted). trait(s000068, p000082, false, asserted). trait(s000068, p000086, true, asserted). trait(s000068, p000089, false, asserted). trait(s000068, p000102, true, asserted). trait(s000068, p000110, false, asserted). trait(s000068, p000166, true, asserted). trait(s000068, p000204, false, asserted). trait(s000068, p000206, true, asserted). trait(s000068, p000227, true, asserted). trait(s000069, p000010, false, asserted). trait(s000069, p000018, true, asserted). trait(s000069, p000022, false, asserted). trait(s000069, p000028, true, asserted). trait(s000069, p000038, true, asserted). trait(s000069, p000043, true, asserted). trait(s000069, p000066, false, asserted). trait(s000069, p000082, false, asserted). trait(s000069, p000086, true, asserted). trait(s000069, p000089, false, asserted). trait(s000069, p000102, false, asserted). trait(s000069, p000132, true, asserted). trait(s000069, p000149, false, asserted). trait(s000069, p000166, true, asserted). trait(s000069, p000180, true, asserted). trait(s000069, p000182, false, asserted). trait(s000069, p000204, false, asserted). trait(s000069, p000206, true, asserted). trait(s000070, p000010, false, asserted). trait(s000070, p000022, false, asserted). trait(s000070, p000026, true, asserted). trait(s000070, p000033, true, asserted). trait(s000070, p000038, true, asserted). trait(s000070, p000043, true, asserted). trait(s000070, p000082, true, asserted). trait(s000070, p000166, true, asserted). trait(s000070, p000227, true, asserted). trait(s000071, p000004, true, asserted). trait(s000071, p000009, true, asserted). trait(s000071, p000010, false, asserted). trait(s000071, p000022, false, asserted). trait(s000071, p000027, true, asserted). trait(s000071, p000048, true, asserted). trait(s000071, p000049, false, asserted). trait(s000071, p000051, true, asserted). trait(s000071, p000057, true, asserted). trait(s000071, p000120, true, asserted). trait(s000071, p000129, false, asserted). trait(s000072, p000003, true, asserted). trait(s000072, p000004, false, asserted). trait(s000072, p000010, true, asserted). trait(s000072, p000022, false, asserted). trait(s000072, p000027, true, asserted). trait(s000072, p000047, true, asserted). trait(s000072, p000051, false, asserted). trait(s000072, p000057, true, asserted). trait(s000072, p000139, false, asserted). trait(s000073, p000003, true, asserted). trait(s000073, p000004, false, asserted). trait(s000073, p000010, true, asserted). trait(s000073, p000017, true, asserted). trait(s000073, p000020, false, asserted). trait(s000073, p000022, false, asserted). trait(s000073, p000027, true, asserted). trait(s000073, p000038, true, asserted). trait(s000073, p000043, true, asserted). trait(s000073, p000056, false, asserted). trait(s000073, p000068, false, asserted). trait(s000073, p000129, false, asserted). trait(s000074, p000023, false, asserted). trait(s000074, p000026, true, asserted). trait(s000074, p000042, true, asserted). trait(s000074, p000063, true, asserted). trait(s000074, p000082, true, asserted). trait(s000074, p000086, false, asserted). trait(s000074, p000089, false, asserted). trait(s000074, p000110, true, asserted). trait(s000074, p000117, true, asserted). trait(s000074, p000118, false, asserted). trait(s000074, p000162, true, asserted). trait(s000074, p000165, false, asserted). trait(s000074, p000166, true, asserted). trait(s000074, p000199, true, asserted). trait(s000074, p000204, false, asserted). trait(s000074, p000227, true, asserted). trait(s000075, p000017, true, asserted). trait(s000075, p000023, false, asserted). trait(s000075, p000042, true, asserted). trait(s000075, p000063, true, asserted). trait(s000075, p000089, false, asserted). trait(s000075, p000184, true, asserted). trait(s000075, p000199, true, asserted). trait(s000075, p000204, false, asserted). trait(s000076, p000022, false, asserted). trait(s000076, p000026, true, asserted). trait(s000076, p000028, true, asserted). trait(s000076, p000049, false, asserted). trait(s000076, p000050, true, asserted). trait(s000076, p000065, true, asserted). trait(s000076, p000082, false, asserted). trait(s000076, p000086, true, asserted). trait(s000076, p000132, true, asserted). trait(s000076, p000165, false, asserted). trait(s000076, p000166, true, asserted). trait(s000076, p000227, true, asserted). trait(s000077, p000006, true, asserted). trait(s000077, p000013, false, asserted). trait(s000077, p000031, true, asserted). trait(s000077, p000036, false, asserted). trait(s000077, p000065, true, asserted). trait(s000077, p000129, false, asserted). trait(s000077, p000227, true, asserted). trait(s000078, p000014, false, asserted). trait(s000078, p000016, true, asserted). trait(s000078, p000029, false, asserted). trait(s000078, p000049, false, asserted). trait(s000078, p000050, true, asserted). trait(s000078, p000051, true, asserted). trait(s000078, p000081, false, asserted). trait(s000078, p000114, true, asserted). trait(s000078, p000172, false, asserted). trait(s000078, p000173, true, asserted). trait(s000079, p000006, true, asserted). trait(s000079, p000022, true, asserted). trait(s000079, p000029, false, asserted). trait(s000079, p000032, false, asserted). trait(s000079, p000033, true, asserted). trait(s000079, p000051, true, asserted). trait(s000079, p000061, true, asserted). trait(s000079, p000062, true, asserted). trait(s000079, p000083, false, asserted). trait(s000079, p000103, false, asserted). trait(s000079, p000114, true, asserted). trait(s000079, p000120, true, asserted). trait(s000079, p000130, true, asserted). trait(s000079, p000165, false, asserted). trait(s000079, p000174, true, asserted). trait(s000079, p000194, false, asserted). trait(s000079, p000198, true, asserted). trait(s000079, p000217, true, asserted). trait(s000080, p000004, true, asserted). trait(s000080, p000009, false, asserted). trait(s000080, p000010, true, asserted). trait(s000080, p000011, false, asserted). trait(s000080, p000022, false, asserted). trait(s000080, p000028, true, asserted). trait(s000080, p000047, true, asserted). trait(s000080, p000057, true, asserted). trait(s000080, p000139, false, asserted). trait(s000081, p000006, false, asserted). trait(s000081, p000009, true, asserted). trait(s000081, p000010, true, asserted). trait(s000081, p000011, false, asserted). trait(s000081, p000018, false, asserted). trait(s000081, p000019, false, asserted). trait(s000081, p000028, false, asserted). trait(s000081, p000029, false, asserted). trait(s000081, p000031, false, asserted). trait(s000081, p000036, false, asserted). trait(s000081, p000041, false, asserted). trait(s000081, p000046, false, asserted). trait(s000081, p000056, false, asserted). trait(s000081, p000065, true, asserted). trait(s000081, p000129, false, asserted). trait(s000081, p000198, true, asserted). trait(s000081, p000229, true, asserted). trait(s000082, p000001, true, asserted). trait(s000082, p000022, false, asserted). trait(s000082, p000032, false, asserted). trait(s000082, p000036, false, asserted). trait(s000082, p000043, true, asserted). trait(s000082, p000049, true, asserted). trait(s000082, p000054, true, asserted). trait(s000082, p000056, true, asserted). trait(s000082, p000062, false, asserted). trait(s000082, p000065, true, asserted). trait(s000082, p000073, false, asserted). trait(s000082, p000086, true, asserted). trait(s000082, p000090, false, asserted). trait(s000082, p000093, false, asserted). trait(s000082, p000105, true, asserted). trait(s000082, p000108, true, asserted). trait(s000082, p000130, true, asserted). trait(s000082, p000207, true, asserted). trait(s000082, p000229, true, asserted). trait(s000083, p000022, false, asserted). trait(s000083, p000024, true, asserted). trait(s000083, p000038, false, asserted). trait(s000083, p000061, true, asserted). trait(s000083, p000068, false, asserted). trait(s000083, p000089, false, asserted). trait(s000083, p000101, false, asserted). trait(s000083, p000110, true, asserted). trait(s000083, p000145, true, asserted). trait(s000083, p000155, true, asserted). trait(s000083, p000169, false, asserted). trait(s000083, p000200, false, asserted). trait(s000083, p000204, true, asserted). trait(s000083, p000205, false, asserted). trait(s000083, p000216, true, asserted). trait(s000084, p000022, false, asserted). trait(s000084, p000024, false, asserted). trait(s000084, p000027, true, asserted). trait(s000084, p000032, false, asserted). trait(s000084, p000038, false, asserted). trait(s000084, p000061, true, asserted). trait(s000084, p000068, false, asserted). trait(s000084, p000089, false, asserted). trait(s000084, p000101, false, asserted). trait(s000084, p000110, true, asserted). trait(s000084, p000155, true, asserted). trait(s000084, p000169, false, asserted). trait(s000084, p000200, false, asserted). trait(s000084, p000204, true, asserted). trait(s000084, p000205, false, asserted). trait(s000085, p000022, false, asserted). trait(s000085, p000024, false, asserted). trait(s000085, p000026, true, asserted). trait(s000085, p000032, false, asserted). trait(s000085, p000038, false, asserted). trait(s000085, p000059, true, asserted). trait(s000085, p000061, true, asserted). trait(s000085, p000089, false, asserted). trait(s000085, p000101, false, asserted). trait(s000085, p000110, true, asserted). trait(s000085, p000118, true, asserted). trait(s000085, p000155, true, asserted). trait(s000085, p000163, false, asserted). trait(s000085, p000169, false, asserted). trait(s000085, p000200, false, asserted). trait(s000085, p000204, true, asserted). trait(s000085, p000205, false, asserted). trait(s000085, p000227, true, asserted). trait(s000086, p000022, false, asserted). trait(s000086, p000024, false, asserted). trait(s000086, p000026, true, asserted). trait(s000086, p000033, false, asserted). trait(s000086, p000037, true, asserted). trait(s000086, p000038, false, asserted). trait(s000086, p000061, true, asserted). trait(s000086, p000065, true, asserted). trait(s000086, p000086, true, asserted). trait(s000086, p000089, false, asserted). trait(s000086, p000101, false, asserted). trait(s000086, p000104, false, asserted). trait(s000086, p000106, true, asserted). trait(s000086, p000117, true, asserted). trait(s000086, p000118, false, asserted). trait(s000086, p000155, true, asserted). trait(s000086, p000169, false, asserted). trait(s000086, p000200, false, asserted). trait(s000086, p000205, false, asserted). trait(s000086, p000227, true, asserted). trait(s000087, p000022, false, asserted). trait(s000087, p000031, true, asserted). trait(s000087, p000032, false, asserted). trait(s000087, p000049, false, asserted). trait(s000087, p000050, true, asserted). trait(s000087, p000051, true, asserted). trait(s000087, p000062, true, asserted). trait(s000087, p000103, true, asserted). trait(s000087, p000114, true, asserted). trait(s000087, p000120, true, asserted). trait(s000087, p000136, false, asserted). trait(s000087, p000140, false, asserted). trait(s000087, p000174, true, asserted). trait(s000087, p000198, false, asserted). trait(s000088, p000005, true, asserted). trait(s000088, p000009, false, asserted). trait(s000088, p000022, true, asserted). trait(s000088, p000029, false, asserted). trait(s000088, p000031, false, asserted). trait(s000088, p000032, false, asserted). trait(s000088, p000033, true, asserted). trait(s000088, p000051, true, asserted). trait(s000088, p000062, true, asserted). trait(s000088, p000085, false, asserted). trait(s000088, p000103, false, asserted). trait(s000088, p000114, true, asserted). trait(s000088, p000115, false, asserted). trait(s000088, p000165, false, asserted). trait(s000088, p000174, true, asserted). trait(s000088, p000198, true, asserted). trait(s000089, p000005, true, asserted). trait(s000089, p000006, false, asserted). trait(s000089, p000009, true, asserted). trait(s000089, p000021, false, asserted). trait(s000089, p000028, false, asserted). trait(s000089, p000029, false, asserted). trait(s000089, p000031, false, asserted). trait(s000089, p000032, false, asserted). trait(s000089, p000048, true, asserted). trait(s000089, p000050, false, asserted). trait(s000089, p000051, true, asserted). trait(s000089, p000114, true, asserted). trait(s000090, p000005, true, asserted). trait(s000090, p000013, false, asserted). trait(s000090, p000016, false, asserted). trait(s000090, p000040, false, asserted). trait(s000090, p000060, true, asserted). trait(s000090, p000114, true, asserted). trait(s000090, p000129, false, asserted). trait(s000091, p000022, false, asserted). trait(s000091, p000023, true, asserted). trait(s000091, p000031, true, asserted). trait(s000091, p000032, false, asserted). trait(s000091, p000050, true, asserted). trait(s000091, p000051, true, asserted). trait(s000091, p000061, false, asserted). trait(s000091, p000062, true, asserted). trait(s000091, p000065, true, asserted). trait(s000091, p000120, false, asserted). trait(s000091, p000162, false, asserted). trait(s000091, p000165, false, asserted). trait(s000091, p000174, false, asserted). trait(s000091, p000186, true, asserted). trait(s000091, p000227, true, asserted). trait(s000092, p000003, true, asserted). trait(s000092, p000009, false, asserted). trait(s000092, p000011, true, asserted). trait(s000092, p000065, true, asserted). trait(s000093, p000016, true, asserted). trait(s000093, p000026, true, asserted). trait(s000093, p000050, true, asserted). trait(s000093, p000065, true, asserted). trait(s000093, p000086, true, asserted). trait(s000093, p000102, false, asserted). trait(s000093, p000133, true, asserted). trait(s000094, p000010, false, asserted). trait(s000094, p000011, false, asserted). trait(s000094, p000017, false, asserted). trait(s000094, p000018, true, asserted). trait(s000094, p000026, true, asserted). trait(s000094, p000027, false, asserted). trait(s000094, p000028, true, asserted). trait(s000094, p000031, true, asserted). trait(s000094, p000048, true, asserted). trait(s000094, p000049, false, asserted). trait(s000094, p000051, false, asserted). trait(s000094, p000065, true, asserted). trait(s000094, p000068, false, asserted). trait(s000094, p000120, false, asserted). trait(s000094, p000129, false, asserted). trait(s000095, p000003, true, asserted). trait(s000095, p000014, true, asserted). trait(s000095, p000015, false, asserted). trait(s000095, p000016, true, asserted). trait(s000095, p000020, true, asserted). trait(s000095, p000026, false, asserted). trait(s000095, p000027, false, asserted). trait(s000095, p000028, true, asserted). trait(s000095, p000029, false, asserted). trait(s000095, p000036, false, asserted). trait(s000095, p000041, false, asserted). trait(s000095, p000046, false, asserted). trait(s000095, p000065, true, asserted). trait(s000095, p000068, false, asserted). trait(s000095, p000120, false, asserted). trait(s000095, p000129, false, asserted). trait(s000095, p000139, true, asserted). trait(s000095, p000229, true, asserted). trait(s000096, p000002, true, asserted). trait(s000096, p000023, false, asserted). trait(s000096, p000028, false, asserted). trait(s000096, p000049, false, asserted). trait(s000096, p000057, true, asserted). trait(s000096, p000129, false, asserted). trait(s000096, p000136, true, asserted). trait(s000096, p000203, true, asserted). trait(s000097, p000010, true, asserted). trait(s000097, p000016, true, asserted). trait(s000097, p000051, true, asserted). trait(s000097, p000057, true, asserted). trait(s000097, p000084, true, asserted). trait(s000097, p000100, true, asserted). trait(s000097, p000187, false, asserted). trait(s000097, p000214, false, asserted). trait(s000098, p000003, true, asserted). trait(s000098, p000004, false, asserted). trait(s000098, p000010, true, asserted). trait(s000098, p000022, true, asserted). trait(s000098, p000027, true, asserted). trait(s000098, p000041, false, asserted). trait(s000098, p000056, false, asserted). trait(s000098, p000057, true, asserted). trait(s000098, p000129, false, asserted). trait(s000099, p000003, true, asserted). trait(s000099, p000014, false, asserted). trait(s000099, p000016, true, asserted). trait(s000099, p000020, true, asserted). trait(s000099, p000028, false, asserted). trait(s000099, p000029, false, asserted). trait(s000099, p000038, true, asserted). trait(s000099, p000041, false, asserted). trait(s000099, p000065, true, asserted). trait(s000099, p000086, false, asserted). trait(s000100, p000001, true, asserted). trait(s000100, p000027, true, asserted). trait(s000100, p000039, true, asserted). trait(s000100, p000040, true, asserted). trait(s000100, p000056, true, asserted). trait(s000100, p000086, false, asserted). trait(s000100, p000090, false, asserted). trait(s000100, p000130, true, asserted). trait(s000100, p000181, true, asserted). trait(s000100, p000199, false, asserted). trait(s000100, p000200, true, asserted). trait(s000101, p000006, true, asserted). trait(s000101, p000022, false, asserted). trait(s000101, p000023, false, asserted). trait(s000101, p000026, true, asserted). trait(s000101, p000044, false, asserted). trait(s000101, p000050, true, asserted). trait(s000101, p000051, false, asserted). trait(s000101, p000087, true, asserted). trait(s000101, p000140, false, asserted). trait(s000101, p000163, false, asserted). trait(s000101, p000191, false, asserted). trait(s000101, p000214, false, asserted). trait(s000101, p000227, true, asserted). trait(s000102, p000023, false, asserted). trait(s000102, p000029, false, asserted). trait(s000102, p000055, true, asserted). trait(s000102, p000087, true, asserted). trait(s000102, p000093, false, asserted). trait(s000102, p000166, true, asserted). trait(s000102, p000218, true, asserted). trait(s000102, p000227, true, asserted). trait(s000103, p000003, true, asserted). trait(s000103, p000014, false, asserted). trait(s000103, p000016, true, asserted). trait(s000103, p000020, false, asserted). trait(s000103, p000026, true, asserted). trait(s000103, p000042, true, asserted). trait(s000103, p000081, false, asserted). trait(s000103, p000086, true, asserted). trait(s000103, p000089, true, asserted). trait(s000103, p000103, false, asserted). trait(s000103, p000163, false, asserted). trait(s000103, p000172, false, asserted). trait(s000103, p000197, false, asserted). trait(s000103, p000199, true, asserted). trait(s000103, p000214, false, asserted). trait(s000103, p000215, false, asserted). trait(s000104, p000006, true, asserted). trait(s000104, p000013, false, asserted). trait(s000104, p000016, false, asserted). trait(s000104, p000019, true, asserted). trait(s000104, p000020, false, asserted). trait(s000104, p000023, true, asserted). trait(s000104, p000029, false, asserted). trait(s000104, p000036, false, asserted). trait(s000104, p000041, false, asserted). trait(s000104, p000046, false, asserted). trait(s000104, p000056, false, asserted). trait(s000104, p000059, true, asserted). trait(s000104, p000081, false, asserted). trait(s000104, p000163, false, asserted). trait(s000104, p000209, true, asserted). trait(s000104, p000214, false, asserted). trait(s000105, p000003, true, asserted). trait(s000105, p000008, false, asserted). trait(s000105, p000016, true, asserted). trait(s000105, p000026, true, asserted). trait(s000105, p000028, true, asserted). trait(s000105, p000058, false, asserted). trait(s000105, p000199, true, asserted). trait(s000107, p000008, false, asserted). trait(s000107, p000022, false, asserted). trait(s000107, p000023, false, asserted). trait(s000107, p000029, false, asserted). trait(s000107, p000036, false, asserted). trait(s000107, p000041, false, asserted). trait(s000107, p000046, false, asserted). trait(s000107, p000065, true, asserted). trait(s000107, p000087, true, asserted). trait(s000107, p000120, false, asserted). trait(s000107, p000162, true, asserted). trait(s000107, p000166, true, asserted). trait(s000107, p000187, false, asserted). trait(s000107, p000191, true, asserted). trait(s000107, p000214, false, asserted). trait(s000107, p000227, true, asserted). trait(s000108, p000008, false, asserted). trait(s000108, p000016, true, asserted). trait(s000108, p000020, false, asserted). trait(s000108, p000026, true, asserted). trait(s000108, p000028, false, asserted). trait(s000108, p000049, true, asserted). trait(s000108, p000050, true, asserted). trait(s000108, p000051, false, asserted). trait(s000108, p000059, true, asserted). trait(s000108, p000081, false, asserted). trait(s000108, p000129, false, asserted). trait(s000108, p000139, true, asserted). trait(s000108, p000163, false, asserted). trait(s000108, p000167, true, asserted). trait(s000109, p000006, true, asserted). trait(s000109, p000016, false, asserted). trait(s000109, p000021, true, asserted). trait(s000109, p000026, true, asserted). trait(s000109, p000049, true, asserted). trait(s000109, p000081, false, asserted). trait(s000109, p000139, true, asserted). trait(s000109, p000197, false, asserted). trait(s000110, p000003, true, asserted). trait(s000110, p000011, false, asserted). trait(s000110, p000022, true, asserted). trait(s000110, p000026, true, asserted). trait(s000110, p000032, false, asserted). trait(s000110, p000049, true, asserted). trait(s000110, p000051, true, asserted). trait(s000110, p000093, true, asserted). trait(s000110, p000103, true, asserted). trait(s000110, p000117, true, asserted). trait(s000110, p000132, true, asserted). trait(s000110, p000136, true, asserted). trait(s000110, p000163, false, asserted). trait(s000110, p000194, true, asserted). trait(s000110, p000227, true, asserted). trait(s000111, p000003, true, asserted). trait(s000111, p000022, false, asserted). trait(s000111, p000049, true, asserted). trait(s000111, p000050, true, asserted). trait(s000111, p000052, false, asserted). trait(s000111, p000057, true, asserted). trait(s000111, p000136, true, asserted). trait(s000111, p000203, true, asserted). trait(s000112, p000022, false, asserted). trait(s000112, p000023, true, asserted). trait(s000112, p000036, false, asserted). trait(s000112, p000041, false, asserted). trait(s000112, p000046, false, asserted). trait(s000112, p000086, false, asserted). trait(s000112, p000097, false, asserted). trait(s000112, p000120, false, asserted). trait(s000112, p000139, false, asserted). trait(s000112, p000184, true, asserted). trait(s000113, p000017, true, asserted). trait(s000113, p000023, false, asserted). trait(s000113, p000037, false, asserted). trait(s000113, p000041, false, asserted). trait(s000113, p000046, false, asserted). trait(s000113, p000089, true, asserted). trait(s000113, p000116, true, asserted). trait(s000113, p000184, true, asserted). trait(s000113, p000189, true, asserted). trait(s000113, p000204, true, asserted). trait(s000113, p000205, false, asserted). trait(s000113, p000229, true, asserted). trait(s000114, p000016, true, asserted). trait(s000114, p000037, false, asserted). trait(s000114, p000041, false, asserted). trait(s000114, p000046, false, asserted). trait(s000114, p000089, true, asserted). trait(s000114, p000184, true, asserted). trait(s000114, p000204, true, asserted). trait(s000114, p000229, true, asserted). trait(s000115, p000016, true, asserted). trait(s000115, p000038, true, asserted). trait(s000115, p000041, false, asserted). trait(s000115, p000089, false, asserted). trait(s000115, p000184, true, asserted). trait(s000115, p000200, false, asserted). trait(s000115, p000204, true, asserted). trait(s000116, p000017, true, asserted). trait(s000116, p000023, false, asserted). trait(s000116, p000037, false, asserted). trait(s000116, p000041, false, asserted). trait(s000116, p000046, false, asserted). trait(s000116, p000055, true, asserted). trait(s000116, p000089, false, asserted). trait(s000116, p000184, true, asserted). trait(s000116, p000189, true, asserted). trait(s000116, p000204, true, asserted). trait(s000116, p000205, false, asserted). trait(s000116, p000229, true, asserted). trait(s000117, p000016, true, asserted). trait(s000117, p000041, false, asserted). trait(s000117, p000089, true, asserted). trait(s000117, p000184, true, asserted). trait(s000117, p000199, true, asserted). trait(s000117, p000204, true, asserted). trait(s000118, p000001, true, asserted). trait(s000118, p000002, false, asserted). trait(s000118, p000014, true, asserted). trait(s000118, p000016, true, asserted). trait(s000118, p000037, true, asserted). trait(s000118, p000041, false, asserted). trait(s000118, p000044, false, asserted). trait(s000118, p000056, true, asserted). trait(s000118, p000057, true, asserted). trait(s000118, p000129, false, asserted). trait(s000118, p000202, true, asserted). trait(s000118, p000204, true, asserted). trait(s000119, p000017, true, asserted). trait(s000119, p000023, false, asserted). trait(s000119, p000037, false, asserted). trait(s000119, p000041, false, asserted). trait(s000119, p000046, false, asserted). trait(s000119, p000055, true, asserted). trait(s000119, p000089, false, asserted). trait(s000119, p000184, true, asserted). trait(s000119, p000189, true, asserted). trait(s000119, p000204, true, asserted). trait(s000119, p000205, false, asserted). trait(s000120, p000017, true, asserted). trait(s000120, p000023, false, asserted). trait(s000120, p000041, false, asserted). trait(s000120, p000046, false, asserted). trait(s000120, p000089, false, asserted). trait(s000120, p000184, true, asserted). trait(s000120, p000189, false, asserted). trait(s000120, p000204, true, asserted). trait(s000120, p000205, false, asserted). trait(s000120, p000206, true, asserted). trait(s000121, p000036, true, asserted). trait(s000121, p000046, true, asserted). trait(s000121, p000065, true, asserted). trait(s000121, p000184, true, asserted). trait(s000122, p000003, true, asserted). trait(s000122, p000004, false, asserted). trait(s000122, p000010, false, asserted). trait(s000122, p000028, true, asserted). trait(s000122, p000036, true, asserted). trait(s000122, p000057, true, asserted). trait(s000122, p000082, true, asserted). trait(s000122, p000129, false, asserted). trait(s000122, p000204, false, asserted). trait(s000123, p000004, true, asserted). trait(s000123, p000010, false, asserted). trait(s000123, p000027, true, asserted). trait(s000123, p000041, false, asserted). trait(s000123, p000045, true, asserted). trait(s000123, p000057, true, asserted). trait(s000123, p000129, false, asserted). trait(s000124, p000005, false, asserted). trait(s000124, p000027, true, asserted). trait(s000124, p000048, true, asserted). trait(s000124, p000049, false, asserted). trait(s000124, p000051, false, asserted). trait(s000124, p000057, true, asserted). trait(s000124, p000129, false, asserted). trait(s000124, p000139, false, asserted). trait(s000125, p000022, false, asserted). trait(s000125, p000023, false, asserted). trait(s000125, p000041, false, asserted). trait(s000125, p000045, true, asserted). trait(s000125, p000065, true, asserted). trait(s000125, p000129, false, asserted). trait(s000125, p000184, true, asserted). trait(s000126, p000016, false, asserted). trait(s000126, p000047, true, asserted). trait(s000126, p000048, false, asserted). trait(s000126, p000065, true, asserted). trait(s000126, p000139, false, asserted). trait(s000126, p000184, true, asserted). trait(s000127, p000016, true, asserted). trait(s000127, p000044, false, asserted). trait(s000127, p000046, true, asserted). trait(s000127, p000086, true, asserted). trait(s000127, p000089, true, asserted). trait(s000127, p000184, true, asserted). trait(s000128, p000029, true, asserted). trait(s000128, p000044, true, asserted). trait(s000128, p000045, false, asserted). trait(s000128, p000129, false, asserted). trait(s000128, p000184, true, asserted). trait(s000129, p000042, true, asserted). trait(s000129, p000055, true, asserted). trait(s000129, p000086, false, asserted). trait(s000129, p000089, false, asserted). trait(s000129, p000166, true, asserted). trait(s000129, p000200, false, asserted). trait(s000129, p000205, true, asserted). trait(s000129, p000227, true, asserted). trait(s000130, p000009, true, asserted). trait(s000130, p000010, false, asserted). trait(s000130, p000021, false, asserted). trait(s000130, p000036, true, asserted). trait(s000130, p000065, true, asserted). trait(s000130, p000068, false, asserted). trait(s000130, p000129, false, asserted). trait(s000131, p000050, true, asserted). trait(s000131, p000063, false, asserted). trait(s000131, p000080, true, asserted). trait(s000131, p000111, true, asserted). trait(s000131, p000183, true, asserted). trait(s000131, p000203, true, asserted). trait(s000131, p000214, false, asserted). trait(s000132, p000048, true, asserted). trait(s000132, p000056, true, asserted). trait(s000132, p000065, true, asserted). trait(s000132, p000066, false, asserted). trait(s000132, p000184, true, asserted). trait(s000133, p000023, false, asserted). trait(s000133, p000029, false, asserted). trait(s000133, p000050, true, asserted). trait(s000133, p000051, true, asserted). trait(s000133, p000055, true, asserted). trait(s000133, p000065, true, asserted). trait(s000133, p000093, false, asserted). trait(s000133, p000166, true, asserted). trait(s000133, p000203, true, asserted). trait(s000133, p000227, true, asserted). trait(s000134, p000042, true, asserted). trait(s000134, p000055, true, asserted). trait(s000134, p000065, true, asserted). trait(s000134, p000086, false, asserted). trait(s000134, p000089, false, asserted). trait(s000134, p000166, true, asserted). trait(s000134, p000199, true, asserted). trait(s000134, p000205, true, asserted). trait(s000134, p000227, true, asserted). trait(s000135, p000030, true, asserted). trait(s000135, p000043, true, asserted). trait(s000135, p000063, false, asserted). trait(s000135, p000080, true, asserted). trait(s000135, p000086, false, asserted). trait(s000135, p000089, false, asserted). trait(s000135, p000132, true, asserted). trait(s000135, p000166, true, asserted). trait(s000135, p000187, false, asserted). trait(s000135, p000199, true, asserted). trait(s000135, p000205, true, asserted). trait(s000135, p000206, true, asserted). trait(s000135, p000214, false, asserted). trait(s000135, p000227, true, asserted). trait(s000136, p000008, true, asserted). trait(s000136, p000015, false, asserted). trait(s000136, p000019, false, asserted). trait(s000136, p000031, false, asserted). trait(s000136, p000032, true, asserted). trait(s000136, p000059, false, asserted). trait(s000136, p000088, false, asserted). trait(s000136, p000139, true, asserted). trait(s000136, p000164, true, asserted). trait(s000136, p000191, false, asserted). trait(s000136, p000227, true, asserted). trait(s000137, p000007, true, asserted). trait(s000137, p000015, false, asserted). trait(s000137, p000031, true, asserted). trait(s000137, p000032, true, asserted). trait(s000137, p000059, true, asserted). trait(s000137, p000088, false, asserted). trait(s000137, p000112, true, asserted). trait(s000137, p000129, false, asserted). trait(s000137, p000163, false, asserted). trait(s000137, p000227, true, asserted). trait(s000138, p000008, false, asserted). trait(s000138, p000114, false, asserted). trait(s000138, p000127, true, asserted). trait(s000138, p000139, true, asserted). trait(s000138, p000147, true, asserted). trait(s000138, p000162, false, asserted). trait(s000138, p000164, true, asserted). trait(s000138, p000207, true, asserted). trait(s000139, p000042, true, asserted). trait(s000139, p000063, false, asserted). trait(s000139, p000067, true, asserted). trait(s000139, p000068, false, asserted). trait(s000139, p000080, true, asserted). trait(s000139, p000089, false, asserted). trait(s000139, p000111, true, asserted). trait(s000139, p000183, true, asserted). trait(s000139, p000200, false, asserted). trait(s000139, p000204, true, asserted). trait(s000139, p000205, false, asserted). trait(s000139, p000206, true, asserted). trait(s000139, p000214, false, asserted). trait(s000140, p000023, false, asserted). trait(s000140, p000031, true, asserted). trait(s000140, p000032, false, asserted). trait(s000140, p000037, false, asserted). trait(s000140, p000039, false, asserted). trait(s000140, p000041, true, asserted). trait(s000140, p000046, false, asserted). trait(s000140, p000060, true, asserted). trait(s000140, p000064, true, asserted). trait(s000140, p000065, true, asserted). trait(s000140, p000073, true, asserted). trait(s000140, p000084, false, asserted). trait(s000140, p000086, false, asserted). trait(s000140, p000089, true, asserted). trait(s000140, p000098, true, asserted). trait(s000140, p000101, true, asserted). trait(s000140, p000131, true, asserted). trait(s000140, p000143, false, asserted). trait(s000140, p000169, false, asserted). trait(s000140, p000171, true, asserted). trait(s000140, p000173, true, asserted). trait(s000140, p000180, true, asserted). trait(s000140, p000183, true, asserted). trait(s000140, p000189, true, asserted). trait(s000140, p000204, false, asserted). trait(s000140, p000210, true, asserted). trait(s000140, p000219, false, asserted). trait(s000140, p000229, true, asserted). trait(s000141, p000016, true, asserted). trait(s000141, p000051, true, asserted). trait(s000141, p000061, false, asserted). trait(s000141, p000103, false, asserted). trait(s000141, p000114, true, asserted). trait(s000141, p000133, true, asserted). trait(s000141, p000151, true, asserted). trait(s000141, p000174, false, asserted). trait(s000141, p000215, false, asserted). trait(s000142, p000048, true, asserted). trait(s000142, p000050, false, asserted). trait(s000142, p000056, true, asserted). trait(s000142, p000066, false, asserted). trait(s000142, p000087, true, asserted). trait(s000142, p000184, true, asserted). trait(s000143, p000011, true, asserted). trait(s000143, p000017, true, asserted). trait(s000143, p000023, false, asserted). trait(s000143, p000027, false, asserted). trait(s000143, p000028, true, asserted). trait(s000143, p000037, true, asserted). trait(s000143, p000042, true, asserted). trait(s000143, p000064, true, asserted). trait(s000143, p000068, false, asserted). trait(s000143, p000089, false, asserted). trait(s000143, p000166, true, asserted). trait(s000143, p000182, true, asserted). trait(s000143, p000200, false, asserted). trait(s000144, p000001, true, asserted). trait(s000144, p000078, true, asserted). trait(s000144, p000126, false, asserted). trait(s000144, p000176, true, asserted). trait(s000144, p000196, false, asserted). trait(s000144, p000201, true, asserted). trait(s000144, p000202, true, asserted). trait(s000144, p000204, false, asserted). trait(s000145, p000002, true, asserted). trait(s000145, p000039, true, asserted). trait(s000145, p000044, true, asserted). trait(s000145, p000086, true, asserted). trait(s000145, p000089, true, asserted). trait(s000145, p000101, false, asserted). trait(s000145, p000126, true, asserted). trait(s000145, p000138, false, asserted). trait(s000145, p000181, true, asserted). trait(s000146, p000027, true, asserted). trait(s000146, p000050, true, asserted). trait(s000146, p000053, true, asserted). trait(s000146, p000056, true, asserted). trait(s000146, p000065, true, asserted). trait(s000146, p000066, false, asserted). trait(s000146, p000087, true, asserted). trait(s000147, p000017, false, asserted). trait(s000147, p000046, true, asserted). trait(s000147, p000056, false, asserted). trait(s000147, p000065, true, asserted). trait(s000147, p000068, true, asserted). trait(s000147, p000097, true, asserted). trait(s000147, p000114, true, asserted). trait(s000147, p000150, false, asserted). trait(s000148, p000017, false, asserted). trait(s000148, p000046, true, asserted). trait(s000148, p000056, false, asserted). trait(s000148, p000065, true, asserted). trait(s000148, p000097, true, asserted). trait(s000148, p000114, true, asserted). trait(s000148, p000150, true, asserted). trait(s000149, p000015, false, asserted). trait(s000149, p000019, true, asserted). trait(s000149, p000061, true, asserted). trait(s000149, p000062, false, asserted). trait(s000149, p000065, true, asserted). trait(s000149, p000076, true, asserted). trait(s000149, p000089, true, asserted). trait(s000149, p000133, true, asserted). trait(s000149, p000155, true, asserted). trait(s000149, p000186, true, asserted). trait(s000149, p000199, false, asserted). trait(s000149, p000200, true, asserted). trait(s000150, p000001, true, asserted). trait(s000150, p000051, false, asserted). trait(s000150, p000089, false, asserted). trait(s000150, p000090, true, asserted). trait(s000150, p000107, true, asserted). trait(s000150, p000181, true, asserted). trait(s000150, p000192, false, asserted). trait(s000150, p000196, true, asserted). trait(s000150, p000201, true, asserted). trait(s000151, p000001, true, asserted). trait(s000151, p000089, false, asserted). trait(s000151, p000090, false, asserted). trait(s000151, p000130, true, asserted). trait(s000151, p000138, false, asserted). trait(s000151, p000139, false, asserted). trait(s000151, p000181, true, asserted). trait(s000151, p000192, false, asserted). trait(s000151, p000196, true, asserted). trait(s000151, p000201, true, asserted). trait(s000151, p000202, true, asserted). trait(s000152, p000039, true, asserted). trait(s000152, p000073, true, asserted). trait(s000152, p000075, false, asserted). trait(s000152, p000181, true, asserted). trait(s000152, p000202, true, asserted). trait(s000152, p000204, false, asserted). trait(s000152, p000226, true, asserted). trait(s000153, p000015, false, asserted). trait(s000153, p000019, false, asserted). trait(s000153, p000061, true, asserted). trait(s000153, p000062, false, asserted). trait(s000153, p000065, true, asserted). trait(s000153, p000076, true, asserted). trait(s000153, p000083, false, asserted). trait(s000153, p000086, true, asserted). trait(s000153, p000089, false, asserted). trait(s000153, p000133, true, asserted). trait(s000153, p000155, true, asserted). trait(s000153, p000162, false, asserted). trait(s000153, p000186, true, asserted). trait(s000153, p000198, true, asserted). trait(s000153, p000199, false, asserted). trait(s000153, p000200, true, asserted). trait(s000154, p000061, false, asserted). trait(s000154, p000065, true, asserted). trait(s000154, p000091, true, asserted). trait(s000154, p000120, false, asserted). trait(s000154, p000151, true, asserted). trait(s000154, p000203, true, asserted). trait(s000154, p000210, true, asserted). trait(s000155, p000072, true, asserted). trait(s000155, p000114, true, asserted). trait(s000155, p000133, true, asserted). trait(s000155, p000147, true, asserted). trait(s000155, p000151, true, asserted). trait(s000155, p000174, true, asserted). trait(s000155, p000203, true, asserted). trait(s000156, p000050, true, asserted). trait(s000156, p000051, true, asserted). trait(s000156, p000057, true, asserted). trait(s000156, p000080, false, asserted). trait(s000156, p000104, true, asserted). trait(s000156, p000111, true, asserted). trait(s000156, p000183, true, asserted). trait(s000157, p000002, true, asserted). trait(s000157, p000029, false, asserted). trait(s000157, p000059, true, asserted). trait(s000157, p000114, false, asserted). trait(s000157, p000120, false, asserted). trait(s000157, p000147, true, asserted). trait(s000157, p000151, true, asserted). trait(s000157, p000154, false, asserted). trait(s000157, p000172, true, asserted). trait(s000157, p000174, false, asserted). trait(s000157, p000203, true, asserted). trait(s000158, p000016, true, asserted). trait(s000158, p000095, true, asserted). trait(s000158, p000097, true, asserted). trait(s000158, p000125, true, asserted). trait(s000159, p000027, true, asserted). trait(s000159, p000043, true, asserted). trait(s000159, p000073, true, asserted). trait(s000159, p000075, false, asserted). trait(s000159, p000089, true, asserted). trait(s000159, p000130, true, asserted). trait(s000159, p000139, false, asserted). trait(s000159, p000196, true, asserted). trait(s000159, p000202, true, asserted). trait(s000160, p000073, true, asserted). trait(s000160, p000139, false, asserted). trait(s000160, p000181, true, asserted). trait(s000160, p000196, true, asserted). trait(s000160, p000208, true, asserted). trait(s000161, p000016, true, asserted). trait(s000161, p000039, true, asserted). trait(s000161, p000080, true, asserted). trait(s000161, p000099, true, asserted). trait(s000161, p000181, true, asserted). trait(s000162, p000125, false, asserted). trait(s000162, p000137, false, asserted). trait(s000163, p000137, true, asserted). trait(s000164, p000001, false, asserted). trait(s000164, p000107, true, asserted). trait(s000164, p000139, true, asserted). trait(s000164, p000175, true, asserted). trait(s000164, p000176, false, asserted). trait(s000164, p000185, true, asserted). trait(s000164, p000186, true, asserted). trait(s000165, p000016, true, asserted). trait(s000165, p000051, true, asserted). trait(s000165, p000061, true, asserted). trait(s000165, p000084, true, asserted). trait(s000165, p000085, false, asserted). trait(s000165, p000101, false, asserted). trait(s000165, p000138, false, asserted). trait(s000165, p000143, false, asserted). trait(s000165, p000169, false, asserted). trait(s000165, p000171, true, asserted). trait(s000165, p000183, true, asserted). trait(s000165, p000210, true, asserted). trait(s000165, p000216, true, asserted). trait(s000166, p000073, true, asserted). trait(s000166, p000181, true, asserted). trait(s000166, p000196, true, asserted). trait(s000166, p000202, true, asserted). trait(s000166, p000208, false, asserted). trait(s000166, p000226, true, asserted). trait(s000167, p000051, false, asserted). trait(s000167, p000073, true, asserted). trait(s000167, p000089, true, asserted). trait(s000167, p000090, false, asserted). trait(s000167, p000139, true, asserted). trait(s000167, p000181, true, asserted). trait(s000167, p000196, true, asserted). trait(s000167, p000202, true, asserted). trait(s000167, p000208, false, asserted). trait(s000168, p000016, true, asserted). trait(s000168, p000086, true, asserted). trait(s000168, p000089, true, asserted). trait(s000168, p000120, false, asserted). trait(s000168, p000123, true, asserted). trait(s000168, p000200, false, asserted). trait(s000169, p000016, true, asserted). trait(s000169, p000086, true, asserted). trait(s000169, p000087, false, asserted). trait(s000169, p000089, false, asserted). trait(s000169, p000120, false, asserted). trait(s000169, p000123, true, asserted). trait(s000169, p000137, false, asserted). trait(s000169, p000184, true, asserted). trait(s000169, p000199, false, asserted). trait(s000169, p000200, true, asserted). trait(s000170, p000003, true, asserted). trait(s000170, p000016, true, asserted). trait(s000170, p000036, true, asserted). trait(s000170, p000065, true, asserted). trait(s000170, p000087, true, asserted). trait(s000170, p000155, true, asserted). trait(s000170, p000200, false, asserted). trait(s000170, p000204, false, asserted). trait(s000171, p000018, true, asserted). trait(s000171, p000028, true, asserted). trait(s000171, p000051, true, asserted). trait(s000171, p000065, true, asserted). trait(s000171, p000166, true, asserted). trait(s000172, p000003, true, asserted). trait(s000172, p000078, false, asserted). trait(s000172, p000138, true, asserted). trait(s000173, p000003, true, asserted). trait(s000173, p000013, false, asserted). trait(s000173, p000023, true, asserted). trait(s000173, p000059, true, asserted). trait(s000173, p000163, false, asserted). trait(s000173, p000199, false, asserted). trait(s000173, p000200, true, asserted). trait(s000173, p000214, false, asserted). trait(s000174, p000030, false, asserted). trait(s000174, p000067, true, asserted). trait(s000174, p000082, true, asserted). trait(s000174, p000088, true, asserted). trait(s000174, p000112, true, asserted). trait(s000174, p000163, true, asserted). trait(s000175, p000010, false, asserted). trait(s000175, p000022, false, asserted). trait(s000175, p000026, true, asserted). trait(s000175, p000042, true, asserted). trait(s000175, p000065, true, asserted). trait(s000175, p000079, true, asserted). trait(s000175, p000086, true, asserted). trait(s000175, p000089, false, asserted). trait(s000175, p000095, true, asserted). trait(s000175, p000166, true, asserted). trait(s000175, p000172, false, asserted). trait(s000175, p000204, false, asserted). trait(s000175, p000227, true, asserted). trait(s000176, p000022, false, asserted). trait(s000176, p000027, true, asserted). trait(s000176, p000053, true, asserted). trait(s000176, p000087, true, asserted). trait(s000176, p000097, false, asserted). trait(s000176, p000120, false, asserted). trait(s000176, p000123, true, asserted). trait(s000176, p000199, true, asserted). trait(s000176, p000204, false, asserted). trait(s000177, p000003, true, asserted). trait(s000177, p000004, false, asserted). trait(s000177, p000010, true, asserted). trait(s000177, p000051, true, asserted). trait(s000177, p000114, true, asserted). trait(s000177, p000147, true, asserted). trait(s000178, p000004, true, asserted). trait(s000178, p000010, false, asserted). trait(s000178, p000048, true, asserted). trait(s000178, p000051, true, asserted). trait(s000178, p000114, true, asserted). trait(s000178, p000147, true, asserted). trait(s000179, p000005, true, asserted). trait(s000179, p000026, false, asserted). trait(s000179, p000087, true, asserted). trait(s000179, p000114, true, asserted). trait(s000179, p000131, true, asserted). trait(s000179, p000149, false, asserted). trait(s000180, p000006, true, asserted). trait(s000180, p000050, false, asserted). trait(s000180, p000051, true, asserted). trait(s000180, p000065, true, asserted). trait(s000180, p000197, false, asserted). trait(s000181, p000006, true, asserted). trait(s000181, p000017, true, asserted). trait(s000181, p000028, false, asserted). trait(s000181, p000111, false, asserted). trait(s000181, p000114, true, asserted). trait(s000181, p000126, false, asserted). trait(s000182, p000056, true, asserted). trait(s000182, p000065, true, asserted). trait(s000182, p000087, true, asserted). trait(s000182, p000093, true, asserted). trait(s000182, p000133, true, asserted). trait(s000182, p000146, true, asserted). trait(s000182, p000166, true, asserted). trait(s000182, p000227, true, asserted). trait(s000183, p000039, true, asserted). trait(s000183, p000065, true, asserted). trait(s000183, p000081, false, asserted). trait(s000183, p000103, true, asserted). trait(s000183, p000167, false, asserted). trait(s000184, p000001, false, asserted). trait(s000184, p000036, false, asserted). trait(s000184, p000078, true, asserted). trait(s000184, p000086, true, asserted). trait(s000184, p000176, true, asserted). trait(s000184, p000185, true, asserted). trait(s000185, p000010, true, asserted). trait(s000185, p000016, true, asserted). trait(s000185, p000047, true, asserted). trait(s000185, p000051, true, asserted). trait(s000185, p000057, true, asserted). trait(s000185, p000061, true, asserted). trait(s000185, p000082, true, asserted). trait(s000185, p000101, false, asserted). trait(s000185, p000130, false, asserted). trait(s000186, p000010, true, asserted). trait(s000186, p000016, true, asserted). trait(s000186, p000051, true, asserted). trait(s000186, p000057, true, asserted). trait(s000186, p000084, false, asserted). trait(s000186, p000100, true, asserted). trait(s000186, p000187, false, asserted). trait(s000187, p000001, true, asserted). trait(s000187, p000045, false, asserted). trait(s000187, p000126, false, asserted). trait(s000187, p000175, true, asserted). trait(s000187, p000176, false, asserted). trait(s000187, p000196, true, asserted). trait(s000188, p000010, false, asserted). trait(s000188, p000036, false, asserted). trait(s000188, p000175, true, asserted). trait(s000188, p000176, false, asserted). trait(s000188, p000203, true, asserted). trait(s000189, p000052, true, asserted). trait(s000189, p000175, true, asserted). trait(s000189, p000176, false, asserted). trait(s000190, p000129, true, asserted). trait(s000190, p000175, true, asserted). trait(s000190, p000176, false, asserted). trait(s000191, p000014, false, asserted). trait(s000191, p000022, false, asserted). trait(s000191, p000023, false, asserted). trait(s000191, p000029, false, asserted). trait(s000191, p000049, false, asserted). trait(s000191, p000050, true, asserted). trait(s000191, p000051, true, asserted). trait(s000191, p000081, false, asserted). trait(s000191, p000114, true, asserted). trait(s000191, p000151, true, asserted). trait(s000191, p000167, false, asserted). trait(s000191, p000172, false, asserted). trait(s000191, p000173, true, asserted). trait(s000192, p000016, true, asserted). trait(s000192, p000027, true, asserted). trait(s000192, p000036, true, asserted). trait(s000192, p000037, false, asserted). trait(s000192, p000041, false, asserted). trait(s000192, p000044, false, asserted). trait(s000192, p000060, false, asserted). trait(s000192, p000061, true, asserted). trait(s000192, p000064, true, asserted). trait(s000192, p000065, true, asserted). trait(s000192, p000068, false, asserted). trait(s000192, p000099, false, asserted). trait(s000192, p000101, true, asserted). trait(s000192, p000120, true, asserted). trait(s000192, p000169, false, asserted). trait(s000193, p000129, true, asserted). trait(s000193, p000181, true, asserted). trait(s000194, p000065, true, asserted). trait(s000194, p000129, true, asserted). trait(s000195, p000002, true, asserted). trait(s000195, p000016, false, asserted). trait(s000195, p000020, true, asserted). trait(s000195, p000026, true, asserted). trait(s000195, p000028, true, asserted). trait(s000195, p000051, true, asserted). trait(s000195, p000099, false, asserted). trait(s000195, p000114, true, asserted). trait(s000196, p000008, true, asserted). trait(s000196, p000016, true, asserted). trait(s000196, p000037, true, asserted). trait(s000196, p000041, true, asserted). trait(s000196, p000042, false, asserted). trait(s000196, p000061, false, asserted). trait(s000196, p000065, true, asserted). trait(s000196, p000081, false, asserted). trait(s000196, p000120, true, asserted). trait(s000196, p000174, false, asserted). trait(s000196, p000204, false, asserted). trait(s000197, p000007, true, asserted). trait(s000197, p000026, true, asserted). trait(s000197, p000053, false, asserted). trait(s000197, p000120, false, asserted). trait(s000197, p000123, true, asserted). trait(s000198, p000016, false, asserted). trait(s000198, p000068, false, asserted). trait(s000198, p000097, true, asserted). trait(s000198, p000120, true, asserted). trait(s000198, p000122, true, asserted). trait(s000198, p000133, false, asserted). trait(s000198, p000139, true, asserted). trait(s000199, p000001, true, asserted). trait(s000199, p000089, false, asserted). trait(s000199, p000094, true, asserted). trait(s000199, p000181, true, asserted). trait(s000199, p000196, true, asserted). trait(s000199, p000219, true, asserted). trait(s000199, p000226, true, asserted). trait(s000200, p000001, true, asserted). trait(s000200, p000056, true, asserted). trait(s000200, p000089, false, asserted). trait(s000200, p000090, true, asserted). trait(s000200, p000181, true, asserted). trait(s000200, p000196, true, asserted). trait(s000200, p000208, true, asserted). trait(s000200, p000219, true, asserted). trait(s000201, p000016, true, asserted). trait(s000201, p000042, true, asserted). trait(s000201, p000089, false, asserted). trait(s000201, p000122, false, asserted). trait(s000201, p000184, true, asserted). trait(s000201, p000200, false, asserted). trait(s000201, p000204, true, asserted). trait(s000201, p000229, false, asserted). trait(s000202, p000023, false, asserted). trait(s000202, p000181, true, asserted). trait(s000202, p000184, true, asserted). trait(s000202, p000203, true, asserted). trait(s000203, p000001, false, asserted). trait(s000203, p000010, false, asserted). trait(s000203, p000107, false, asserted). trait(s000203, p000139, true, asserted). trait(s000203, p000175, true, asserted). trait(s000203, p000176, false, asserted). trait(s000203, p000196, true, asserted). trait(s000204, p000001, false, asserted). trait(s000204, p000010, false, asserted). trait(s000204, p000107, true, asserted). trait(s000204, p000139, false, asserted). trait(s000204, p000175, true, asserted). trait(s000204, p000176, false, asserted). trait(s000204, p000196, true, asserted). trait(s000205, p000016, true, asserted). trait(s000205, p000041, false, asserted). trait(s000205, p000086, false, asserted). trait(s000205, p000089, true, asserted). trait(s000205, p000184, true, asserted). trait(s000205, p000199, false, asserted). trait(s000205, p000200, true, asserted). trait(s000205, p000204, false, asserted). trait(s000206, p000010, true, asserted). trait(s000206, p000011, false, asserted). trait(s000206, p000017, true, asserted). trait(s000206, p000022, false, asserted). trait(s000206, p000037, false, asserted). trait(s000206, p000046, false, asserted). trait(s000206, p000068, false, asserted). trait(s000206, p000089, false, asserted). trait(s000206, p000110, true, asserted). trait(s000206, p000112, true, asserted). trait(s000206, p000120, true, asserted). trait(s000206, p000189, true, asserted). trait(s000206, p000205, true, asserted). trait(s000206, p000206, true, asserted). trait(s000207, p000023, false, asserted). trait(s000207, p000051, true, asserted). trait(s000207, p000062, false, asserted). trait(s000207, p000081, false, asserted). trait(s000207, p000109, true, asserted). trait(s000207, p000114, true, asserted). trait(s000207, p000167, false, asserted). trait(s000207, p000207, false, asserted). trait(s000207, p000217, true, asserted). trait(s000208, p000003, true, asserted). trait(s000208, p000008, false, asserted). trait(s000208, p000114, false, asserted). trait(s000208, p000146, true, asserted). trait(s000208, p000147, true, asserted). trait(s000208, p000164, true, asserted). trait(s000209, p000016, true, asserted). trait(s000209, p000038, true, asserted). trait(s000209, p000060, false, asserted). trait(s000209, p000061, true, asserted). trait(s000209, p000089, false, asserted). trait(s000209, p000095, false, asserted). trait(s000209, p000101, false, asserted). trait(s000209, p000110, true, asserted). trait(s000209, p000155, true, asserted). trait(s000209, p000169, false, asserted). trait(s000209, p000200, false, asserted). trait(s000209, p000204, false, asserted). trait(s000210, p000089, false, asserted). trait(s000210, p000095, true, asserted). trait(s000210, p000097, true, asserted). trait(s000210, p000125, true, asserted). trait(s000210, p000205, false, asserted). trait(s000211, p000002, true, asserted). trait(s000211, p000039, true, asserted). trait(s000211, p000081, false, asserted). trait(s000211, p000099, false, asserted). trait(s000211, p000101, false, asserted). trait(s000211, p000114, true, asserted). trait(s000211, p000141, false, asserted). trait(s000211, p000191, false, asserted). trait(s000211, p000208, true, asserted). trait(s000212, p000016, true, asserted). trait(s000212, p000028, true, asserted). trait(s000212, p000036, true, asserted). trait(s000212, p000046, true, asserted). trait(s000212, p000061, false, asserted). trait(s000212, p000076, false, asserted). trait(s000212, p000133, true, asserted). trait(s000213, p000001, true, asserted). trait(s000213, p000010, false, asserted). trait(s000213, p000013, false, asserted). trait(s000213, p000036, true, asserted). trait(s000213, p000078, true, asserted). trait(s000213, p000089, false, asserted). trait(s000213, p000176, true, asserted). trait(s000213, p000200, false, asserted). trait(s000213, p000204, false, asserted). trait(s000214, p000058, false, asserted). trait(s000214, p000059, true, asserted). trait(s000214, p000087, true, asserted). trait(s000214, p000114, false, asserted). trait(s000214, p000133, true, asserted). trait(s000214, p000174, true, asserted). trait(s000214, p000191, false, asserted). trait(s000214, p000206, true, asserted). trait(s000214, p000216, true, asserted). trait(s000214, p000227, true, asserted). trait(s000216, p000006, true, asserted). trait(s000216, p000026, true, asserted). trait(s000216, p000049, true, asserted). trait(s000216, p000065, true, asserted). trait(s000216, p000112, true, asserted). trait(s000216, p000227, true, asserted). trait(s000217, p000001, true, asserted). trait(s000217, p000093, true, asserted). trait(s000217, p000114, true, asserted). trait(s000217, p000196, true, asserted). trait(s000217, p000219, true, asserted). trait(s000217, p000226, true, asserted). trait(s000218, p000006, true, asserted). trait(s000218, p000013, false, asserted). trait(s000218, p000020, true, asserted). trait(s000218, p000023, true, asserted). trait(s000218, p000051, true, asserted). trait(s000218, p000062, false, asserted). trait(s000218, p000081, false, asserted). trait(s000218, p000114, true, asserted). trait(s000218, p000172, false, asserted). trait(s000219, p000052, true, asserted). trait(s000219, p000059, true, asserted). trait(s000219, p000163, false, asserted). trait(s000220, p000001, true, asserted). trait(s000220, p000026, false, asserted). trait(s000220, p000089, false, asserted). trait(s000220, p000090, true, asserted). trait(s000220, p000114, true, asserted). trait(s000220, p000196, true, asserted). trait(s000220, p000208, true, asserted). trait(s000221, p000001, true, asserted). trait(s000221, p000026, false, asserted). trait(s000221, p000028, true, asserted). trait(s000221, p000090, false, asserted). trait(s000221, p000114, true, asserted). trait(s000221, p000196, true, asserted). trait(s000221, p000208, true, asserted). trait(s001103, p000013, false, asserted). trait(s001103, p000029, true, asserted). trait(s001103, p000050, true, asserted). trait(s001103, p000059, false, asserted). trait(s001103, p000081, false, asserted). trait(s001103, p000087, true, asserted). trait(s001103, p000103, false, asserted). trait(s001103, p000140, false, asserted). trait(s001103, p000162, true, asserted). trait(s001103, p000164, true, asserted). trait(s001103, p000172, false, asserted). trait(s001103, p000191, false, asserted). trait(s001103, p000197, false, asserted). trait(s001103, p000206, true, asserted). trait(s001103, p000209, true, asserted). trait(s001103, p000214, false, asserted). trait(s001103, p000227, true, asserted). %%%%% THEOREMS trait(X, p000019, true, t000001) :- trait(X, p000016, true). trait(X, p000021, true, t000002) :- trait(X, p000019, true). trait(X, p000019, true, t000003) :- trait(X, p000020, true). trait(X, p000022, true, t000004) :- trait(X, p000019, true). trait(X, p000111, true, t000005) :- trait(X, p000025, true). trait(X, p000024, true, t000006) :- trait(X, p000016, true). trait(X, p000023, true, t000007) :- trait(X, p000024, true). trait(X, p000023, true, t000008) :- trait(X, p000025, true). trait(X, p000025, true, t000009) :- trait(X, p000016, true). trait(X, p000167, true, t000010) :- trait(X, p000049, true), trait(X, p000084, true). trait(X, p000182, true, t000011) :- trait(X, p000183, true). trait(X, p000030, true, t000012) :- trait(X, p000034, true). trait(X, p000145, true, t000013) :- trait(X, p000016, true). trait(X, p000031, true, t000014) :- trait(X, p000030, true). trait(X, p000032, true, t000015) :- trait(X, p000030, true). trait(X, p000033, true, t000016) :- trait(X, p000194, true). trait(X, p000032, true, t000017) :- trait(X, p000019, true). trait(X, p000033, true, t000018) :- trait(X, p000032, true). trait(X, p000019, true, t000019) :- trait(X, p000002, true), trait(X, p000021, true). trait(X, p000054, true, t000020) :- trait(X, p000121, true). trait(X, p000029, true, t000021) :- trait(X, p000026, true). trait(X, p000183, true, t000022) :- trait(X, p000136, true), trait(X, p000057, true). trait(X, p000121, true, t000023) :- trait(X, p000011, true), trait(X, p000054, true). trait(X, p000018, true, t000024) :- trait(X, p000083, true), trait(X, p000026, true). trait(X, p000123, true, t000025) :- trait(X, p000124, true). trait(X, p000007, true, t000026) :- trait(X, p000003, true), trait(X, p000025, true). trait(X, p000012, true, t000027) :- trait(X, p000023, true), trait(X, p000134, true). trait(X, p000005, true, t000028) :- trait(X, p000003, true), trait(X, p000019, true), trait(X, p000028, true). trait(X, p000117, true, t000029) :- trait(X, p000182, true). trait(X, p000145, true, t000030) :- trait(X, p000011, true), trait(X, p000018, true). trait(X, p000124, true, t000031) :- trait(X, p000123, true), trait(X, p000003, true), trait(X, p000027, true). trait(X, p000003, true, t000032) :- trait(X, p000004, true). trait(X, p000004, true, t000033) :- trait(X, p000005, true). trait(X, p000117, true, t000034) :- trait(X, p000118, true). trait(X, p000011, true, t000035) :- trait(X, p000012, true). trait(X, p000013, true, t000036) :- trait(X, p000014, true). trait(X, p000012, true, t000037) :- trait(X, p000013, true), trait(X, p000135, true). trait(X, p000037, true, t000038) :- trait(X, p000040, true). trait(X, p000037, true, t000039) :- trait(X, p000038, true). trait(X, p000036, true, t000040) :- trait(X, p000037, true). trait(X, p000137, false, t000041) :- trait(X, p000045, true). trait(X, p000002, true, t000042) :- trait(X, p000052, true). trait(X, p000047, true, t000043) :- trait(X, p000002, true), trait(X, p000051, true). trait(X, p000049, true, t000044) :- trait(X, p000185, true). trait(X, p000048, true, t000045) :- trait(X, p000049, true), trait(X, p000003, true). trait(X, p000047, true, t000046) :- trait(X, p000048, true). trait(X, p000046, true, t000047) :- trait(X, p000047, true). trait(X, p000009, true, t000048) :- trait(X, p000048, true). trait(X, p000002, true, t000049) :- trait(X, p000046, true). trait(X, p000059, true, t000050) :- trait(X, p000003, true), trait(X, p000026, true). trait(X, p000041, true, t000051) :- trait(X, p000039, true). trait(X, p000036, false, t000052) :- trait(X, p000047, true), trait(X, p000125, true). trait(X, p000025, true, t000053) :- trait(X, p000018, true), trait(X, p000023, true). trait(X, p000012, true, t000054) :- trait(X, p000050, true). trait(X, p000182, true, t000055) :- trait(X, p000074, true). trait(X, p000034, true, t000056) :- trait(X, p000121, true). trait(X, p000028, true, t000057) :- trait(X, p000144, true). trait(X, p000140, true, t000058) :- trait(X, p000023, true). trait(X, p000141, true, t000059) :- trait(X, p000079, true). trait(X, p000142, true, t000060) :- trait(X, p000140, true), trait(X, p000170, true). trait(X, p000074, true, t000061) :- trait(X, p000182, true), trait(X, p000005, true). trait(X, p000027, true, t000062) :- trait(X, p000054, true), trait(X, p000062, true). trait(X, p000042, true, t000063) :- trait(X, p000043, true). trait(X, p000041, true, t000064) :- trait(X, p000042, true). trait(X, p000055, true, t000065) :- trait(X, p000023, true), trait(X, p000053, true). trait(X, p000154, true, t000066) :- trait(X, p000133, true). trait(X, p000058, true, t000067) :- trait(X, p000057, true). trait(X, p000163, true, t000068) :- trait(X, p000058, true). trait(X, p000142, true, t000069) :- trait(X, p000148, true). trait(X, p000002, true, t000070) :- trait(X, p000142, true). trait(X, p000060, true, t000071) :- trait(X, p000039, true). trait(X, p000088, true, t000072) :- trait(X, p000040, true). trait(X, p000048, true, t000073) :- trait(X, p000050, true), trait(X, p000001, true). trait(X, p000017, true, t000074) :- trait(X, p000057, true). trait(X, p000058, false, t000075) :- trait(X, p000038, true), trait(X, p000125, true). trait(X, p000022, true, t000076) :- trait(X, p000060, true). trait(X, p000053, true, t000077) :- trait(X, p000055, true). trait(X, p000036, true, t000078) :- trait(X, p000044, true). trait(X, p000036, true, t000079) :- trait(X, p000060, true). trait(X, p000060, false, t000080) :- trait(X, p000009, true), trait(X, p000125, true). trait(X, p000024, true, t000081) :- trait(X, p000023, true), trait(X, p000100, true). trait(X, p000096, true, t000082) :- trait(X, p000122, true). trait(X, p000058, false, t000083) :- trait(X, p000043, true), trait(X, p000052, false). trait(X, p000005, true, t000084) :- trait(X, p000177, true). trait(X, p000055, true, t000085) :- trait(X, p000052, true). trait(X, p000004, true, t000086) :- trait(X, p000009, true). trait(X, p000218, true, t000087) :- trait(X, p000040, true). trait(X, p000046, false, t000088) :- trait(X, p000037, true), trait(X, p000125, true). trait(X, p000046, false, t000089) :- trait(X, p000042, true), trait(X, p000052, false). trait(X, p000054, true, t000090) :- trait(X, p000027, true). trait(X, p000040, true, t000091) :- trait(X, p000039, true), trait(X, p000013, true). trait(X, p000044, true, t000092) :- trait(X, p000045, true). trait(X, p000180, true, t000093) :- trait(X, p000182, true). trait(X, p000044, false, t000094) :- trait(X, p000038, true), trait(X, p000125, true). trait(X, p000037, true, t000095) :- trait(X, p000036, true), trait(X, p000042, true). trait(X, p000049, true, t000096) :- trait(X, p000039, true). trait(X, p000039, true, t000097) :- trait(X, p000049, true), trait(X, p000036, true). trait(X, p000002, true, t000098) :- trait(X, p000007, true). trait(X, p000007, true, t000099) :- trait(X, p000002, true), trait(X, p000013, true). trait(X, p000002, true, t000100) :- trait(X, p000008, true). trait(X, p000008, true, t000101) :- trait(X, p000002, true), trait(X, p000014, true). trait(X, p000174, true, t000102) :- trait(X, p000028, true). trait(X, p000172, true, t000103) :- trait(X, p000174, true). trait(X, p000002, true, t000104) :- trait(X, p000035, true). trait(X, p000035, true, t000105) :- trait(X, p000002, true), trait(X, p000034, true). trait(X, p000016, true, t000106) :- trait(X, p000018, true), trait(X, p000019, true). trait(X, p000016, true, t000107) :- trait(X, p000019, true), trait(X, p000083, true). trait(X, p000052, true, t000108) :- trait(X, p000047, true), trait(X, p000041, true). trait(X, p000129, true, t000109) :- trait(X, p000040, true), trait(X, p000135, true). trait(X, p000021, true, t000110) :- trait(X, p000013, true), trait(X, p000022, true). trait(X, p000001, true, t000111) :- trait(X, p000044, true), trait(X, p000176, true). trait(X, p000007, true, t000112) :- trait(X, p000008, true). trait(X, p000006, true, t000113) :- trait(X, p000007, true). trait(X, p000009, true, t000114) :- trait(X, p000006, true). trait(X, p000005, true, t000115) :- trait(X, p000006, true). trait(X, p000183, true, t000116) :- trait(X, p000179, true). trait(X, p000179, true, t000117) :- trait(X, p000183, true), trait(X, p000005, true). trait(X, p000002, true, t000118) :- trait(X, p000003, true). trait(X, p000001, true, t000119) :- trait(X, p000002, true). trait(X, p000154, true, t000120) :- trait(X, p000097, true). trait(X, p000017, true, t000121) :- trait(X, p000016, true). trait(X, p000018, true, t000122) :- trait(X, p000017, true). trait(X, p000030, true, t000123) :- trait(X, p000018, true), trait(X, p000032, true). trait(X, p000031, true, t000124) :- trait(X, p000018, true), trait(X, p000033, true). trait(X, p000133, true, t000125) :- trait(X, p000154, true), trait(X, p000016, true). trait(X, p000119, true, t000126) :- trait(X, p000016, true), trait(X, p000003, true), trait(X, p000049, true). trait(X, p000003, true, t000127) :- trait(X, p000086, true), trait(X, p000018, true), trait(X, p000084, true), trait(X, p000064, true). trait(X, p000062, true, t000128) :- trait(X, p000018, true). trait(X, p000062, true, t000129) :- trait(X, p000029, true). trait(X, p000028, true, t000130) :- trait(X, p000054, true). trait(X, p000133, true, t000131) :- trait(X, p000154, true), trait(X, p000036, true). trait(X, p000055, true, t000132) :- trait(X, p000053, true), trait(X, p000206, true). trait(X, p000063, true, t000133) :- trait(X, p000055, true). trait(X, p000056, false, t000134) :- trait(X, p000064, true), trait(X, p000137, false). trait(X, p000064, true, t000135) :- trait(X, p000206, true). trait(X, p000064, true, t000136) :- trait(X, p000023, true), trait(X, p000011, true). trait(X, p000118, true, t000137) :- trait(X, p000054, true). trait(X, p000058, false, t000138) :- trait(X, p000065, true). trait(X, p000163, true, t000139) :- trait(X, p000065, true). trait(X, p000018, true, t000140) :- trait(X, p000066, true). trait(X, p000070, true, t000141) :- trait(X, p000017, true). trait(X, p000061, true, t000142) :- trait(X, p000029, true), trait(X, p000012, true). trait(X, p000001, true, t000143) :- trait(X, p000126, true). trait(X, p000126, true, t000144) :- trait(X, p000052, true). trait(X, p000051, true, t000145) :- trait(X, p000126, true), trait(X, p000003, true). trait(X, p000011, true, t000146) :- trait(X, p000005, true). trait(X, p000117, true, t000147) :- trait(X, p000177, true). trait(X, p000005, true, t000148) :- trait(X, p000011, true), trait(X, p000001, true). trait(X, p000012, true, t000149) :- trait(X, p000006, true). trait(X, p000177, true, t000150) :- trait(X, p000117, true), trait(X, p000005, true). trait(X, p000006, true, t000151) :- trait(X, p000012, true), trait(X, p000001, true). trait(X, p000002, true, t000152) :- trait(X, p000067, true). trait(X, p000067, true, t000153) :- trait(X, p000002, true), trait(X, p000015, true). trait(X, p000008, true, t000154) :- trait(X, p000067, true). trait(X, p000010, true, t000155) :- trait(X, p000011, true). trait(X, p000014, true, t000156) :- trait(X, p000015, true). trait(X, p000007, true, t000157) :- trait(X, p000127, true). trait(X, p000032, false, t000158) :- trait(X, p000127, true). trait(X, p000127, true, t000159) :- trait(X, p000007, true), trait(X, p000032, false). trait(X, p000066, true, t000160) :- trait(X, p000068, true). trait(X, p000066, true, t000161) :- trait(X, p000069, true). trait(X, p000072, true, t000162) :- trait(X, p000070, true). trait(X, p000071, true, t000163) :- trait(X, p000017, true). trait(X, p000017, true, t000164) :- trait(X, p000011, true), trait(X, p000071, true). trait(X, p000071, true, t000165) :- trait(X, p000070, true). trait(X, p000070, true, t000166) :- trait(X, p000071, true). trait(X, p000070, true, t000167) :- trait(X, p000027, true), trait(X, p000069, true). trait(X, p000069, true, t000168) :- trait(X, p000072, true). trait(X, p000001, true, t000169) :- trait(X, p000051, true). trait(X, p000034, true, t000170) :- trait(X, p000134, true), trait(X, p000030, true). trait(X, p000039, false, t000171) :- trait(X, p000122, true), trait(X, p000125, true). trait(X, p000206, true, t000172) :- trait(X, p000122, true), trait(X, p000137, false). trait(X, p000073, true, t000173) :- trait(X, p000084, true). trait(X, p000001, true, t000174) :- trait(X, p000073, true). trait(X, p000027, true, t000175) :- trait(X, p000122, true), trait(X, p000018, true). trait(X, p000073, true, t000176) :- trait(X, p000075, true). trait(X, p000076, true, t000177) :- trait(X, p000121, true). trait(X, p000076, true, t000178) :- trait(X, p000077, true). trait(X, p000077, true, t000179) :- trait(X, p000003, true), trait(X, p000016, true), trait(X, p000076, true). trait(X, p000061, true, t000180) :- trait(X, p000015, true). trait(X, p000082, true, t000181) :- trait(X, p000053, true). trait(X, p000118, true, t000182) :- trait(X, p000178, true). trait(X, p000080, true, t000183) :- trait(X, p000028, true). trait(X, p000079, true, t000184) :- trait(X, p000080, true). trait(X, p000081, true, t000185) :- trait(X, p000079, true). trait(X, p000081, true, t000186) :- trait(X, p000093, true). trait(X, p000057, true, t000187) :- trait(X, p000078, true). trait(X, p000078, true, t000188) :- trait(X, p000020, true), trait(X, p000167, true). trait(X, p000027, true, t000189) :- trait(X, p000078, true). trait(X, p000163, true, t000190) :- trait(X, p000114, true). trait(X, p000057, false, t000191) :- trait(X, p000114, true). trait(X, p000148, true, t000192) :- trait(X, p000141, true), trait(X, p000171, true). trait(X, p000084, true, t000193) :- trait(X, p000003, true). trait(X, p000100, true, t000194) :- trait(X, p000148, true). trait(X, p000002, true, t000195) :- trait(X, p000084, true). trait(X, p000063, true, t000196) :- trait(X, p000023, true), trait(X, p000003, true). trait(X, p000178, true, t000197) :- trait(X, p000118, true), trait(X, p000005, true). trait(X, p000208, true, t000198) :- trait(X, p000078, true). trait(X, p000026, true, t000199) :- trait(X, p000116, true). trait(X, p000055, true, t000200) :- trait(X, p000116, true). trait(X, p000116, true, t000201) :- trait(X, p000026, true), trait(X, p000055, true). trait(X, p000121, true, t000202) :- trait(X, p000144, true), trait(X, p000134, true), trait(X, p000030, true). trait(X, p000023, true, t000203) :- trait(X, p000154, true), trait(X, p000041, true). trait(X, p000086, true, t000204) :- trait(X, p000052, true). trait(X, p000173, true, t000205) :- trait(X, p000172, true). trait(X, p000172, true, t000206) :- trait(X, p000080, true). trait(X, p000173, true, t000207) :- trait(X, p000079, true). trait(X, p000139, false, t000208) :- trait(X, p000129, true), trait(X, p000125, true). trait(X, p000052, true, t000209) :- trait(X, p000139, true), trait(X, p000086, true). trait(X, p000079, true, t000210) :- trait(X, p000093, true), trait(X, p000173, true). trait(X, p000080, true, t000211) :- trait(X, p000081, true), trait(X, p000172, true). trait(X, p000027, true, t000212) :- trait(X, p000057, true), trait(X, p000028, true). trait(X, p000013, true, t000213) :- trait(X, p000088, true). trait(X, p000207, true, t000214) :- trait(X, p000034, true). trait(X, p000080, true, t000215) :- trait(X, p000077, true). trait(X, p000172, true, t000216) :- trait(X, p000154, true). trait(X, p000028, true, t000217) :- trait(X, p000081, true), trait(X, p000174, true). trait(X, p000094, true, t000218) :- trait(X, p000052, true). trait(X, p000091, true, t000219) :- trait(X, p000053, true), trait(X, p000016, true). trait(X, p000077, true, t000220) :- trait(X, p000091, true). trait(X, p000002, true, t000221) :- trait(X, p000168, true). trait(X, p000136, true, t000222) :- trait(X, p000168, true). trait(X, p000020, true, t000223) :- trait(X, p000019, true), trait(X, p000079, true). trait(X, p000024, true, t000224) :- trait(X, p000023, true), trait(X, p000011, true). trait(X, p000090, true, t000225) :- trait(X, p000028, true), trait(X, p000147, true). trait(X, p000002, true, t000226) :- trait(X, p000099, true). trait(X, p000143, true, t000227) :- trait(X, p000100, true). trait(X, p000170, true, t000228) :- trait(X, p000003, true). trait(X, p000171, true, t000229) :- trait(X, p000143, true). trait(X, p000003, true, t000230) :- trait(X, p000028, true), trait(X, p000099, true). trait(X, p000184, true, t000231) :- trait(X, p000097, true). trait(X, p000050, true, t000232) :- trait(X, p000046, true), trait(X, p000097, true). trait(X, p000042, true, t000233) :- trait(X, p000036, true), trait(X, p000097, true). trait(X, p000100, true, t000234) :- trait(X, p000103, true). trait(X, p000103, true, t000235) :- trait(X, p000079, true), trait(X, p000099, true). trait(X, p000028, true, t000236) :- trait(X, p000154, true), trait(X, p000081, true). trait(X, p000017, true, t000237) :- trait(X, p000111, true). trait(X, p000093, true, t000238) :- trait(X, p000057, true). trait(X, p000038, true, t000239) :- trait(X, p000016, true), trait(X, p000036, true), trait(X, p000041, true), trait(X, p000053, true). trait(X, p000095, true, t000240) :- trait(X, p000037, true), trait(X, p000143, true). trait(X, p000074, true, t000241) :- trait(X, p000179, true). trait(X, p000177, true, t000242) :- trait(X, p000074, true). trait(X, p000178, true, t000243) :- trait(X, p000179, true). trait(X, p000177, true, t000244) :- trait(X, p000178, true). trait(X, p000023, true, t000245) :- trait(X, p000130, true). trait(X, p000130, true, t000246) :- trait(X, p000023, true), trait(X, p000011, true). trait(X, p000125, false, t000247) :- trait(X, p000052, true), trait(X, p000129, true). trait(X, p000052, true, t000248) :- trait(X, p000125, false). trait(X, p000129, true, t000249) :- trait(X, p000125, false). trait(X, p000125, true, t000250) :- trait(X, p000078, false). trait(X, p000016, true, t000251) :- trait(X, p000129, true). trait(X, p000121, true, t000252) :- trait(X, p000185, true). trait(X, p000129, false, t000253) :- trait(X, p000125, true), trait(X, p000001, true). trait(X, p000018, true, t000254) :- trait(X, p000131, true). trait(X, p000131, true, t000255) :- trait(X, p000018, true), trait(X, p000132, true). trait(X, p000132, true, t000256) :- trait(X, p000015, true). trait(X, p000015, true, t000257) :- trait(X, p000013, true), trait(X, p000132, true). trait(X, p000015, true, t000258) :- trait(X, p000011, true), trait(X, p000131, true). trait(X, p000182, true, t000259) :- trait(X, p000057, true). trait(X, p000131, true, t000260) :- trait(X, p000182, true). trait(X, p000132, true, t000261) :- trait(X, p000057, true), trait(X, p000135, true). trait(X, p000129, true, t000262) :- trait(X, p000134, true), trait(X, p000039, true). trait(X, p000057, true, t000263) :- trait(X, p000131, true), trait(X, p000051, true). trait(X, p000121, true, t000264) :- trait(X, p000053, true). trait(X, p000053, true, t000265) :- trait(X, p000121, true), trait(X, p000001, true). trait(X, p000094, true, t000266) :- trait(X, p000078, true). trait(X, p000052, true, t000267) :- trait(X, p000090, true), trait(X, p000002, true). trait(X, p000015, true, t000268) :- trait(X, p000121, true). trait(X, p000050, true, t000269) :- trait(X, p000023, true), trait(X, p000003, true), trait(X, p000047, true). trait(X, p000028, true, t000270) :- trait(X, p000027, true). trait(X, p000183, true, t000271) :- trait(X, p000027, true). trait(X, p000128, true, t000272) :- trait(X, p000027, true). trait(X, p000008, true, t000273) :- trait(X, p000154, true). trait(X, p000133, true, t000274) :- trait(X, p000052, true). trait(X, p000027, true, t000275) :- trait(X, p000133, true), trait(X, p000036, true), trait(X, p000026, true). trait(X, p000197, true, t000276) :- trait(X, p000131, true). trait(X, p000131, true, t000277) :- trait(X, p000154, true), trait(X, p000029, true). trait(X, p000028, true, t000278) :- trait(X, p000154, true), trait(X, p000029, true). trait(X, p000023, true, t000279) :- trait(X, p000111, true), trait(X, p000028, true). trait(X, p000046, true, t000280) :- trait(X, p000093, true), trait(X, p000002, true). trait(X, p000134, true, t000281) :- trait(X, p000003, true). trait(X, p000134, true, t000282) :- trait(X, p000011, true). trait(X, p000003, true, t000283) :- trait(X, p000134, true), trait(X, p000001, true). trait(X, p000130, true, t000284) :- trait(X, p000090, true). trait(X, p000028, true, t000285) :- trait(X, p000090, true). trait(X, p000135, true, t000286) :- trait(X, p000134, true). trait(X, p000135, true, t000287) :- trait(X, p000002, true). trait(X, p000002, true, t000288) :- trait(X, p000135, true), trait(X, p000001, true). trait(X, p000135, true, t000289) :- trait(X, p000132, true). trait(X, p000064, true, t000290) :- trait(X, p000078, true). trait(X, p000111, true, t000291) :- trait(X, p000136, true), trait(X, p000057, true). trait(X, p000094, true, t000292) :- trait(X, p000136, true), trait(X, p000140, true). trait(X, p000136, true, t000293) :- trait(X, p000094, true). trait(X, p000180, true, t000294) :- trait(X, p000154, true), trait(X, p000026, true). trait(X, p000137, false, t000295) :- trait(X, p000125, true). trait(X, p000196, true, t000296) :- trait(X, p000129, true). trait(X, p000057, true, t000297) :- trait(X, p000138, true). trait(X, p000078, true, t000298) :- trait(X, p000138, true), trait(X, p000011, true). trait(X, p000138, true, t000299) :- trait(X, p000078, true). trait(X, p000217, true, t000300) :- trait(X, p000058, true). trait(X, p000078, true, t000301) :- trait(X, p000138, true), trait(X, p000090, true). trait(X, p000121, true, t000302) :- trait(X, p000057, true), trait(X, p000016, true), trait(X, p000134, true). trait(X, p000078, true, t000303) :- trait(X, p000136, true), trait(X, p000016, true). trait(X, p000057, true, t000304) :- trait(X, p000136, true), trait(X, p000017, true). trait(X, p000046, true, t000305) :- trait(X, p000167, true). trait(X, p000139, true, t000306) :- trait(X, p000051, true), trait(X, p000137, false). trait(X, p000051, true, t000307) :- trait(X, p000094, true), trait(X, p000001, true). trait(X, p000036, false, t000308) :- trait(X, p000135, true), trait(X, p000139, true), trait(X, p000125, true). trait(X, p000228, true, t000309) :- trait(X, p000028, true). trait(X, p000101, true, t000310) :- trait(X, p000003, true). trait(X, p000002, true, t000311) :- trait(X, p000101, true). trait(X, p000101, true, t000312) :- trait(X, p000140, true), trait(X, p000100, true). trait(X, p000029, true, t000313) :- trait(X, p000039, true). trait(X, p000056, false, t000314) :- trait(X, p000139, true). trait(X, p000056, true, t000315) :- trait(X, p000137, true). trait(X, p000042, true, t000316) :- trait(X, p000090, true). trait(X, p000206, true, t000317) :- trait(X, p000051, true), trait(X, p000137, false). trait(X, p000170, true, t000318) :- trait(X, p000136, true), trait(X, p000002, true). trait(X, p000056, true, t000319) :- trait(X, p000057, true), trait(X, p000139, false), trait(X, p000002, true). trait(X, p000189, true, t000320) :- trait(X, p000040, true). trait(X, p000111, true, t000321) :- trait(X, p000098, true). trait(X, p000023, true, t000322) :- trait(X, p000098, true), trait(X, p000002, true), trait(X, p000028, true). trait(X, p000140, true, t000323) :- trait(X, p000098, true). trait(X, p000141, true, t000324) :- trait(X, p000142, true). trait(X, p000140, true, t000325) :- trait(X, p000141, true). trait(X, p000144, true, t000326) :- trait(X, p000121, true). trait(X, p000144, true, t000327) :- trait(X, p000082, true). trait(X, p000084, true, t000328) :- trait(X, p000082, true). trait(X, p000082, true, t000329) :- trait(X, p000122, true). trait(X, p000135, true, t000330) :- trait(X, p000144, true). trait(X, p000082, true, t000331) :- trait(X, p000144, true), trait(X, p000001, true). trait(X, p000130, true, t000332) :- trait(X, p000122, true). trait(X, p000003, true, t000333) :- trait(X, p000124, true). trait(X, p000163, true, t000334) :- trait(X, p000182, true), trait(X, p000001, true). trait(X, p000013, true, t000335) :- trait(X, p000007, true). trait(X, p000014, true, t000336) :- trait(X, p000008, true). trait(X, p000034, true, t000337) :- trait(X, p000035, true). trait(X, p000015, true, t000338) :- trait(X, p000067, true). trait(X, p000016, true, t000339) :- trait(X, p000075, true). trait(X, p000027, true, t000340) :- trait(X, p000124, true). trait(X, p000152, true, t000341) :- trait(X, p000057, true). trait(X, p000145, true, t000342) :- trait(X, p000146, true). trait(X, p000030, true, t000343) :- trait(X, p000145, true). trait(X, p000146, true, t000344) :- trait(X, p000018, true), trait(X, p000050, true). trait(X, p000012, true, t000345) :- trait(X, p000087, true). trait(X, p000137, false, t000346) :- trait(X, p000087, true). trait(X, p000086, true, t000347) :- trait(X, p000087, true). trait(X, p000121, true, t000348) :- trait(X, p000087, true), trait(X, p000028, true). trait(X, p000086, true, t000349) :- trait(X, p000129, true). trait(X, p000147, true, t000350) :- trait(X, p000090, true). trait(X, p000050, true, t000351) :- trait(X, p000011, true), trait(X, p000147, true). trait(X, p000118, true, t000352) :- trait(X, p000183, true). trait(X, p000153, true, t000353) :- trait(X, p000069, true). trait(X, p000151, true, t000354) :- trait(X, p000152, true). trait(X, p000150, true, t000355) :- trait(X, p000151, true). trait(X, p000149, true, t000356) :- trait(X, p000153, true). trait(X, p000070, true, t000357) :- trait(X, p000152, true). trait(X, p000069, true, t000358) :- trait(X, p000151, true). trait(X, p000153, true, t000359) :- trait(X, p000150, true). trait(X, p000018, true, t000360) :- trait(X, p000149, true). trait(X, p000068, true, t000361) :- trait(X, p000150, true). trait(X, p000066, true, t000362) :- trait(X, p000153, true). trait(X, p000057, true, t000363) :- trait(X, p000002, true), trait(X, p000152, true). trait(X, p000149, true, t000364) :- trait(X, p000128, true). trait(X, p000157, true, t000365) :- trait(X, p000158, true). trait(X, p000156, true, t000366) :- trait(X, p000157, true). trait(X, p000160, true, t000367) :- trait(X, p000161, true). trait(X, p000159, true, t000368) :- trait(X, p000160, true). trait(X, p000128, true, t000369) :- trait(X, p000159, true). trait(X, p000159, true, t000370) :- trait(X, p000156, true). trait(X, p000160, true, t000371) :- trait(X, p000157, true). trait(X, p000161, true, t000372) :- trait(X, p000158, true). trait(X, p000158, true, t000373) :- trait(X, p000111, true). trait(X, p000111, true, t000374) :- trait(X, p000002, true), trait(X, p000028, true), trait(X, p000159, true). trait(X, p000153, true, t000375) :- trait(X, p000159, true). trait(X, p000182, true, t000376) :- trait(X, p000117, true), trait(X, p000018, true). trait(X, p000128, true, t000377) :- trait(X, p000136, true), trait(X, p000149, true). trait(X, p000159, true, t000378) :- trait(X, p000136, true), trait(X, p000153, true). trait(X, p000157, true, t000379) :- trait(X, p000136, true), trait(X, p000151, true). trait(X, p000156, true, t000380) :- trait(X, p000136, true), trait(X, p000150, true). trait(X, p000111, true, t000381) :- trait(X, p000135, true), trait(X, p000158, true). trait(X, p000162, true, t000382) :- trait(X, p000007, true), trait(X, p000194, true), trait(X, p000164, true). trait(X, p000164, true, t000383) :- trait(X, p000059, true). trait(X, p000162, true, t000384) :- trait(X, p000005, true), trait(X, p000018, true). trait(X, p000006, true, t000385) :- trait(X, p000162, true). trait(X, p000016, true, t000386) :- trait(X, p000022, true), trait(X, p000162, true). trait(X, p000183, true, t000387) :- trait(X, p000118, true), trait(X, p000018, true). trait(X, p000033, true, t000388) :- trait(X, p000132, true). trait(X, p000032, true, t000389) :- trait(X, p000033, true), trait(X, p000013, true). trait(X, p000059, true, t000390) :- trait(X, p000163, true). trait(X, p000163, false, t000391) :- trait(X, p000058, false), trait(X, p000065, false). trait(X, p000111, true, t000392) :- trait(X, p000011, true), trait(X, p000161, true). trait(X, p000050, true, t000393) :- trait(X, p000049, true), trait(X, p000010, true). trait(X, p000164, true, t000394) :- trait(X, p000053, true), trait(X, p000162, true). trait(X, p000013, true, t000395) :- trait(X, p000147, true), trait(X, p000018, true), trait(X, p000003, true). trait(X, p000048, true, t000396) :- trait(X, p000147, true), trait(X, p000009, true). trait(X, p000078, true, t000397) :- trait(X, p000168, true), trait(X, p000019, true). trait(X, p000078, true, t000398) :- trait(X, p000147, true), trait(X, p000005, true), trait(X, p000022, true). trait(X, p000061, true, t000399) :- trait(X, p000190, true). trait(X, p000060, true, t000400) :- trait(X, p000036, true), trait(X, p000217, true). trait(X, p000165, true, t000401) :- trait(X, p000013, true). trait(X, p000011, true, t000402) :- trait(X, p000002, true), trait(X, p000165, true). trait(X, p000165, true, t000403) :- trait(X, p000011, true), trait(X, p000147, true). trait(X, p000163, true, t000404) :- trait(X, p000079, true), trait(X, p000099, true), trait(X, p000209, true). trait(X, p000163, true, t000405) :- trait(X, p000003, true), trait(X, p000018, true), trait(X, p000028, true). trait(X, p000013, true, t000406) :- trait(X, p000165, true), trait(X, p000057, true). trait(X, p000112, true, t000407) :- trait(X, p000053, true). trait(X, p000009, true, t000408) :- trait(X, p000112, true). trait(X, p000166, true, t000409) :- trait(X, p000026, true), trait(X, p000112, true). trait(X, p000112, true, t000410) :- trait(X, p000166, true). trait(X, p000166, true, t000411) :- trait(X, p000052, true), trait(X, p000163, true). trait(X, p000163, true, t000412) :- trait(X, p000166, true). trait(X, p000167, true, t000413) :- trait(X, p000136, true), trait(X, p000002, true). trait(X, p000099, true, t000414) :- trait(X, p000167, true). trait(X, p000168, true, t000415) :- trait(X, p000147, true), trait(X, p000002, true). trait(X, p000052, true, t000416) :- trait(X, p000079, true), trait(X, p000167, true). trait(X, p000057, true, t000417) :- trait(X, p000026, true), trait(X, p000168, true). trait(X, p000052, true, t000418) :- trait(X, p000081, true), trait(X, p000168, true). trait(X, p000002, true, t000419) :- trait(X, p000169, true). trait(X, p000169, true, t000420) :- trait(X, p000003, true). trait(X, p000169, true, t000421) :- trait(X, p000002, true), trait(X, p000010, true). trait(X, p000039, false, t000422) :- trait(X, p000169, true), trait(X, p000125, true). trait(X, p000003, true, t000423) :- trait(X, p000023, true), trait(X, p000170, true). trait(X, p000100, true, t000424) :- trait(X, p000170, true). trait(X, p000099, true, t000425) :- trait(X, p000171, true). trait(X, p000046, true, t000426) :- trait(X, p000002, true), trait(X, p000045, true). trait(X, p000030, true, t000427) :- trait(X, p000025, true), trait(X, p000100, true). trait(X, p000125, true, t000428) :- trait(X, p000175, true). trait(X, p000045, true, t000429) :- trait(X, p000036, true), trait(X, p000175, false), trait(X, p000137, false). trait(X, p000175, true, t000430) :- trait(X, p000176, true). trait(X, p000176, true, t000431) :- trait(X, p000078, false). trait(X, p000045, true, t000432) :- trait(X, p000044, true), trait(X, p000090, true), trait(X, p000176, true). trait(X, p000044, true, t000433) :- trait(X, p000036, true), trait(X, p000176, false). trait(X, p000098, true, t000434) :- trait(X, p000111, true), trait(X, p000140, true). trait(X, p000142, true, t000435) :- trait(X, p000084, true), trait(X, p000130, true). trait(X, p000142, true, t000436) :- trait(X, p000084, true), trait(X, p000141, true). trait(X, p000123, true, t000437) :- trait(X, p000052, true). trait(X, p000052, true, t000438) :- trait(X, p000123, true), trait(X, p000139, true). trait(X, p000020, true, t000439) :- trait(X, p000016, true), trait(X, p000057, true). trait(X, p000026, true, t000440) :- trait(X, p000180, true). trait(X, p000081, true, t000441) :- trait(X, p000180, true). trait(X, p000031, true, t000442) :- trait(X, p000017, true), trait(X, p000100, true). trait(X, p000036, true, t000443) :- trait(X, p000089, true). trait(X, p000089, false, t000444) :- trait(X, p000087, true), trait(X, p000125, true). trait(X, p000089, true, t000445) :- trait(X, p000016, true), trait(X, p000036, true), trait(X, p000133, true), trait(X, p000137, false). trait(X, p000137, false, t000446) :- trait(X, p000089, true). trait(X, p000001, true, t000447) :- trait(X, p000089, true). trait(X, p000185, true, t000448) :- trait(X, p000129, true). trait(X, p000001, true, t000449) :- trait(X, p000045, true), trait(X, p000175, true). trait(X, p000027, true, t000450) :- trait(X, p000129, true). trait(X, p000043, true, t000451) :- trait(X, p000129, true), trait(X, p000058, false). trait(X, p000036, true, t000452) :- trait(X, p000204, true). trait(X, p000034, true, t000453) :- trait(X, p000013, true), trait(X, p000030, true). trait(X, p000057, true, t000454) :- trait(X, p000181, true). trait(X, p000078, false, t000455) :- trait(X, p000181, true). trait(X, p000181, true, t000456) :- trait(X, p000057, true), trait(X, p000078, false). trait(X, p000016, true, t000457) :- trait(X, p000077, true). trait(X, p000003, true, t000458) :- trait(X, p000077, true). trait(X, p000027, true, t000459) :- trait(X, p000184, true). trait(X, p000053, true, t000460) :- trait(X, p000184, true). trait(X, p000184, true, t000461) :- trait(X, p000124, true). trait(X, p000133, true, t000462) :- trait(X, p000146, true), trait(X, p000053, true). trait(X, p000097, true, t000463) :- trait(X, p000154, true), trait(X, p000027, true). trait(X, p000050, true, t000464) :- trait(X, p000217, true), trait(X, p000012, true). trait(X, p000218, true, t000465) :- trait(X, p000154, true), trait(X, p000047, true). trait(X, p000185, true, t000466) :- trait(X, p000090, true), trait(X, p000135, true). trait(X, p000090, true, t000467) :- trait(X, p000185, true). trait(X, p000129, true, t000468) :- trait(X, p000185, true), trait(X, p000036, true). trait(X, p000146, true, t000469) :- trait(X, p000185, true). trait(X, p000087, true, t000470) :- trait(X, p000185, true), trait(X, p000086, true), trait(X, p000137, false). trait(X, p000186, true, t000471) :- trait(X, p000087, true), trait(X, p000187, true). trait(X, p000186, true, t000472) :- trait(X, p000026, true), trait(X, p000053, true). trait(X, p000187, true, t000473) :- trait(X, p000028, true). trait(X, p000080, true, t000474) :- trait(X, p000187, true). trait(X, p000187, true, t000475) :- trait(X, p000076, true). trait(X, p000077, true, t000476) :- trait(X, p000003, true), trait(X, p000016, true), trait(X, p000186, true). trait(X, p000186, true, t000477) :- trait(X, p000077, true). trait(X, p000012, true, t000478) :- trait(X, p000186, true). trait(X, p000187, true, t000479) :- trait(X, p000186, true). trait(X, p000188, true, t000480) :- trait(X, p000016, true), trait(X, p000036, true), trait(X, p000003, true). trait(X, p000003, true, t000481) :- trait(X, p000188, true). trait(X, p000016, true, t000482) :- trait(X, p000188, true). trait(X, p000036, true, t000483) :- trait(X, p000188, true). trait(X, p000036, true, t000484) :- trait(X, p000189, true). trait(X, p000189, true, t000485) :- trait(X, p000188, true). trait(X, p000189, true, t000486) :- trait(X, p000023, true), trait(X, p000036, true), trait(X, p000041, true), trait(X, p000003, true). trait(X, p000189, false, t000487) :- trait(X, p000057, true), trait(X, p000135, true), trait(X, p000129, false). trait(X, p000020, true, t000488) :- trait(X, p000154, true), trait(X, p000019, true). trait(X, p000133, true, t000489) :- trait(X, p000190, true). trait(X, p000023, true, t000490) :- trait(X, p000190, true). trait(X, p000051, true, t000491) :- trait(X, p000190, true). trait(X, p000174, true, t000492) :- trait(X, p000190, true). trait(X, p000190, true, t000493) :- trait(X, p000057, true), trait(X, p000052, true). trait(X, p000052, true, t000494) :- trait(X, p000190, true), trait(X, p000167, true). trait(X, p000057, true, t000495) :- trait(X, p000190, true), trait(X, p000132, true). trait(X, p000132, true, t000496) :- trait(X, p000117, true), trait(X, p000011, true). trait(X, p000006, true, t000497) :- trait(X, p000130, true), trait(X, p000100, true). trait(X, p000016, true, t000498) :- trait(X, p000039, true), trait(X, p000024, true). trait(X, p000057, true, t000499) :- trait(X, p000093, true), trait(X, p000018, true). trait(X, p000002, true, t000500) :- trait(X, p000191, true). trait(X, p000191, true, t000501) :- trait(X, p000028, true), trait(X, p000002, true). trait(X, p000191, true, t000502) :- trait(X, p000132, true), trait(X, p000002, true). trait(X, p000028, true, t000503) :- trait(X, p000023, true), trait(X, p000003, true), trait(X, p000191, true). trait(X, p000098, true, t000504) :- trait(X, p000092, true). trait(X, p000092, true, t000505) :- trait(X, p000098, true), trait(X, p000170, true). trait(X, p000142, true, t000506) :- trait(X, p000092, true). trait(X, p000007, true, t000507) :- trait(X, p000092, true). trait(X, p000057, true, t000508) :- trait(X, p000011, true), trait(X, p000018, true), trait(X, p000051, true), trait(X, p000191, true). trait(X, p000112, true, t000509) :- trait(X, p000009, true), trait(X, p000182, true). trait(X, p000052, true, t000510) :- trait(X, p000147, true), trait(X, p000191, true). trait(X, p000192, true, t000511) :- trait(X, p000073, true). trait(X, p000073, true, t000512) :- trait(X, p000192, true), trait(X, p000001, true). trait(X, p000192, true, t000513) :- trait(X, p000094, true). trait(X, p000129, true, t000514) :- trait(X, p000192, true), trait(X, p000039, true), trait(X, p000135, true). trait(X, p000185, true, t000515) :- trait(X, p000132, true), trait(X, p000147, true). trait(X, p000053, true, t000516) :- trait(X, p000178, true), trait(X, p000028, true). trait(X, p000028, true, t000517) :- trait(X, p000023, true), trait(X, p000134, true), trait(X, p000132, true). trait(X, p000028, true, t000518) :- trait(X, p000174, true), trait(X, p000191, true). trait(X, p000192, true, t000519) :- trait(X, p000134, true). trait(X, p000106, true, t000520) :- trait(X, p000112, true). trait(X, p000192, true, t000521) :- trait(X, p000144, true). trait(X, p000041, true, t000522) :- trait(X, p000133, true), trait(X, p000036, true). trait(X, p000042, true, t000523) :- trait(X, p000133, true), trait(X, p000037, true). trait(X, p000058, false, t000524) :- trait(X, p000055, true), trait(X, p000139, false), trait(X, p000137, false). trait(X, p000053, true, t000525) :- trait(X, p000026, true), trait(X, p000077, true). trait(X, p000096, true, t000526) :- trait(X, p000042, true), trait(X, p000084, true). trait(X, p000130, true, t000527) :- trait(X, p000075, true). trait(X, p000075, true, t000528) :- trait(X, p000208, true), trait(X, p000073, true). trait(X, p000195, true, t000529) :- trait(X, p000016, true), trait(X, p000003, true), trait(X, p000047, true). trait(X, p000195, true, t000530) :- trait(X, p000075, true), trait(X, p000002, true). trait(X, p000075, true, t000531) :- trait(X, p000195, true). trait(X, p000048, true, t000532) :- trait(X, p000195, true). trait(X, p000027, true, t000533) :- trait(X, p000182, true), trait(X, p000023, true), trait(X, p000003, true). trait(X, p000053, true, t000534) :- trait(X, p000019, true), trait(X, p000112, true). trait(X, p000122, true, t000535) :- trait(X, p000123, true). trait(X, p000123, true, t000536) :- trait(X, p000122, true), trait(X, p000036, true). trait(X, p000123, true, t000537) :- trait(X, p000122, true), trait(X, p000086, true). trait(X, p000147, true, t000538) :- trait(X, p000173, true), trait(X, p000167, true). trait(X, p000052, true, t000539) :- trait(X, p000154, true), trait(X, p000049, true). trait(X, p000191, true, t000540) :- trait(X, p000003, true), trait(X, p000131, true). trait(X, p000189, true, t000541) :- trait(X, p000037, true). trait(X, p000013, true, t000542) :- trait(X, p000193, true). trait(X, p000032, true, t000543) :- trait(X, p000193, true). trait(X, p000194, true, t000544) :- trait(X, p000031, true). trait(X, p000193, true, t000545) :- trait(X, p000194, true), trait(X, p000013, true). trait(X, p000039, true, t000546) :- trait(X, p000196, true). trait(X, p000014, true, t000547) :- trait(X, p000196, true). trait(X, p000196, true, t000548) :- trait(X, p000039, true), trait(X, p000014, true). trait(X, p000174, true, t000549) :- trait(X, p000196, true). trait(X, p000146, true, t000550) :- trait(X, p000193, true), trait(X, p000039, true). trait(X, p000114, true, t000551) :- trait(X, p000196, true), trait(X, p000093, true), trait(X, p000057, false). trait(X, p000129, true, t000552) :- trait(X, p000202, true), trait(X, p000086, true). trait(X, p000042, true, t000553) :- trait(X, p000196, true). trait(X, p000075, true, t000554) :- trait(X, p000196, true), trait(X, p000016, true), trait(X, p000073, true), trait(X, p000090, true). trait(X, p000044, false, t000555) :- trait(X, p000039, true), trait(X, p000040, true), trait(X, p000176, true). trait(X, p000202, true, t000556) :- trait(X, p000146, true), trait(X, p000036, true), trait(X, p000137, false). trait(X, p000057, true, t000557) :- trait(X, p000001, true), trait(X, p000090, true), trait(X, p000027, true). trait(X, p000175, true, t000558) :- trait(X, p000204, true). trait(X, p000057, true, t000559) :- trait(X, p000198, true), trait(X, p000052, true). trait(X, p000197, true, t000560) :- trait(X, p000180, true). trait(X, p000198, true, t000561) :- trait(X, p000197, true). trait(X, p000198, true, t000562) :- trait(X, p000018, true). trait(X, p000029, true, t000563) :- trait(X, p000197, true). trait(X, p000093, true, t000564) :- trait(X, p000094, true). trait(X, p000090, true, t000565) :- trait(X, p000094, true). trait(X, p000197, true, t000566) :- trait(X, p000196, true). trait(X, p000057, true, t000567) :- trait(X, p000196, true), trait(X, p000094, true). trait(X, p000136, true, t000568) :- trait(X, p000126, true), trait(X, p000039, true). trait(X, p000198, true, t000569) :- trait(X, p000021, true). trait(X, p000012, true, t000570) :- trait(X, p000076, true). trait(X, p000052, false, t000571) :- trait(X, p000203, true). trait(X, p000126, true, t000572) :- trait(X, p000203, true). trait(X, p000051, true, t000573) :- trait(X, p000203, true). trait(X, p000146, true, t000574) :- trait(X, p000203, true). trait(X, p000108, true, t000575) :- trait(X, p000203, true). trait(X, p000203, true, t000576) :- trait(X, p000126, true), trait(X, p000040, true), trait(X, p000125, true). trait(X, p000203, true, t000577) :- trait(X, p000126, true), trait(X, p000003, true), trait(X, p000052, false). trait(X, p000045, true, t000578) :- trait(X, p000203, true), trait(X, p000036, true). trait(X, p000204, true, t000579) :- trait(X, p000045, true), trait(X, p000175, true). trait(X, p000028, true, t000580) :- trait(X, p000187, true), trait(X, p000093, true). trait(X, p000028, true, t000581) :- trait(X, p000187, true), trait(X, p000011, true), trait(X, p000026, true). trait(X, p000191, true, t000582) :- trait(X, p000187, true), trait(X, p000003, true), trait(X, p000197, true). trait(X, p000200, true, t000583) :- trait(X, p000199, true). trait(X, p000137, false, t000584) :- trait(X, p000199, true). trait(X, p000199, true, t000585) :- trait(X, p000196, true), trait(X, p000137, false). trait(X, p000083, true, t000586) :- trait(X, p000031, true). trait(X, p000083, true, t000587) :- trait(X, p000018, true). trait(X, p000204, true, t000588) :- trait(X, p000036, true), trait(X, p000133, true), trait(X, p000175, true). trait(X, p000200, true, t000589) :- trait(X, p000129, true). trait(X, p000037, true, t000590) :- trait(X, p000200, true). trait(X, p000199, true, t000591) :- trait(X, p000201, true). trait(X, p000026, true, t000592) :- trait(X, p000201, true). trait(X, p000039, true, t000593) :- trait(X, p000201, true). trait(X, p000201, true, t000594) :- trait(X, p000192, true), trait(X, p000039, true), trait(X, p000137, false). trait(X, p000129, true, t000595) :- trait(X, p000201, true), trait(X, p000135, true). trait(X, p000129, true, t000596) :- trait(X, p000201, true), trait(X, p000086, true). trait(X, p000201, true, t000597) :- trait(X, p000039, true), trait(X, p000139, true). trait(X, p000040, true, t000598) :- trait(X, p000202, true). trait(X, p000146, true, t000599) :- trait(X, p000202, true). trait(X, p000020, true, t000600) :- trait(X, p000202, true). trait(X, p000199, true, t000601) :- trait(X, p000202, true). trait(X, p000202, true, t000602) :- trait(X, p000037, true), trait(X, p000045, true), trait(X, p000201, false). trait(X, p000209, true, t000603) :- trait(X, p000026, true). trait(X, p000209, true, t000604) :- trait(X, p000163, true). trait(X, p000073, true, t000605) :- trait(X, p000203, true). trait(X, p000075, true, t000606) :- trait(X, p000203, true), trait(X, p000016, true). trait(X, p000103, true, t000607) :- trait(X, p000203, true), trait(X, p000002, true). trait(X, p000073, true, t000608) :- trait(X, p000047, true). trait(X, p000139, true, t000609) :- trait(X, p000201, true), trait(X, p000001, true), trait(X, p000090, true). trait(X, p000006, true, t000610) :- trait(X, p000063, true). trait(X, p000199, true, t000611) :- trait(X, p000097, true), trait(X, p000036, true), trait(X, p000137, false). trait(X, p000152, true, t000612) :- trait(X, p000090, true), trait(X, p000018, true). trait(X, p000152, true, t000613) :- trait(X, p000202, true). trait(X, p000080, true, t000614) :- trait(X, p000172, true), trait(X, p000191, true). trait(X, p000102, true, t000615) :- trait(X, p000110, true), trait(X, p000001, true). trait(X, p000028, true, t000616) :- trait(X, p000102, true). trait(X, p000206, true, t000617) :- trait(X, p000201, true). trait(X, p000107, true, t000618) :- trait(X, p000040, true), trait(X, p000204, true). trait(X, p000139, true, t000619) :- trait(X, p000039, true), trait(X, p000204, true). trait(X, p000204, false, t000620) :- trait(X, p000196, true). trait(X, p000137, false, t000621) :- trait(X, p000107, true). trait(X, p000202, true, t000622) :- trait(X, p000040, true), trait(X, p000193, true), trait(X, p000137, false). trait(X, p000140, true, t000623) :- trait(X, p000063, true). trait(X, p000104, true, t000624) :- trait(X, p000102, true). trait(X, p000002, true, t000625) :- trait(X, p000104, true). trait(X, p000228, true, t000626) :- trait(X, p000104, true). trait(X, p000131, true, t000627) :- trait(X, p000104, true), trait(X, p000198, true). trait(X, p000102, true, t000628) :- trait(X, p000104, true), trait(X, p000080, true), trait(X, p000099, true). trait(X, p000109, true, t000629) :- trait(X, p000154, true). trait(X, p000107, true, t000630) :- trait(X, p000002, true), trait(X, p000137, false). trait(X, p000139, true, t000631) :- trait(X, p000204, true), trait(X, p000107, false). trait(X, p000202, true, t000632) :- trait(X, p000040, true), trait(X, p000107, true). trait(X, p000002, true, t000633) :- trait(X, p000086, true), trait(X, p000107, true). trait(X, p000107, true, t000634) :- trait(X, p000203, true). trait(X, p000204, true, t000635) :- trait(X, p000205, true). trait(X, p000205, true, t000636) :- trait(X, p000204, true), trait(X, p000086, true). trait(X, p000001, true, t000637) :- trait(X, p000205, true). trait(X, p000016, false, t000638) :- trait(X, p000205, true). trait(X, p000107, true, t000639) :- trait(X, p000205, true). trait(X, p000018, true, t000640) :- trait(X, p000105, true), trait(X, p000062, true). trait(X, p000107, true, t000641) :- trait(X, p000024, true), trait(X, p000001, true), trait(X, p000137, false). trait(X, p000068, false, t000642) :- trait(X, p000137, false), trait(X, p000063, true), trait(X, p000139, false). trait(X, p000055, true, t000643) :- trait(X, p000002, true), trait(X, p000028, true), trait(X, p000203, true). trait(X, p000206, true, t000644) :- trait(X, p000203, true). trait(X, p000206, true, t000645) :- trait(X, p000063, true), trait(X, p000137, false). trait(X, p000137, false, t000646) :- trait(X, p000206, true). trait(X, p000206, true, t000647) :- trait(X, p000094, true), trait(X, p000137, false). trait(X, p000088, true, t000648) :- trait(X, p000207, true). trait(X, p000107, true, t000649) :- trait(X, p000126, true), trait(X, p000137, false). trait(X, p000016, true, t000650) :- trait(X, p000208, true). trait(X, p000041, true, t000651) :- trait(X, p000208, true). trait(X, p000130, true, t000652) :- trait(X, p000208, true). trait(X, p000105, true, t000653) :- trait(X, p000030, true). trait(X, p000105, true, t000654) :- trait(X, p000018, true). trait(X, p000083, true, t000655) :- trait(X, p000105, true). trait(X, p000207, true, t000656) :- trait(X, p000040, true). trait(X, p000131, true, t000657) :- trait(X, p000208, true). trait(X, p000208, true, t000658) :- trait(X, p000016, true), trait(X, p000185, true). trait(X, p000185, true, t000659) :- trait(X, p000208, true), trait(X, p000134, true). trait(X, p000078, true, t000660) :- trait(X, p000203, true), trait(X, p000208, true). trait(X, p000088, true, t000661) :- trait(X, p000197, true), trait(X, p000013, true). trait(X, p000088, true, t000662) :- trait(X, p000198, true), trait(X, p000007, true). trait(X, p000108, true, t000663) :- trait(X, p000197, true), trait(X, p000014, true). trait(X, p000032, true, t000664) :- trait(X, p000109, true). trait(X, p000088, true, t000665) :- trait(X, p000108, true). trait(X, p000014, true, t000666) :- trait(X, p000108, true). trait(X, p000008, true, t000667) :- trait(X, p000109, true). trait(X, p000108, true, t000668) :- trait(X, p000109, true). trait(X, p000109, true, t000669) :- trait(X, p000053, true). trait(X, p000019, true, t000670) :- trait(X, p000032, true), trait(X, p000039, true). trait(X, p000049, true, t000671) :- trait(X, p000203, true), trait(X, p000010, false). trait(X, p000094, true, t000672) :- trait(X, p000203, true), trait(X, p000010, false). trait(X, p000061, true, t000673) :- trait(X, p000085, true). trait(X, p000109, true, t000674) :- trait(X, p000203, true), trait(X, p000002, true). trait(X, p000075, true, t000675) :- trait(X, p000196, true), trait(X, p000016, true), trait(X, p000073, true), trait(X, p000058, true). trait(X, p000038, true, t000676) :- trait(X, p000202, true), trait(X, p000043, true). trait(X, p000117, true, t000677) :- trait(X, p000094, true). trait(X, p000118, true, t000678) :- trait(X, p000136, true), trait(X, p000117, true). trait(X, p000165, false, t000679) :- trait(X, p000039, true), trait(X, p000202, false), trait(X, p000107, true). trait(X, p000206, true, t000680) :- trait(X, p000023, true), trait(X, p000134, true), trait(X, p000137, false). trait(X, p000034, true, t000681) :- trait(X, p000146, true). trait(X, p000089, true, t000682) :- trait(X, p000208, true), trait(X, p000201, true), trait(X, p000001, true). trait(X, p000080, true, t000683) :- trait(X, p000203, true), trait(X, p000079, true). trait(X, p000086, true, t000684) :- trait(X, p000123, true), trait(X, p000036, true), trait(X, p000003, true). trait(X, p000199, false, t000685) :- trait(X, p000124, true), trait(X, p000016, true), trait(X, p000125, true). trait(X, p000030, true, t000686) :- trait(X, p000031, true), trait(X, p000088, true), trait(X, p000011, true). trait(X, p000027, true, t000687) :- trait(X, p000208, true), trait(X, p000183, true). trait(X, p000023, true, t000688) :- trait(X, p000017, true), trait(X, p000086, true), trait(X, p000100, true), trait(X, p000056, false). trait(X, p000185, true, t000689) :- trait(X, p000093, true), trait(X, p000144, true), trait(X, p000041, true). trait(X, p000103, true, t000690) :- trait(X, p000100, true), trait(X, p000131, true). trait(X, p000052, true, t000691) :- trait(X, p000003, true), trait(X, p000049, true), trait(X, p000147, true), trait(X, p000164, true). trait(X, p000018, true, t000692) :- trait(X, p000036, true), trait(X, p000145, true). trait(X, p000085, true, t000693) :- trait(X, p000049, true). trait(X, p000049, true, t000694) :- trait(X, p000085, true), trait(X, p000015, true). trait(X, p000085, true, t000695) :- trait(X, p000147, true). trait(X, p000085, true, t000696) :- trait(X, p000060, true). trait(X, p000217, true, t000697) :- trait(X, p000085, true). trait(X, p000018, true, t000698) :- trait(X, p000023, true), trait(X, p000105, true), trait(X, p000036, true). trait(X, p000132, true, t000699) :- trait(X, p000102, true). trait(X, p000203, true, t000700) :- trait(X, p000126, true), trait(X, p000136, false). trait(X, p000039, true, t000701) :- trait(X, p000126, true), trait(X, p000036, true), trait(X, p000203, false). trait(X, p000044, false, t000702) :- trait(X, p000043, true), trait(X, p000052, false). trait(X, p000038, true, t000703) :- trait(X, p000095, true). trait(X, p000043, true, t000704) :- trait(X, p000096, true). trait(X, p000002, true, t000705) :- trait(X, p000095, true). trait(X, p000002, true, t000706) :- trait(X, p000096, true). trait(X, p000088, true, t000707) :- trait(X, p000076, true). trait(X, p000032, true, t000708) :- trait(X, p000076, true). trait(X, p000038, true, t000709) :- trait(X, p000037, true), trait(X, p000099, true). trait(X, p000028, true, t000710) :- trait(X, p000110, true). trait(X, p000135, true, t000711) :- trait(X, p000110, true). trait(X, p000110, true, t000712) :- trait(X, p000121, true). trait(X, p000121, true, t000713) :- trait(X, p000088, true), trait(X, p000110, true). trait(X, p000027, true, t000714) :- trait(X, p000018, true), trait(X, p000110, true). trait(X, p000110, true, t000715) :- trait(X, p000113, true). trait(X, p000005, true, t000716) :- trait(X, p000113, true). trait(X, p000113, true, t000717) :- trait(X, p000110, true), trait(X, p000005, true). trait(X, p000106, true, t000718) :- trait(X, p000057, true), trait(X, p000002, true). trait(X, p000106, true, t000719) :- trait(X, p000110, true), trait(X, p000001, true). trait(X, p000191, true, t000720) :- trait(X, p000106, true). trait(X, p000053, true, t000721) :- trait(X, p000133, true), trait(X, p000106, true). trait(X, p000044, false, t000722) :- trait(X, p000133, true), trait(X, p000125, true). trait(X, p000046, true, t000723) :- trait(X, p000044, true), trait(X, p000099, true). trait(X, p000146, true, t000724) :- trait(X, p000030, true), trait(X, p000003, true), trait(X, p000051, true). trait(X, p000079, true, t000725) :- trait(X, p000173, true), trait(X, p000191, true). trait(X, p000161, true, t000726) :- trait(X, p000136, true), trait(X, p000070, true). trait(X, p000070, true, t000727) :- trait(X, p000161, true). trait(X, p000194, true, t000728) :- trait(X, p000115, true). trait(X, p000115, true, t000729) :- trait(X, p000034, true). trait(X, p000115, true, t000730) :- trait(X, p000110, true). trait(X, p000115, true, t000731) :- trait(X, p000057, true), trait(X, p000135, true). trait(X, p000040, true, t000732) :- trait(X, p000090, true), trait(X, p000036, true), trait(X, p000115, true). trait(X, p000211, true, t000733) :- trait(X, p000210, true). trait(X, p000212, true, t000734) :- trait(X, p000211, true). trait(X, p000213, true, t000735) :- trait(X, p000212, true). trait(X, p000214, true, t000736) :- trait(X, p000213, true). trait(X, p000106, true, t000737) :- trait(X, p000008, true), trait(X, p000087, true), trait(X, p000167, false). trait(X, p000016, true, t000738) :- trait(X, p000019, true), trait(X, p000106, true). trait(X, p000112, true, t000739) :- trait(X, p000207, true), trait(X, p000106, true). trait(X, p000162, true, t000740) :- trait(X, p000215, true). trait(X, p000163, true, t000741) :- trait(X, p000191, true), trait(X, p000197, true). trait(X, p000215, true, t000742) :- trait(X, p000112, true), trait(X, p000164, true), trait(X, p000006, true). trait(X, p000215, true, t000743) :- trait(X, p000216, true), trait(X, p000003, true), trait(X, p000164, true). trait(X, p000030, true, t000744) :- trait(X, p000216, true). trait(X, p000216, true, t000745) :- trait(X, p000030, true), trait(X, p000015, true). trait(X, p000108, true, t000746) :- trait(X, p000134, true), trait(X, p000216, true). trait(X, p000216, true, t000747) :- trait(X, p000208, true). trait(X, p000210, true, t000748) :- trait(X, p000028, true). trait(X, p000115, false, t000749) :- trait(X, p000201, true), trait(X, p000202, false). trait(X, p000120, true, t000750) :- trait(X, p000133, true). trait(X, p000084, true, t000751) :- trait(X, p000120, true). trait(X, p000006, true, t000752) :- trait(X, p000120, true), trait(X, p000011, true). trait(X, p000008, true, t000753) :- trait(X, p000120, true), trait(X, p000003, true), trait(X, p000030, true). trait(X, p000130, true, t000754) :- trait(X, p000120, true), trait(X, p000041, true). trait(X, p000041, true, t000755) :- trait(X, p000120, true), trait(X, p000011, true), trait(X, p000036, true). trait(X, p000082, true, t000756) :- trait(X, p000120, true), trait(X, p000106, true). trait(X, p000155, true, t000757) :- trait(X, p000137, true). trait(X, p000190, true, t000758) :- trait(X, p000016, true), trait(X, p000003, true), trait(X, p000057, true). trait(X, p000123, true, t000759) :- trait(X, p000155, true). trait(X, p000120, true, t000760) :- trait(X, p000155, true). trait(X, p000155, true, t000761) :- trait(X, p000123, true), trait(X, p000204, true). trait(X, p000139, false, t000762) :- trait(X, p000155, true). trait(X, p000217, true, t000763) :- trait(X, p000218, true). trait(X, p000218, true, t000764) :- trait(X, p000146, true). trait(X, p000013, true, t000765) :- trait(X, p000218, true). trait(X, p000218, true, t000766) :- trait(X, p000013, true), trait(X, p000217, true). trait(X, p000146, true, t000767) :- trait(X, p000030, true), trait(X, p000218, true). trait(X, p000048, true, t000768) :- trait(X, p000009, true), trait(X, p000217, true). trait(X, p000040, true, t000769) :- trait(X, p000036, true), trait(X, p000218, true). trait(X, p000053, true, t000770) :- trait(X, p000220, true). trait(X, p000146, true, t000771) :- trait(X, p000220, true). trait(X, p000220, true, t000772) :- trait(X, p000053, true), trait(X, p000146, true). trait(X, p000120, true, t000773) :- trait(X, p000082, true), trait(X, p000093, true). trait(X, p000216, true, t000778) :- trait(X, p000203, true). trait(X, p000002, true, t000779) :- trait(X, p000222, true). trait(X, p000086, true, t000780) :- trait(X, p000222, true). trait(X, p000101, false, t000781) :- trait(X, p000222, true), trait(X, p000078, false). trait(X, p000222, true, t000782) :- trait(X, p000052, true), trait(X, p000078, true). trait(X, p000039, true, t000783) :- trait(X, p000222, true), trait(X, p000078, false). trait(X, p000210, true, t000784) :- trait(X, p000167, true). trait(X, p000210, true, t000785) :- trait(X, p000136, true). trait(X, p000208, true, t000786) :- trait(X, p000216, true), trait(X, p000039, true). trait(X, p000167, true, t000787) :- trait(X, p000085, true), trait(X, p000006, true). trait(X, p000117, true, t000788) :- trait(X, p000110, true). trait(X, p000021, true, t000789) :- trait(X, p000107, false). trait(X, p000191, true, t000790) :- trait(X, p000093, true), trait(X, p000002, true). trait(X, p000028, true, t000791) :- trait(X, p000019, true), trait(X, p000005, true), trait(X, p000191, true). trait(X, p000197, true, t000792) :- trait(X, p000198, true), trait(X, p000002, true), trait(X, p000132, true). trait(X, p000103, true, t000793) :- trait(X, p000168, true). trait(X, p000050, true, t000794) :- trait(X, p000120, true), trait(X, p000047, true), trait(X, p000011, true). trait(X, p000208, true, t000795) :- trait(X, p000222, true). trait(X, p000089, false, t000796) :- trait(X, p000222, true), trait(X, p000125, true). trait(X, p000142, false, t000797) :- trait(X, p000222, true), trait(X, p000078, false). trait(X, p000187, true, t000798) :- trait(X, p000222, true). trait(X, p000057, true, t000799) :- trait(X, p000222, true), trait(X, p000115, true). trait(X, p000210, true, t000800) :- trait(X, p000222, true). trait(X, p000110, true, t000801) :- trait(X, p000027, true), trait(X, p000057, true), trait(X, p000135, true). trait(X, p000195, true, t000802) :- trait(X, p000119, true). trait(X, p000049, true, t000803) :- trait(X, p000119, true). trait(X, p000081, true, t000804) :- trait(X, p000023, true), trait(X, p000011, true), trait(X, p000197, true). trait(X, p000193, true, t000805) :- trait(X, p000109, true). trait(X, p000020, true, t000806) :- trait(X, p000016, true), trait(X, p000131, true). trait(X, p000057, true, t000807) :- trait(X, p000190, true), trait(X, p000216, true). trait(X, p000210, true, t000808) :- trait(X, p000120, true). trait(X, p000210, true, t000809) :- trait(X, p000154, true). trait(X, p000057, true, t000810) :- trait(X, p000190, true), trait(X, p000215, true). trait(X, p000044, false, t000811) :- trait(X, p000208, true), trait(X, p000078, false). trait(X, p000145, true, t000812) :- trait(X, p000023, true), trait(X, p000105, true), trait(X, p000011, true). trait(X, p000136, true, t000813) :- trait(X, p000167, true), trait(X, p000051, true), trait(X, p000170, true). trait(X, p000219, true, t000814) :- trait(X, p000129, true). trait(X, p000204, false, t000815) :- trait(X, p000219, true), trait(X, p000078, false). trait(X, p000219, true, t000816) :- trait(X, p000222, true). trait(X, p000219, true, t000817) :- trait(X, p000052, true). trait(X, p000219, true, t000818) :- trait(X, p000078, true). trait(X, p000196, true, t000819) :- trait(X, p000219, true), trait(X, p000002, false), trait(X, p000078, false). trait(X, p000121, true, t000820) :- trait(X, p000011, true), trait(X, p000028, true), trait(X, p000118, true). trait(X, p000017, true, t000821) :- trait(X, p000190, true), trait(X, p000034, true). trait(X, p000207, true, t000822) :- trait(X, p000154, true). trait(X, p000226, true, t000823) :- trait(X, p000016, true), trait(X, p000185, true). trait(X, p000078, true, t000824) :- trait(X, p000226, true), trait(X, p000002, true). trait(X, p000226, true, t000825) :- trait(X, p000078, true). trait(X, p000090, true, t000826) :- trait(X, p000226, true). trait(X, p000078, true, t000827) :- trait(X, p000226, true), trait(X, p000203, true). trait(X, p000021, true, t000828) :- trait(X, p000226, true). trait(X, p000078, true, t000829) :- trait(X, p000226, true), trait(X, p000045, true). trait(X, p000016, true, t000830) :- trait(X, p000226, true), trait(X, p000185, true). trait(X, p000051, true, t000831) :- trait(X, p000226, true), trait(X, p000001, true). trait(X, p000180, true, t000832) :- trait(X, p000226, true). trait(X, p000198, false, t000833) :- trait(X, p000227, true). trait(X, p000058, false, t000834) :- trait(X, p000227, true). trait(X, p000227, true, t000835) :- trait(X, p000052, true), trait(X, p000058, false). trait(X, p000013, false, t000836) :- trait(X, p000026, true), trait(X, p000227, true). trait(X, p000089, true, t000837) :- trait(X, p000226, true), trait(X, p000202, true), trait(X, p000001, true). trait(X, p000032, false, t000838) :- trait(X, p000026, true), trait(X, p000227, true). trait(X, p000172, true, t000839) :- trait(X, p000120, true). trait(X, p000079, true, t000840) :- trait(X, p000228, true). trait(X, p000052, true, t000841) :- trait(X, p000219, true), trait(X, p000227, true), trait(X, p000065, true). trait(X, p000052, true, t000843) :- trait(X, p000219, true), trait(X, p000197, false), trait(X, p000114, true). trait(X, p000078, true, t000844) :- trait(X, p000219, true), trait(X, p000203, true). trait(X, p000028, true, t000845) :- trait(X, p000228, true), trait(X, p000080, true), trait(X, p000099, true). trait(X, p000229, true, t000846) :- trait(X, p000200, true). trait(X, p000230, true, t000847) :- trait(X, p000122, true). trait(X, p000230, true, t000848) :- trait(X, p000090, true). trait(X, p000229, true, t000849) :- trait(X, p000046, true). trait(X, p000200, true, t000850) :- trait(X, p000133, true), trait(X, p000037, true). trait(X, p000229, true, t000851) :- trait(X, p000120, true). trait(X, p000229, true, t000852) :- trait(X, p000154, true). trait(X, p000231, true, t000853) :- trait(X, p000230, true). trait(X, p000232, true, t000854) :- trait(X, p000230, true). trait(X, p000229, true, t000855) :- trait(X, p000231, true). trait(X, p000229, true, t000856) :- trait(X, p000232, true). trait(X, p000042, true, t000857) :- trait(X, p000232, true). trait(X, p000231, true, t000858) :- trait(X, p000200, true).