Computation with Bounded Resources

Setup

The experiments were generated using this test file and this TCT configuration file. The testbed can be downloaded from here.

Overview

	collapsing	constructor	duplicating	leftlinear	orthogonal	overlay	rightlinear	wellformed
Total YES	1110	779	1057	2706	558	981	1835	2910
Total NO	1800	2131	1853	204	2351	1928	1075	-

Details

Problem ( selected)	collapsing	constructor	duplicating	leftlinear	orthogonal	overlay	rightlinear	wellformed
AG01 3.1	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.10	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.12	YES	YES	NO	YES	YES	YES	YES	YES
AG01 3.13	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.15	NO	YES	NO	YES	NO	YES	YES	YES
AG01 3.16	YES	YES	YES	YES	NO	YES	NO	YES
AG01 3.17	YES	NO	NO	YES	NO	NO	YES	YES
AG01 3.17a	YES	NO	NO	YES	NO	NO	YES	YES
AG01 3.18	YES	YES	YES	YES	NO	YES	NO	YES
AG01 3.19	YES	NO	YES	YES	NO	NO	NO	YES
AG01 3.2	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.21	YES	NO	YES	YES	YES	YES	NO	YES
AG01 3.22	YES	NO	YES	YES	NO	NO	NO	YES
AG01 3.23	NO	YES	YES	YES	YES	YES	NO	YES
AG01 3.24	NO	YES	NO	YES	YES	YES	YES	YES
AG01 3.26	NO	YES	NO	YES	NO	YES	YES	YES
AG01 3.29	NO	YES	YES	NO	NO	YES	NO	YES
AG01 3.31	NO	YES	YES	YES	YES	YES	NO	YES
AG01 3.33	NO	YES	NO	YES	YES	YES	YES	YES
AG01 3.35	NO	YES	NO	YES	YES	YES	YES	YES
AG01 3.36	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.37	NO	YES	NO	YES	YES	YES	YES	YES
AG01 3.38	NO	YES	YES	YES	YES	YES	NO	YES
AG01 3.39	YES	NO	YES	YES	NO	NO	NO	YES
AG01 3.4	YES	NO	YES	YES	NO	NO	NO	YES
AG01 3.40	YES	NO	YES	YES	NO	NO	NO	YES
AG01 3.41	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.42	NO	YES	YES	YES	YES	YES	NO	YES
AG01 3.47	NO	YES	YES	YES	NO	YES	NO	YES
AG01 3.48	NO	YES	YES	YES	NO	YES	NO	YES
AG01 3.49	NO	YES	NO	YES	NO	YES	YES	YES
AG01 3.5	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.51	YES	NO	NO	YES	NO	NO	YES	YES
AG01 3.52	NO	YES	YES	YES	NO	YES	NO	YES
AG01 3.53	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.53a	YES	YES	YES	NO	NO	YES	NO	YES
AG01 3.53b	YES	YES	YES	YES	NO	YES	NO	YES
AG01 3.54	NO	YES	YES	NO	NO	YES	NO	YES
AG01 3.55	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.56	YES	NO	NO	YES	NO	NO	YES	YES
AG01 3.57	YES	NO	YES	YES	NO	NO	NO	YES
AG01 3.5a	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.5b	NO	YES	YES	YES	YES	YES	NO	YES
AG01 3.6	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.6a	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.6b	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.7	NO	YES	NO	YES	YES	YES	YES	YES
AG01 3.8a	YES	YES	YES	YES	YES	YES	NO	YES
AG01 3.8b	NO	YES	YES	YES	YES	YES	NO	YES
AG01 4.30c	YES	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.12a	YES	YES	YES	YES	NO	YES	NO	YES
AG01 innermost 4.13	YES	NO	YES	NO	NO	NO	NO	YES
AG01 innermost 4.14	NO	NO	YES	YES	NO	NO	NO	YES
AG01 innermost 4.15	NO	NO	YES	YES	NO	NO	NO	YES
AG01 innermost 4.16	NO	NO	YES	YES	NO	NO	NO	YES
AG01 innermost 4.17	NO	NO	NO	YES	NO	NO	YES	YES
AG01 innermost 4.18	NO	NO	NO	YES	NO	NO	YES	YES
AG01 innermost 4.19	YES	YES	YES	NO	NO	YES	NO	YES
AG01 innermost 4.2	NO	NO	YES	YES	NO	NO	NO	YES
AG01 innermost 4.20	NO	NO	NO	YES	NO	NO	YES	YES
AG01 innermost 4.20a	NO	NO	NO	YES	NO	NO	YES	YES
AG01 innermost 4.21	NO	NO	NO	YES	NO	NO	YES	YES
AG01 innermost 4.22	NO	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.23	YES	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.24	NO	YES	NO	YES	YES	YES	YES	YES
AG01 innermost 4.25	NO	YES	NO	NO	NO	YES	NO	YES
AG01 innermost 4.26	YES	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.27	YES	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.28	NO	YES	NO	YES	YES	YES	YES	YES
AG01 innermost 4.29	YES	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.3	YES	NO	YES	NO	NO	NO	NO	YES
AG01 innermost 4.30	YES	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.30a	YES	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.30b	YES	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.31	YES	YES	NO	YES	YES	YES	YES	YES
AG01 innermost 4.32	NO	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.33	YES	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.34	YES	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.35	YES	YES	YES	NO	NO	YES	NO	YES
AG01 innermost 4.36	NO	YES	YES	YES	YES	YES	NO	YES
AG01 innermost 4.37	NO	YES	NO	YES	YES	YES	YES	YES
AG01 innermost 4.37a	NO	NO	NO	YES	NO	NO	YES	YES
AG01 innermost 4.4	NO	NO	YES	NO	NO	NO	NO	YES
AG01 innermost 4.5	NO	NO	NO	YES	NO	NO	YES	YES
AG01 innermost 4.7	NO	NO	YES	YES	NO	NO	NO	YES
AProVE 04 AAECC	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 04 AAECC-ring	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 04 IJCAR 1	NO	YES	YES	YES	NO	YES	NO	YES
AProVE 04 IJCAR 12	YES	NO	YES	YES	NO	NO	NO	YES
AProVE 04 IJCAR 18	YES	NO	YES	YES	NO	NO	NO	YES
AProVE 04 IJCAR 26	YES	NO	YES	YES	NO	NO	NO	YES
AProVE 04 IJCAR 26a	YES	NO	YES	YES	NO	NO	NO	YES
AProVE 04 JFP Ex31	NO	NO	YES	YES	NO	NO	NO	YES
AProVE 04 JFP Ex51	NO	YES	YES	YES	NO	YES	NO	YES
AProVE 04 LPAR intlist	NO	YES	NO	NO	NO	YES	YES	YES
AProVE 04 Liveness6.1	NO	NO	NO	YES	NO	NO	YES	YES
AProVE 04 Liveness6.2	NO	NO	NO	YES	NO	NO	YES	YES
AProVE 04 Liveness6.3	NO	NO	NO	YES	NO	NO	YES	YES
AProVE 04 Liveness6.4	NO	NO	NO	YES	NO	NO	YES	YES
AProVE 04 Liveness8	NO	NO	NO	YES	NO	NO	YES	YES
AProVE 04 Liveness WRS	NO	NO	NO	YES	NO	NO	YES	YES
AProVE 04 fac	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 04 forward instantiation	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 04 forward instantiation2	NO	YES	YES	YES	NO	YES	NO	YES
AProVE 04 improved usable	YES	NO	YES	YES	NO	NO	NO	YES
AProVE 04 improved usable2	YES	NO	YES	YES	NO	NO	NO	YES
AProVE 04 rta1	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 04 rta2	NO	YES	YES	YES	NO	YES	NO	YES
AProVE 04 rta3	NO	YES	YES	YES	NO	YES	NO	YES
AProVE 06 div notCeTermin	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 06 div notTermin	NO	NO	YES	YES	NO	NO	NO	YES
AProVE 06 factorial1	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 06 factorial2	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 06 identity	YES	YES	NO	YES	NO	YES	YES	YES
AProVE 06 logarithm	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 06 mapHard	YES	NO	YES	YES	YES	YES	NO	YES
AProVE 06 modulo	YES	YES	YES	NO	NO	YES	NO	YES
AProVE 06 nonterm	NO	YES	NO	NO	NO	YES	NO	YES
AProVE 06 quicksort	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 06 quot	YES	YES	YES	NO	NO	YES	NO	YES
AProVE 06 sizeChange	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 06 tower	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 06 tower sizeChange	YES	YES	NO	YES	YES	YES	YES	YES
AProVE 07 kabasci01	NO	NO	YES	YES	NO	NO	NO	YES
AProVE 07 kabasci02	YES	NO	YES	NO	NO	NO	NO	YES
AProVE 07 kabasci03	YES	NO	YES	NO	NO	NO	NO	YES
AProVE 07 kabasci04	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 07 kabasci05	YES	NO	YES	YES	NO	NO	NO	YES
AProVE 07 kabasci06	YES	NO	YES	YES	NO	NO	NO	YES
AProVE 07 otto01	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 otto02	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 otto03	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 07 otto04	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 otto05	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 otto06	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 otto07	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 07 otto08	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 otto09	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 otto10	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 otto11	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 07 otto12	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 otto13	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann01	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 07 thiemann02	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann03	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann04	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann05	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann06	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann07	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann08	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann09	YES	NO	YES	YES	NO	NO	NO	YES
AProVE 07 thiemann10	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann11	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann12	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann13	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 07 thiemann14	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann15	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann16	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann17	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann18	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann19	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann20	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann21	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann22	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann23	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann24	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann25	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann26	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 07 thiemann27	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann28	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 07 thiemann29	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann30	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann31	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann32	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann33	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann34	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann35	YES	NO	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann36	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann37	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann38	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann39	YES	NO	YES	YES	YES	YES	NO	YES
AProVE 07 thiemann40	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 07 thiemann41	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 07 wiehe01	YES	NO	YES	NO	NO	NO	NO	YES
AProVE 07 wiehe02	YES	NO	YES	NO	NO	NO	NO	YES
AProVE 07 wiehe03	YES	NO	YES	NO	NO	NO	NO	YES
AProVE 07 wiehe05	YES	NO	YES	NO	NO	NO	NO	YES
AProVE 07 wiehe06	YES	NO	YES	NO	NO	NO	NO	YES
AProVE 07 wiehe07	YES	NO	YES	NO	NO	NO	NO	YES
AProVE 07 wiehe08	YES	NO	YES	NO	NO	NO	NO	YES
AProVE 07 wiehe09	YES	NO	YES	NO	NO	NO	NO	YES
AProVE 07 wiehe11	YES	NO	YES	NO	NO	NO	NO	YES
AProVE 07 wiehe12	YES	NO	YES	NO	NO	NO	NO	YES
AProVE 08 id inc	NO	YES	YES	NO	NO	YES	NO	YES
AProVE 08 log	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 08 parting01 reverse	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 08 parting02 doublelist	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 08 parting03 minsort	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 08 parting04 maxsort h	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 08 parting05 maxsort	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 08 round	NO	YES	NO	NO	NO	YES	NO	YES
AProVE 08 round nonterm	NO	YES	NO	NO	NO	YES	NO	YES
AProVE 08 thiemann40 modified	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 09 Inductive div	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive divhard	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive gcd	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive gcd2	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive gcdhard	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive log	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive maxsort	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive maxsortcondition	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive minsort	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive mod	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive qsort	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive qsortlast	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive qsortmiddle	YES	YES	YES	YES	YES	YES	NO	YES
AProVE 09 Inductive zerolist	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 10 Zantema06-03-modified	NO	NO	YES	YES	NO	NO	NO	YES
AProVE 10 andIsNat	NO	YES	YES	YES	NO	YES	NO	YES
AProVE 10 challenge fab	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 10 double	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 10 downfrom	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 10 ex1	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 10 ex2	NO	NO	YES	YES	YES	YES	NO	YES
AProVE 10 ex3	NO	YES	YES	YES	NO	YES	NO	YES
AProVE 10 ex4	YES	YES	YES	YES	NO	YES	NO	YES
AProVE 10 ex5	NO	YES	NO	YES	YES	YES	YES	YES
AProVE 10 halfdouble	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 10 isList	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 10 isNat	NO	YES	YES	YES	YES	YES	NO	YES
AProVE 10 scnp	NO	YES	YES	YES	NO	YES	NO	YES
AotoYamada 05 001	NO	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 002	NO	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 003	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 004	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 005	YES	NO	NO	YES	YES	YES	YES	YES
AotoYamada 05 006	NO	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 007	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 009	NO	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 010	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 011	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 012	NO	NO	YES	YES	NO	YES	NO	YES
AotoYamada 05 013	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 014	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 015	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 016	NO	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 017	NO	NO	NO	YES	YES	YES	YES	YES
AotoYamada 05 019	NO	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 020	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 021	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 022	NO	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 023	YES	NO	NO	YES	YES	YES	YES	YES
AotoYamada 05 024	NO	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 025	NO	NO	NO	YES	YES	YES	YES	YES
AotoYamada 05 026	NO	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 027	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 028	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 Ex1SimplyTyped	YES	NO	YES	YES	YES	YES	NO	YES
AotoYamada 05 Ex5TermProof	YES	NO	YES	YES	YES	YES	NO	YES
Applicative 05 BTreeMember	NO	NO	YES	NO	NO	YES	NO	YES
Applicative 05 Ex10Functional	YES	NO	YES	YES	NO	NO	NO	YES
Applicative 05 Ex2PrimRec	YES	NO	YES	YES	NO	NO	NO	YES
Applicative 05 Ex2 6 1Composition	NO	NO	NO	YES	YES	YES	YES	YES
Applicative 05 Ex2 8 1ConstSubstFix	YES	NO	YES	YES	YES	YES	NO	YES
Applicative 05 Ex3Lists	YES	NO	YES	YES	NO	NO	NO	YES
Applicative 05 Ex4MapList	NO	NO	YES	YES	YES	YES	NO	YES
Applicative 05 Ex5Folding	YES	NO	YES	YES	YES	YES	NO	YES
Applicative 05 Ex5Sorting	YES	NO	YES	YES	NO	YES	NO	YES
Applicative 05 Ex6Folding	YES	NO	YES	YES	NO	YES	NO	YES
Applicative 05 Ex6Recursor	YES	NO	YES	YES	YES	YES	NO	YES
Applicative 05 Ex6 11	NO	NO	YES	NO	NO	NO	NO	YES
Applicative 05 Ex7OrdinalRec	YES	NO	YES	YES	YES	YES	NO	YES
Applicative 05 Ex7Sorting	YES	NO	YES	YES	NO	YES	NO	YES
Applicative 05 Ex7 9	YES	NO	YES	YES	YES	YES	NO	YES
Applicative 05 Ex8Polymorphic	NO	NO	YES	YES	YES	YES	NO	YES
Applicative 05 Ex9Maps	NO	NO	YES	YES	YES	YES	NO	YES
Applicative 05 Hamming	YES	NO	YES	NO	NO	YES	NO	YES
Applicative 05 ReverseLastInit	YES	NO	NO	YES	YES	YES	YES	YES
Applicative 05 TakeDropWhile	YES	NO	YES	YES	NO	YES	NO	YES
Applicative 05 TreeFlatten	YES	NO	YES	YES	YES	YES	NO	YES
Applicative 05 TreeHeight	YES	NO	YES	YES	YES	YES	NO	YES
Applicative 05 TreeLevels	YES	NO	YES	YES	NO	YES	NO	YES
Applicative 05 TreeMap	NO	NO	YES	YES	YES	YES	NO	YES
Applicative 05 TreeSize	NO	NO	YES	YES	YES	YES	NO	YES
Applicative 05 TypeEx1	NO	NO	YES	NO	NO	YES	NO	YES
Applicative 05 TypeEx3	NO	NO	YES	YES	NO	NO	NO	YES
Applicative 05 TypeEx5	YES	NO	NO	YES	YES	YES	YES	YES
Applicative 05 mapDivMinus	YES	NO	YES	YES	YES	YES	NO	YES
Applicative 05 mapDivMinusHard	YES	NO	YES	YES	YES	YES	NO	YES
Applicative 05 nonTermF	YES	NO	YES	NO	NO	YES	NO	YES
Applicative 05 termMonTypes	YES	NO	YES	YES	YES	YES	NO	YES
Applicative AG01 innermost 4.10	NO	NO	YES	NO	NO	NO	NO	YES
Applicative AG01 innermost 4.13	YES	NO	YES	NO	NO	NO	NO	YES
Applicative AG01 innermost 4.15	NO	NO	YES	YES	NO	NO	NO	YES
Applicative AG01 innermost 4.17	NO	NO	YES	YES	NO	NO	NO	YES
Applicative AG01 innermost 4.19	YES	NO	YES	NO	NO	YES	NO	YES
Applicative AG01 innermost 4.2	NO	NO	YES	YES	NO	NO	NO	YES
Applicative AG01 innermost 4.22	NO	NO	YES	YES	YES	YES	NO	YES
Applicative AG01 innermost 4.24	NO	NO	YES	YES	YES	YES	NO	YES
Applicative AG01 innermost 4.26	YES	NO	YES	YES	YES	YES	NO	YES
Applicative AG01 innermost 4.28	NO	NO	YES	YES	YES	YES	NO	YES
Applicative AG01 innermost 4.3	YES	NO	YES	NO	NO	NO	NO	YES
Applicative AG01 innermost 4.34	YES	NO	YES	YES	YES	YES	NO	YES
Applicative AG01 innermost 4.36	NO	NO	YES	YES	YES	YES	NO	YES
Applicative AG01 innermost 4.5	NO	NO	YES	YES	NO	NO	NO	YES
Applicative AG01 innermost 4.7	NO	NO	YES	YES	NO	NO	NO	YES
Applicative AG01 innermost 4.8	YES	NO	YES	YES	NO	YES	NO	YES
Applicative first order 05 01	YES	NO	YES	NO	NO	NO	NO	YES
Applicative first order 05 02	YES	NO	YES	NO	NO	NO	NO	YES
Applicative first order 05 06	NO	NO	YES	YES	NO	YES	NO	YES
Applicative first order 05 08	NO	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 11	NO	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 12	YES	NO	YES	YES	NO	NO	NO	YES
Applicative first order 05 13	NO	NO	YES	YES	NO	NO	NO	YES
Applicative first order 05 17	YES	NO	YES	NO	NO	NO	NO	YES
Applicative first order 05 18	NO	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 21	YES	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 29	NO	NO	YES	YES	NO	YES	NO	YES
Applicative first order 05 3.10	YES	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 3.13	YES	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 3.16	YES	NO	YES	YES	NO	YES	NO	YES
Applicative first order 05 3.18	YES	NO	YES	YES	NO	YES	NO	YES
Applicative first order 05 3.2	YES	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 3.22	YES	NO	YES	YES	NO	NO	NO	YES
Applicative first order 05 3.25	NO	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 3.27	NO	NO	YES	YES	NO	NO	NO	YES
Applicative first order 05 3.32	NO	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 3.36	YES	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 3.38	NO	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 3.40	YES	NO	YES	YES	NO	NO	NO	YES
Applicative first order 05 3.45	NO	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 3.48	NO	NO	YES	YES	NO	YES	NO	YES
Applicative first order 05 3.52	NO	NO	YES	YES	NO	YES	NO	YES
Applicative first order 05 3.55	YES	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 3.57	YES	NO	YES	YES	NO	NO	NO	YES
Applicative first order 05 3.6	YES	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 3.8	YES	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 30	NO	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 31	NO	NO	YES	YES	NO	NO	NO	YES
Applicative first order 05 33	NO	NO	YES	YES	NO	NO	NO	YES
Applicative first order 05 hydra	YES	NO	YES	YES	NO	NO	NO	YES
Applicative first order 05 minsort	YES	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 motivation	NO	NO	YES	YES	NO	NO	NO	YES
Applicative first order 05 perfect	NO	NO	YES	YES	YES	YES	NO	YES
Applicative first order 05 perfect2	YES	NO	YES	YES	YES	YES	NO	YES
Beerendonk 07 1	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 10	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 11	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 12	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 13	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 14	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 15	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 16	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 17	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 18	YES	YES	YES	YES	NO	YES	NO	YES
Beerendonk 07 19	YES	YES	YES	YES	NO	YES	NO	YES
Beerendonk 07 2	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 20	YES	YES	YES	YES	NO	YES	NO	YES
Beerendonk 07 21	YES	YES	YES	YES	NO	YES	NO	YES
Beerendonk 07 22	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 23	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 24	YES	YES	YES	YES	NO	YES	NO	YES
Beerendonk 07 3	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 4	NO	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 5	YES	YES	YES	YES	NO	YES	NO	YES
Beerendonk 07 6	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 7	YES	YES	YES	YES	YES	YES	NO	YES
Beerendonk 07 8	YES	YES	YES	YES	NO	YES	NO	YES
Beerendonk 07 9	YES	YES	YES	YES	NO	YES	NO	YES
Bouchare 06 01	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 02	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 03	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 04	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 05	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 06	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 07	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 08	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 09	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 10	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 11	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 12	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 13	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 14	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 15	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 16	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 17	NO	NO	NO	YES	NO	NO	YES	YES
Bouchare 06 18	NO	NO	NO	YES	NO	NO	YES	YES
CSR 04 Ex14 AEGL02	NO	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex14 Luc06	NO	NO	YES	NO	NO	NO	NO	YES
CSR 04 Ex15 Luc06	NO	NO	NO	YES	YES	YES	YES	YES
CSR 04 Ex15 Luc98	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex16 Luc06	NO	YES	NO	NO	NO	YES	YES	YES
CSR 04 Ex1 2 AEL03	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex1 2 Luc02c	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex1 GL02a	NO	YES	YES	YES	NO	YES	NO	YES
CSR 04 Ex1 GM03	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex1 GM99	NO	YES	YES	YES	NO	YES	NO	YES
CSR 04 Ex1 Luc02b	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex1 Luc04b	YES	YES	NO	YES	YES	YES	YES	YES
CSR 04 Ex1 Zan97	NO	YES	NO	YES	YES	YES	YES	YES
CSR 04 Ex23 Luc06	NO	NO	NO	YES	YES	YES	YES	YES
CSR 04 Ex24 GM04	NO	NO	YES	NO	NO	NO	NO	YES
CSR 04 Ex24 Luc06	NO	NO	YES	YES	NO	NO	NO	YES
CSR 04 Ex25 Luc06	NO	NO	NO	YES	NO	NO	YES	YES
CSR 04 Ex26 Luc03b	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex2 Luc02a	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex2 Luc03b	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex3 12 Luc96a	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex3 2 Luc97	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex3 3 25 Bor03	YES	YES	YES	YES	NO	YES	NO	YES
CSR 04 Ex49 GM04	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex4 4 Luc96b	NO	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex4 7 15 Bor03	NO	YES	NO	YES	YES	YES	YES	YES
CSR 04 Ex4 7 37 Bor03	YES	YES	YES	YES	NO	YES	NO	YES
CSR 04 Ex4 7 56 Bor03	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex4 7 77 Bor03	YES	YES	NO	YES	YES	YES	YES	YES
CSR 04 Ex4 DLMMU04	YES	NO	YES	YES	NO	NO	NO	YES
CSR 04 Ex4 Zan97	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex5 7 Luc97	YES	NO	YES	YES	NO	NO	NO	YES
CSR 04 Ex5 DLMMU04	YES	YES	YES	YES	NO	YES	NO	YES
CSR 04 Ex5 Zan97	YES	YES	NO	YES	YES	YES	YES	YES
CSR 04 Ex6 15 AEL02	YES	NO	YES	YES	NO	NO	NO	YES
CSR 04 Ex6 9 Luc02c	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex6 GM04	NO	YES	NO	YES	YES	YES	YES	YES
CSR 04 Ex6 Luc98	NO	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex7 BLR02	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex8 BLR02	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex9 BLR02	NO	YES	YES	YES	YES	YES	NO	YES
CSR 04 Ex9 Luc04	NO	YES	YES	YES	NO	YES	NO	YES
CSR 04 Ex9 Luc06	NO	YES	NO	NO	NO	YES	YES	YES
CSR 04 ExAppendixB AEL03	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 ExConc Zan97	NO	YES	NO	YES	YES	YES	YES	YES
CSR 04 ExIntrod GM01	YES	YES	NO	YES	YES	YES	YES	YES
CSR 04 ExIntrod GM04	YES	YES	NO	YES	YES	YES	YES	YES
CSR 04 ExIntrod GM99	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 ExIntrod Zan97	YES	YES	YES	YES	YES	YES	NO	YES
CSR 04 ExProp7 Luc06	YES	YES	NO	YES	YES	YES	YES	YES
CSR 04 ExSec11 1 Luc02a	YES	NO	YES	YES	NO	NO	NO	YES
CSR 04 ExSec11 1 Luc02a-TRCSR	YES	NO	YES	YES	NO	NO	NO	YES
CSR 04 ExSec4 2 DLMMU04	YES	YES	YES	YES	YES	YES	NO	YES
CiME 04 ack prolog	NO	YES	YES	YES	YES	YES	NO	YES
CiME 04 append	YES	YES	YES	YES	YES	YES	NO	YES
CiME 04 append-hard	YES	YES	YES	YES	YES	YES	NO	YES
CiME 04 append-wrong	YES	YES	YES	YES	YES	YES	NO	YES
CiME 04 big	YES	NO	YES	YES	NO	NO	NO	YES
CiME 04 boolean rings	YES	NO	YES	NO	NO	NO	NO	YES
CiME 04 dpqs	YES	NO	NO	YES	NO	NO	YES	YES
CiME 04 fact-hard	YES	YES	YES	YES	YES	YES	NO	YES
CiME 04 filliatre	YES	YES	NO	YES	NO	YES	YES	YES
CiME 04 filliatre2	YES	YES	NO	YES	NO	YES	YES	YES
CiME 04 filliatre3	YES	YES	YES	YES	NO	YES	NO	YES
CiME 04 intersect	YES	NO	YES	YES	NO	NO	NO	YES
CiME 04 list-sum-prod	YES	YES	YES	YES	NO	YES	NO	YES
CiME 04 list-sum-prod-assoc	YES	NO	YES	YES	NO	NO	NO	YES
CiME 04 list-sum-prod-assoc-append	YES	NO	YES	YES	NO	NO	NO	YES
CiME 04 list-sum-prod-bin	YES	NO	YES	YES	NO	NO	NO	YES
CiME 04 list-sum-prod-bin-assoc	YES	NO	YES	YES	NO	NO	NO	YES
CiME 04 list-su...od-bin-assoc-distr-app	YES	NO	YES	YES	NO	NO	NO	YES
CiME 04 log2	YES	NO	YES	YES	NO	NO	NO	YES
CiME 04 lse	YES	NO	YES	YES	NO	NO	NO	YES
CiME 04 maude2	YES	YES	YES	NO	NO	YES	NO	YES
CiME 04 mucrl1	YES	NO	YES	NO	NO	YES	NO	YES
CiME 04 ternary	YES	NO	YES	YES	NO	NO	NO	YES
CiME 04 ternary-hard	YES	NO	YES	YES	NO	NO	NO	YES
CiME 04 tree	YES	NO	YES	YES	NO	NO	NO	YES
Der95 01	YES	NO	NO	NO	NO	NO	YES	YES
Der95 02	YES	NO	NO	NO	NO	NO	YES	YES
Der95 03	NO	NO	NO	YES	NO	NO	YES	YES
Der95 04	NO	NO	NO	YES	NO	NO	YES	YES
Der95 06	NO	YES	NO	YES	NO	YES	YES	YES
Der95 07	NO	NO	NO	YES	NO	NO	YES	YES
Der95 08	NO	YES	YES	YES	YES	YES	NO	YES
Der95 09	NO	NO	NO	YES	NO	NO	YES	YES
Der95 11	NO	YES	YES	YES	YES	YES	NO	YES
Der95 12	YES	NO	YES	YES	NO	NO	NO	YES
Der95 13	NO	NO	YES	YES	NO	NO	NO	YES
Der95 17	YES	NO	NO	NO	NO	NO	YES	YES
Der95 18	NO	YES	YES	YES	YES	YES	NO	YES
Der95 20	YES	NO	NO	YES	NO	NO	YES	YES
Der95 21	YES	YES	YES	YES	YES	YES	NO	YES
Der95 27	NO	YES	NO	YES	YES	YES	YES	YES
Der95 28	NO	NO	YES	YES	NO	NO	NO	YES
Der95 30	NO	NO	YES	YES	YES	YES	NO	YES
Der95 31	NO	NO	YES	YES	NO	NO	NO	YES
Der95 32	NO	YES	YES	YES	YES	YES	NO	YES
Der95 33	NO	NO	YES	YES	NO	NO	NO	YES
Endrullis 06 direct	NO	YES	NO	YES	NO	YES	YES	YES
Endrullis 06 labeling	NO	NO	YES	YES	NO	NO	NO	YES
Endrullis 06 linear1	NO	NO	NO	YES	NO	NO	YES	YES
Endrullis 06 linear2	NO	NO	NO	YES	NO	NO	YES	YES
Endrullis 06 pair2hard	NO	NO	YES	YES	NO	NO	NO	YES
Endrullis 06 pair2simple1	NO	NO	YES	YES	NO	NO	NO	YES
Endrullis 06 pair2simple2	NO	NO	YES	YES	NO	NO	NO	YES
Endrullis 06 pair3hard	NO	NO	YES	YES	NO	NO	NO	YES
Endrullis 06 pair3rotate	NO	NO	NO	YES	NO	NO	YES	YES
Endrullis 06 pair3swap	NO	NO	NO	YES	NO	NO	YES	YES
Endrullis 06 quadruple1	NO	NO	NO	YES	NO	NO	YES	YES
Endrullis 06 quadruple2	NO	NO	NO	YES	NO	NO	YES	YES
GTSSK07 cade01	NO	YES	YES	YES	YES	YES	NO	YES
GTSSK07 cade03	NO	YES	YES	YES	YES	YES	NO	YES
GTSSK07 cade04t	NO	YES	YES	NO	NO	YES	NO	YES
GTSSK07 cade05t	NO	YES	YES	YES	NO	YES	NO	YES
GTSSK07 cade06	YES	YES	YES	YES	NO	YES	NO	YES
GTSSK07 cade07	NO	YES	YES	YES	NO	YES	NO	YES
GTSSK07 cade08	YES	YES	YES	YES	NO	YES	NO	YES
GTSSK07 cade09	NO	YES	YES	YES	YES	YES	NO	YES
GTSSK07 cade10	NO	YES	YES	YES	YES	YES	NO	YES
GTSSK07 cade11	NO	YES	YES	YES	YES	YES	NO	YES
GTSSK07 cade12t	YES	YES	YES	YES	YES	YES	NO	YES
GTSSK07 cade13t	YES	YES	YES	YES	YES	YES	NO	YES
GTSSK07 cade14	NO	YES	YES	YES	YES	YES	NO	YES
GTSSK07 cade15	YES	YES	YES	YES	YES	YES	NO	YES
GTSSK07 cade16	YES	YES	YES	YES	YES	YES	NO	YES
GTSSK07 cade17	YES	YES	YES	YES	YES	YES	NO	YES
Gebhardt 06 01	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 02	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 03	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 04	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 05	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 06	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 07	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 08	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 09	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 10	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 11	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 12	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 13	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 14	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 15	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 16	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 17	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 18	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 19	NO	NO	NO	YES	NO	NO	YES	YES
Gebhardt 06 20	NO	NO	NO	YES	NO	NO	YES	YES
HirokawaMiddeldorp 04 n002	NO	YES	NO	YES	YES	YES	YES	YES
HirokawaMiddeldorp 04 n003	NO	YES	NO	YES	YES	YES	YES	YES
HirokawaMiddeldorp 04 n004	NO	YES	NO	YES	YES	YES	YES	YES
HirokawaMiddeldorp 04 n005	NO	YES	NO	YES	YES	YES	YES	YES
HirokawaMiddeldorp 04 n006	NO	YES	NO	YES	YES	YES	YES	YES
HirokawaMiddeldorp 04 n007	NO	YES	YES	YES	NO	YES	NO	YES
HirokawaMiddeldorp 04 t000	YES	NO	NO	YES	NO	NO	YES	YES
HirokawaMiddeldorp 04 t001	YES	YES	YES	YES	NO	YES	NO	YES
HirokawaMiddeldorp 04 t002	YES	YES	YES	YES	YES	YES	NO	YES
HirokawaMiddeldorp 04 t003	YES	YES	YES	YES	YES	YES	NO	YES
HirokawaMiddeldorp 04 t004	YES	YES	NO	YES	YES	YES	YES	YES
HirokawaMiddeldorp 04 t005	YES	NO	YES	YES	NO	NO	NO	YES
HirokawaMiddeldorp 04 t006	NO	NO	NO	NO	NO	YES	NO	YES
HirokawaMiddeldorp 04 t007	NO	YES	NO	YES	NO	YES	YES	YES
HirokawaMiddeldorp 04 t008	NO	NO	NO	YES	NO	NO	YES	YES
HirokawaMiddeldorp 04 t009	YES	YES	NO	YES	YES	YES	YES	YES
HirokawaMiddeldorp 04 t010	NO	NO	NO	YES	NO	NO	YES	YES
HirokawaMiddeldorp 04 t011	NO	YES	NO	YES	YES	YES	YES	YES
HirokawaMiddeldorp 04 t012	YES	NO	NO	YES	NO	NO	YES	YES
HirokawaMiddeldorp 04 t013	YES	YES	YES	YES	YES	YES	NO	YES
HirokawaMiddeldorp 04 t014	YES	YES	YES	YES	NO	YES	NO	YES
ICFP 2010 107193	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 107220	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 107236	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 123759	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 124211	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 124269	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 124791	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 127538	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 128056	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 128182	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 128280	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 128430	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 128486	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 128515	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 128550	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 128620	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 128691	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 130161	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 130304	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 130472	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 130962	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 131633	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 131982	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132235	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132478	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132540	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132611	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132622	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132720	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132738	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132782	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132833	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132848	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132864	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132920	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132957	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 132969	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 133010	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 133079	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 133159	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 133236	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 133432	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 133486	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 133532	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 133827	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 133881	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 134918	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 135115	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 135328	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 135410	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 135505	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 135601	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 135604	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 135652	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 135659	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 135714	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 135782	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 135936	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136051	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136280	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136323	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136354	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136463	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136497	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136534	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136562	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136571	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136601	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136623	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136693	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 136934	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 137087	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 137136	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 137316	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 137404	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 137621	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 137623	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 137715	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 137799	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 137809	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 137956	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 138089	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 138142	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 138194	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 138254	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 138269	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 138330	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 138468	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 138477	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 138993	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139004	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139018	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139025	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139036	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139100	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139163	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139167	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139174	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139180	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139185	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139190	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139214	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139236	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139256	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139282	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139310	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 139378	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 140287	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 140318	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 140359	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 140631	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 140639	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 140654	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 140659	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 140664	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 142142	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 142146	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 142150	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 142157	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 147437	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 148543	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 149251	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 149277	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 149297	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 149319	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 149361	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 149415	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 149633	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 149713	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 149849	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 149915	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 150067	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 150188	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 150258	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 150468	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 150630	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 150725	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 150815	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 150839	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 150877	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 151247	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 152694	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 152786	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 152865	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 152949	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 153034	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 153090	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 153170	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 153243	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 153288	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 153371	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 153444	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 157150	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 157161	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 157275	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 157388	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 157436	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 157466	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 157593	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 157603	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 157713	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 158152	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 158208	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 158342	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 158477	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 158620	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 159731	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 160068	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 160210	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 160234	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 160254	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 160263	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 160324	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 160364	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 160398	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 160427	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 160462	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 160475	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 160660	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 161519	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 161533	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 161593	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 161864	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 161917	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 161930	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 162016	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 162075	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 162095	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 162244	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 165713	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 165755	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 165904	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 165936	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 165975	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 166001	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 166465	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 166493	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 166558	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 166848	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 167041	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 167087	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 167240	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 167294	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 167310	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 167391	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 167433	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 167452	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 167526	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 167636	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 167742	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 180915	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 182946	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 183803	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 184957	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 185453	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 185628	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 186023	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 186222	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 186333	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 186617	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 186775	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 186810	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 186919	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 186973	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 187254	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 187837	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 188004	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 188238	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 188261	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 188296	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 188674	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 188696	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 211471	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 211639	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 211857	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 211915	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 211960	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 211978	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212026	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212037	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212043	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212062	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212094	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212117	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212189	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212263	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212308	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212364	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212421	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212480	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212534	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212612	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212693	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212774	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212795	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 212892	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 213051	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 213147	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 213218	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 213281	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 213407	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 213437	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 213537	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 213560	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 213611	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 213719	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 213865	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 214011	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 214091	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 214169	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 214183	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 214261	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 214320	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 230780	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 230819	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 230948	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 231043	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 231149	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 231230	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 231300	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 231378	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 231480	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 231604	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 24100	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 246924	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 247020	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 247254	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 247504	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 247906	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 247992	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 248060	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 249386	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 249459	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 249663	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25192	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25388	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25395	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25409	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25416	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25422	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 254704	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25711	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25726	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25731	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 25734	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25736	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25743	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25775	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25808	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 25849	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 259405	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 259625	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26069	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 26103	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 26105	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26110	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26116	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26123	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 26127	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26130	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 26132	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26186	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 26226	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 26291	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 262998	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 263745	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 264033	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 264370	NO	YES	NO	YES	YES	YES	YES	YES
ICFP 2010 264405	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 26683	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 26741	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26845	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26862	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26871	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26875	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26879	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26882	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26886	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26896	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26903	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26910	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26916	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26919	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26923	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26927	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26931	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26933	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26940	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26943	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26946	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26949	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26951	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26954	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26957	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26960	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26965	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26969	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26972	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26974	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26976	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26978	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26980	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26986	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26993	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 26998	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27001	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27003	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27006	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27009	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27013	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27015	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27019	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27023	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27026	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27028	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27030	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 27034	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27036	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27039	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 27131	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 27134	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 27213	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 27235	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 27280	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 28293	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 28464	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 28643	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 28838	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 29415	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3268	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3336	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3385	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3450	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3467	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3498	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3533	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3562	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3589	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3633	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3680	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3705	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3729	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3746	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3762	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3770	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3786	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3817	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3831	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3842	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3856	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3861	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3865	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3916	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3927	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3930	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3939	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 39830	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 39849	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3989	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 3995	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4002	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 40033	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 40093	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 4017	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4029	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4036	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4046	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4051	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 40540	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4057	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 40708	NO	YES	NO	YES	NO	YES	YES	YES
ICFP 2010 4074	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 40976	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4106	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 41378	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4141	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 41427	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4157	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 41688	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4181	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 41838	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 41843	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 41865	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4200	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4206	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 42170	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 42321	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 42466	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4248	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 42683	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4282	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4314	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 43266	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 43603	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 43621	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 43650	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4374	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 43987	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4412	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 44332	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4484	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4487	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 45720	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 45757	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 45970	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4816	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4819	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4824	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 48262	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 48267	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4827	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 48328	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 48374	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4840	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4847	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4854	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 48686	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4893	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4920	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4934	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4938	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4943	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4953	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4964	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4970	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4979	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 4991	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 5011	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 5076	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 50904	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 5109	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 5130	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 51424	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 51577	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 51842	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 53216	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 54097	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 54532	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 54622	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 56144	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 57132	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 57278	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 57355	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 57453	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 57799	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 57852	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 58125	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 58194	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 58221	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 58301	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 63142	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 64160	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 65081	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 68322	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 68535	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 68989	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 81452	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 84886	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 84977	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85039	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85079	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85267	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85294	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85345	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85380	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85477	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85590	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85650	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85675	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85721	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85749	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85782	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85834	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85874	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 85920	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 86025	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 86052	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 86452	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 86499	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 86526	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 86559	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 86577	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 86617	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 86636	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 86745	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 86816	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 86857	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 88143	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 88156	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 88172	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 88183	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 88208	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 88283	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 91210	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 91218	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 91233	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 91242	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 91254	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 95858	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 95899	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 95952	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 95978	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96029	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96065	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96086	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96104	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96119	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96156	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96176	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96198	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96224	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96239	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96256	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96274	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96289	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96302	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96334	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96370	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96403	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96417	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96438	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96464	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96485	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96523	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96563	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96612	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96642	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 96673	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 97885	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 97888	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 97901	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 97917	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 97929	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 98362	NO	NO	NO	YES	NO	NO	YES	YES
ICFP 2010 98623	NO	NO	NO	YES	NO	NO	YES	YES
MNZ 10 0	NO	NO	YES	NO	NO	NO	NO	YES
MNZ 10 1	NO	NO	YES	NO	NO	NO	NO	YES
MNZ 10 2	NO	NO	YES	NO	NO	NO	NO	YES
MNZ 10 3	NO	NO	YES	NO	NO	NO	NO	YES
MNZ 10 4	NO	NO	YES	NO	NO	NO	NO	YES
MNZ 10 5	NO	NO	YES	NO	NO	NO	NO	YES
MNZ 10 6	NO	NO	YES	NO	NO	NO	NO	YES
MNZ 10 7	NO	NO	YES	NO	NO	NO	NO	YES
MNZ 10 8	NO	NO	YES	NO	NO	NO	NO	YES
MNZ 10 9	NO	NO	YES	NO	NO	NO	NO	YES
MNZ 10 labelled	NO	NO	YES	YES	missing	missing	NO	YES
MNZ 10 nrvsq	NO	NO	YES	NO	NO	NO	NO	YES
MNZ 10 nvsr	NO	NO	YES	NO	NO	NO	NO	YES
Maude 06 LISTUTILITIES complete	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 LISTUTILITIES complete-noand	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 LISTUTILITIES nokinds	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 LISTUTILITIES nokinds-noand	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 LISTUTILITIES nosorts	YES	YES	YES	YES	YES	YES	NO	YES
Maude 06 LISTUTILITIES nosorts-noand	YES	YES	YES	YES	YES	YES	NO	YES
Maude 06 LengthOfFiniteLists complete	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 Length...teLists complete-noand	NO	NO	YES	YES	NO	NO	NO	YES
Maude 06 LengthOfFiniteLists nokinds	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 Length...iteLists nokinds-noand	NO	NO	YES	YES	NO	NO	NO	YES
Maude 06 LengthOfFiniteLists nosorts	YES	YES	NO	YES	YES	YES	YES	YES
Maude 06 Length...iteLists nosorts-noand	NO	YES	NO	YES	YES	YES	YES	YES
Maude 06 MYNAT complete	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 MYNAT complete-noand	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 MYNAT ...lete-noand-peanoSimple	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 MYNAT complete-peanoSimple	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 MYNAT nokinds	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 MYNAT nokinds-noand	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 MYNAT nokinds-noand-peanoSimple	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 MYNAT nokinds-peanoSimple	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 MYNAT nosorts	YES	YES	YES	YES	YES	YES	NO	YES
Maude 06 MYNAT nosorts-noand	YES	YES	YES	YES	YES	YES	NO	YES
Maude 06 MYNAT nosorts-noand-peanoSimple	YES	YES	NO	YES	YES	YES	YES	YES
Maude 06 MYNAT nosorts-peanoSimple	YES	YES	NO	YES	YES	YES	YES	YES
Maude 06 OvConsOS complete	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 OvConsOS complete-noand	NO	NO	YES	YES	NO	NO	NO	YES
Maude 06 OvConsOS nokinds	YES	NO	YES	YES	NO	NO	NO	YES
Maude 06 OvConsOS nokinds-noand	NO	NO	YES	YES	NO	NO	NO	YES
Maude 06 OvConsOS nosorts	YES	YES	NO	YES	YES	YES	YES	YES
Maude 06 OvConsOS nosorts-noand	NO	YES	NO	YES	YES	YES	YES	YES
Maude 06 PALINDROME complete	YES	NO	YES	NO	NO	NO	NO	YES
Maude 06 PALINDROME complete-noand	YES	NO	YES	NO	NO	NO	NO	YES
Maude 06 PALINDROME nokinds	YES	NO	NO	NO	NO	NO	YES	YES
Maude 06 PALINDROME nokinds-noand	YES	NO	NO	NO	NO	NO	YES	YES
Maude 06 PALINDROME nosorts	YES	NO	NO	NO	NO	NO	YES	YES
Maude 06 PALINDROME nosorts-noand	YES	NO	NO	NO	NO	NO	YES	YES
Maude 06 csrdiv	YES	YES	YES	YES	YES	YES	NO	YES
Maude 06 emmes	YES	YES	YES	YES	YES	YES	NO	YES
Mixed CTRS quick	YES	YES	YES	YES	NO	YES	NO	YES
Mixed HO 10 app	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 applicative	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 apply	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 counterex1	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 counterex2	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 curry	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 curry1	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 deriv	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 eval	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 extrec	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 filter	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 findzero	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 foldl	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 foobar	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 from	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 hrsdif1	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 hrsdif2	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 if	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 inlamb	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 iterative	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 lambda1	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 lambda2	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 lambda3	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 length	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 loopy	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 map	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 noabs	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 onearg	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 ordrec	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 plode	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 prefixsum	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 prenex	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 process	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 qsort	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 rec	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 reverse	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 sdu	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 sort	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 uncurry	missing	missing	missing	missing	missing	missing	missing	missing
Mixed HO 10 zipWith	missing	missing	missing	missing	missing	missing	missing	missing
Mixed SRS 01	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 01-oppelt08	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 02	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 02-oppelt08	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 03	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 03-oppelt08	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 04	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 04-oppelt08	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 05	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 05-oppelt08	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 06	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 06-oppelt08	NO	YES	NO	YES	YES	YES	YES	YES
Mixed SRS 07	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 07-oppelt08	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 08	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 08-oppelt08	NO	YES	NO	YES	YES	YES	YES	YES
Mixed SRS 09	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 1	NO	YES	NO	YES	YES	YES	YES	YES
Mixed SRS 2	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 3	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS 4	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS s6	YES	NO	NO	YES	NO	NO	YES	YES
Mixed SRS touzet	YES	NO	NO	YES	NO	NO	YES	YES
Mixed SRS turing add	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS turing copy	NO	NO	NO	YES	NO	NO	YES	YES
Mixed SRS turing mult	NO	NO	NO	YES	NO	NO	YES	YES
Mixed TRS 1	NO	NO	NO	YES	NO	NO	YES	YES
Mixed TRS 2	NO	NO	NO	YES	YES	YES	YES	YES
Mixed TRS 3	NO	NO	YES	YES	YES	YES	NO	YES
Mixed TRS 4	NO	NO	NO	YES	NO	NO	YES	YES
Mixed TRS 5	NO	NO	YES	YES	YES	YES	NO	YES
Mixed TRS 6	NO	NO	NO	YES	YES	YES	YES	YES
Mixed TRS 7	NO	NO	YES	YES	YES	YES	NO	YES
Mixed TRS Ex1 Luc04b GM	NO	YES	NO	YES	NO	YES	YES	YES
Mixed TRS beans	NO	NO	NO	YES	NO	NO	YES	YES
Mixed TRS gcd	YES	YES	YES	YES	NO	YES	NO	YES
Mixed TRS gcdMinMax	YES	YES	YES	YES	NO	YES	NO	YES
Mixed TRS gcd triple	YES	YES	YES	YES	NO	YES	NO	YES
Mixed TRS hydra	YES	NO	YES	YES	NO	NO	NO	YES
Mixed TRS hydra-Zantema06	NO	NO	YES	YES	NO	NO	NO	YES
Mixed TRS jones1	YES	YES	NO	YES	YES	YES	YES	YES
Mixed TRS jones2	YES	YES	YES	YES	YES	YES	NO	YES
Mixed TRS jones4	YES	YES	NO	YES	YES	YES	YES	YES
Mixed TRS jones5	YES	YES	YES	YES	NO	YES	NO	YES
Mixed TRS jones6	YES	YES	NO	YES	YES	YES	YES	YES
Mixed TRS minsort	YES	YES	YES	YES	YES	YES	NO	YES
Mixed TRS motivation	NO	NO	YES	YES	NO	NO	NO	YES
Mixed TRS perfect	NO	YES	YES	YES	YES	YES	NO	YES
Mixed TRS perfect2	YES	YES	YES	YES	YES	YES	NO	YES
Mixed TRS test1	NO	YES	YES	YES	NO	YES	NO	YES
Mixed TRS while	NO	YES	YES	YES	YES	YES	NO	YES
Mixed TRS while2	NO	NO	YES	YES	NO	NO	NO	YES
Mixed innermost bn111	NO	NO	YES	YES	NO	NO	NO	YES
Mixed innermost cade04	NO	YES	YES	NO	NO	YES	NO	YES
Mixed innermost cade05	NO	YES	YES	NO	NO	YES	NO	YES
Mixed innermost cade12	YES	NO	YES	YES	NO	NO	NO	YES
Mixed innermost cade13	YES	NO	YES	YES	NO	NO	NO	YES
Mixed innermost gkg	NO	NO	NO	NO	NO	NO	YES	YES
Mixed innermost innermost1	NO	NO	YES	YES	NO	NO	NO	YES
Mixed innermost innermost2	NO	NO	NO	YES	NO	NO	YES	YES
Mixed innermost innermost3	NO	NO	YES	YES	NO	NO	NO	YES
Mixed innermost innermost4	NO	NO	YES	YES	NO	NO	NO	YES
Mixed innermost innermost5	NO	NO	YES	YES	NO	NO	NO	YES
Mixed innermost muladd	YES	YES	YES	YES	NO	YES	NO	YES
Mixed innermost n001	NO	NO	NO	YES	NO	NO	YES	YES
Mixed innermost test10	NO	NO	YES	NO	NO	NO	NO	YES
Mixed innermost test75	YES	YES	YES	YES	NO	YES	NO	YES
Mixed innermost test76	YES	YES	YES	YES	NO	YES	NO	YES
Mixed innermost test77	YES	YES	YES	YES	NO	YES	NO	YES
Mixed innermost test830	NO	YES	NO	YES	YES	YES	YES	YES
Mixed innermost test833	NO	YES	NO	NO	NO	YES	YES	YES
Mixed innermost test9	YES	YES	YES	YES	NO	YES	NO	YES
Mixed innermost toyama	YES	YES	YES	YES	NO	YES	NO	YES
Mixed innermost tricky1	NO	NO	YES	YES	NO	NO	NO	YES
Mixed innermost wiehe13	YES	NO	YES	NO	NO	NO	NO	YES
Mixed innermost wiehe14	YES	NO	YES	NO	NO	NO	NO	YES
Mixed outermost afbg	NO	NO	NO	YES	NO	NO	YES	YES
Mixed outermost even	NO	NO	NO	YES	NO	NO	YES	YES
Mixed outermost ex1	NO	NO	NO	YES	NO	NO	YES	YES
Mixed outermost ex2	NO	NO	YES	YES	NO	NO	NO	YES
Mixed outermost ex3	NO	NO	NO	YES	NO	NO	YES	YES
Mixed outermost ex4	NO	NO	NO	YES	NO	NO	YES	YES
Mixed outermost ex5	YES	NO	NO	YES	NO	NO	YES	YES
Mixed outermost ex6	YES	NO	NO	NO	NO	NO	NO	YES
Mixed outermost gfb	NO	NO	NO	YES	NO	NO	YES	YES
Mixed outermost non-lin1	YES	YES	YES	NO	NO	YES	NO	YES
Mixed outermost non-lin2	YES	YES	YES	NO	NO	YES	NO	YES
Mixed outermost non-lin3	YES	YES	YES	NO	NO	YES	NO	YES
Mixed outermost odd	NO	NO	NO	YES	NO	NO	YES	YES
Mixed outermost patterns1	NO	NO	NO	YES	NO	NO	YES	YES
Mixed outermost patterns2	NO	NO	NO	YES	NO	NO	YES	YES
Rubio 04 aoto	NO	NO	NO	YES	NO	NO	YES	YES
Rubio 04 bintrees	YES	YES	NO	YES	YES	YES	YES	YES
Rubio 04 bn122	NO	NO	YES	YES	NO	NO	NO	YES
Rubio 04 bn129	NO	NO	NO	YES	NO	NO	YES	YES
Rubio 04 division	NO	YES	YES	YES	YES	YES	NO	YES
Rubio 04 elimdupl	NO	YES	YES	YES	YES	YES	NO	YES
Rubio 04 enno	YES	YES	YES	YES	YES	YES	NO	YES
Rubio 04 gcd	YES	YES	YES	YES	YES	YES	NO	YES
Rubio 04 gm	YES	YES	YES	YES	YES	YES	NO	YES
Rubio 04 gmnp	YES	YES	NO	YES	NO	YES	YES	YES
Rubio 04 koen	NO	YES	NO	NO	NO	YES	NO	YES
Rubio 04 lescanne	NO	NO	NO	YES	NO	NO	YES	YES
Rubio 04 lindau	NO	NO	NO	YES	NO	NO	YES	YES
Rubio 04 logarquot	YES	YES	YES	YES	YES	YES	NO	YES
Rubio 04 ma96	NO	YES	YES	YES	YES	YES	NO	YES
Rubio 04 mfp90b	NO	NO	NO	YES	NO	NO	YES	YES
Rubio 04 mfp95	NO	YES	NO	YES	YES	YES	YES	YES
Rubio 04 nestrec	NO	YES	NO	YES	YES	YES	YES	YES
Rubio 04 p266	NO	NO	NO	YES	NO	NO	YES	YES
Rubio 04 polo2	NO	YES	YES	YES	NO	YES	NO	YES
Rubio 04 prov	NO	YES	YES	YES	YES	YES	NO	YES
Rubio 04 quick	YES	YES	YES	YES	YES	YES	NO	YES
Rubio 04 quotminus	YES	NO	YES	YES	NO	NO	NO	YES
Rubio 04 revlist	NO	YES	YES	YES	YES	YES	NO	YES
Rubio 04 selsort	NO	YES	YES	YES	YES	YES	NO	YES
Rubio 04 test4	NO	YES	NO	YES	YES	YES	YES	YES
Rubio 04 test829	NO	YES	NO	YES	YES	YES	YES	YES
Rubio 04 wst99	NO	YES	YES	YES	YES	YES	NO	YES
SK90 2.01	YES	NO	NO	NO	NO	NO	YES	YES
SK90 2.02	NO	NO	NO	YES	NO	NO	YES	YES
SK90 2.03	YES	NO	NO	YES	NO	NO	YES	YES
SK90 2.04	NO	NO	NO	YES	NO	NO	YES	YES
SK90 2.05	NO	NO	YES	NO	NO	NO	NO	YES
SK90 2.06	NO	NO	NO	NO	NO	NO	YES	YES
SK90 2.07	YES	NO	YES	YES	NO	NO	NO	YES
SK90 2.08	NO	NO	YES	YES	NO	NO	NO	YES
SK90 2.09	YES	YES	NO	YES	NO	YES	YES	YES
SK90 2.10	YES	NO	NO	YES	NO	NO	YES	YES
SK90 2.11	YES	YES	NO	YES	NO	YES	YES	YES
SK90 2.12	YES	YES	YES	YES	YES	YES	NO	YES
SK90 2.13	YES	YES	YES	YES	NO	YES	NO	YES
SK90 2.14	YES	NO	NO	YES	NO	NO	YES	YES
SK90 2.15	NO	YES	YES	YES	NO	YES	NO	YES
SK90 2.16	YES	YES	YES	YES	NO	YES	NO	YES
SK90 2.17	NO	YES	YES	YES	YES	YES	NO	YES
SK90 2.18	YES	YES	YES	YES	YES	YES	NO	YES
SK90 2.19	YES	YES	YES	YES	NO	YES	NO	YES
SK90 2.20	NO	YES	YES	YES	NO	YES	NO	YES
SK90 2.21	NO	YES	YES	YES	YES	YES	NO	YES
SK90 2.22	YES	YES	YES	YES	NO	YES	NO	YES
SK90 2.23	YES	YES	YES	YES	NO	YES	NO	YES
SK90 2.24	NO	YES	YES	YES	YES	YES	NO	YES
SK90 2.25	YES	YES	YES	YES	YES	YES	NO	YES
SK90 2.26	YES	YES	YES	YES	NO	YES	NO	YES
SK90 2.27	YES	YES	YES	YES	NO	YES	NO	YES
SK90 2.28	NO	YES	YES	YES	YES	YES	NO	YES
SK90 2.29	NO	YES	YES	YES	YES	YES	NO	YES
SK90 2.30	NO	YES	YES	YES	YES	YES	NO	YES
SK90 2.31	YES	YES	NO	YES	NO	YES	YES	YES
SK90 2.32	YES	NO	YES	NO	NO	NO	NO	YES
SK90 2.33	YES	NO	NO	NO	NO	NO	YES	YES
SK90 2.34	YES	NO	NO	NO	NO	NO	YES	YES
SK90 2.35	YES	NO	YES	YES	NO	NO	NO	YES
SK90 2.36	NO	YES	NO	YES	NO	YES	YES	YES
SK90 2.37	NO	YES	YES	YES	YES	YES	NO	YES
SK90 2.38	YES	NO	NO	YES	NO	NO	YES	YES
SK90 2.39	YES	YES	NO	YES	YES	YES	YES	YES
SK90 2.40	NO	YES	YES	YES	NO	YES	NO	YES
SK90 2.41	NO	YES	NO	YES	YES	YES	YES	YES
SK90 2.42	YES	NO	NO	YES	NO	NO	YES	YES
SK90 2.43	YES	YES	YES	YES	NO	YES	NO	YES
SK90 2.44	NO	YES	YES	YES	YES	YES	NO	YES
SK90 2.45	YES	YES	YES	YES	YES	YES	NO	YES
SK90 2.46	NO	NO	NO	YES	NO	NO	YES	YES
SK90 2.47	YES	YES	NO	YES	YES	YES	YES	YES
SK90 2.48	YES	YES	NO	YES	NO	YES	YES	YES
SK90 2.49	NO	NO	NO	YES	NO	NO	YES	YES
SK90 2.50	NO	YES	NO	YES	YES	YES	YES	YES
SK90 2.51	NO	YES	YES	YES	YES	YES	NO	YES
SK90 2.52	NO	YES	YES	YES	NO	YES	NO	YES
SK90 2.53	NO	YES	NO	YES	NO	YES	YES	YES
SK90 2.54	YES	YES	NO	YES	YES	YES	YES	YES
SK90 2.55	YES	YES	NO	NO	NO	YES	YES	YES
SK90 2.56	NO	YES	NO	YES	NO	YES	YES	YES
SK90 2.57	NO	NO	YES	YES	YES	YES	NO	YES
SK90 2.58	YES	YES	YES	NO	NO	YES	NO	YES
SK90 2.59	NO	YES	YES	NO	NO	YES	NO	YES
SK90 2.60	NO	NO	NO	YES	YES	YES	YES	YES
SK90 2.61	YES	NO	NO	NO	NO	NO	YES	YES
SK90 4.01	YES	NO	NO	NO	NO	NO	YES	YES
SK90 4.02	YES	NO	YES	NO	NO	NO	NO	YES
SK90 4.03	YES	NO	YES	NO	NO	NO	NO	YES
SK90 4.04	NO	NO	NO	NO	NO	NO	YES	YES
SK90 4.05	YES	YES	YES	YES	NO	YES	NO	YES
SK90 4.06	NO	NO	YES	YES	NO	NO	NO	YES
SK90 4.07	YES	NO	NO	NO	NO	NO	YES	YES
SK90 4.08	YES	NO	NO	NO	NO	NO	YES	YES
SK90 4.09	YES	NO	YES	NO	NO	NO	NO	YES
SK90 4.10	YES	NO	YES	YES	NO	NO	NO	YES
SK90 4.11	YES	NO	NO	YES	NO	NO	YES	YES
SK90 4.12	YES	YES	NO	YES	YES	YES	YES	YES
SK90 4.13	YES	YES	YES	YES	NO	YES	NO	YES
SK90 4.14	YES	NO	YES	YES	NO	NO	NO	YES
SK90 4.15	YES	NO	NO	NO	NO	NO	YES	YES
SK90 4.16	NO	YES	NO	YES	NO	YES	YES	YES
SK90 4.17	NO	YES	YES	YES	YES	YES	NO	YES
SK90 4.18	YES	YES	YES	YES	NO	YES	NO	YES
SK90 4.19	NO	NO	NO	NO	NO	YES	NO	YES
SK90 4.20	YES	NO	YES	NO	NO	NO	NO	YES
SK90 4.21	YES	NO	YES	NO	NO	NO	NO	YES
SK90 4.22	NO	NO	YES	YES	NO	NO	NO	YES
SK90 4.23	YES	NO	YES	NO	NO	NO	NO	YES
SK90 4.24	YES	YES	YES	YES	YES	YES	NO	YES
SK90 4.25	NO	YES	NO	NO	NO	YES	YES	YES
SK90 4.26	YES	NO	NO	YES	NO	NO	YES	YES
SK90 4.28	YES	NO	YES	NO	NO	NO	NO	YES
SK90 4.29	YES	YES	NO	YES	NO	YES	YES	YES
SK90 4.30	NO	YES	NO	YES	YES	YES	YES	YES
SK90 4.31	NO	YES	YES	YES	YES	YES	NO	YES
SK90 4.32	YES	NO	NO	YES	NO	NO	YES	YES
SK90 4.33	NO	NO	NO	YES	NO	NO	YES	YES
SK90 4.34	NO	YES	NO	YES	YES	YES	YES	YES
SK90 4.35	NO	YES	NO	YES	YES	YES	YES	YES
SK90 4.36	NO	NO	NO	YES	NO	NO	YES	YES
SK90 4.37	NO	NO	NO	YES	NO	NO	YES	YES
SK90 4.38	NO	YES	NO	YES	NO	YES	YES	YES
SK90 4.39	NO	NO	NO	NO	NO	NO	NO	YES
SK90 4.40	YES	NO	YES	YES	YES	YES	NO	YES
SK90 4.41	NO	YES	YES	YES	YES	YES	NO	YES
SK90 4.42	YES	YES	YES	YES	YES	YES	NO	YES
SK90 4.43	YES	NO	NO	YES	NO	NO	YES	YES
SK90 4.44	NO	NO	NO	YES	NO	NO	YES	YES
SK90 4.45	NO	YES	NO	NO	NO	YES	YES	YES
SK90 4.46	NO	YES	NO	YES	YES	YES	YES	YES
SK90 4.47	NO	YES	NO	YES	YES	YES	YES	YES
SK90 4.48	YES	NO	NO	NO	NO	NO	YES	YES
SK90 4.49	NO	NO	YES	YES	NO	NO	NO	YES
SK90 4.50	NO	YES	YES	YES	YES	YES	NO	YES
SK90 4.51	NO	NO	NO	NO	NO	NO	YES	YES
SK90 4.52	YES	NO	NO	YES	NO	NO	YES	YES
SK90 4.53	NO	NO	YES	NO	NO	NO	NO	YES
SK90 4.54	NO	YES	YES	YES	YES	YES	NO	YES
SK90 4.56	NO	YES	NO	YES	YES	YES	YES	YES
SK90 4.57	YES	YES	YES	YES	YES	YES	NO	YES
SK90 4.59	NO	YES	YES	YES	YES	YES	NO	YES
SK90 4.60	YES	YES	YES	YES	YES	YES	NO	YES
SK90 4.61	YES	YES	YES	YES	YES	YES	NO	YES
Secret 05 SRS aprove1	YES	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS aprove2	YES	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS aprove3	NO	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS aprove4	YES	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS aprove5	NO	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS jambox1	NO	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS jambox2	NO	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS jambox3	YES	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS jambox4	NO	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS jambox5	YES	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS matchbox1	NO	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS matchbox2	NO	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS torpa1	NO	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS torpa2	NO	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS torpa3	NO	NO	NO	YES	NO	NO	YES	YES
Secret 05 SRS torpa4	NO	NO	NO	YES	NO	NO	YES	YES
Secret 05 TRS aprove1	YES	NO	YES	YES	YES	YES	NO	YES
Secret 05 TRS aprove2	YES	YES	YES	YES	YES	YES	NO	YES
Secret 05 TRS aprove3	YES	YES	YES	YES	YES	YES	NO	YES
Secret 05 TRS aprove4	YES	NO	YES	NO	NO	NO	NO	YES
Secret 05 TRS aprove5	YES	NO	YES	YES	NO	NO	NO	YES
Secret 05 TRS cime1	NO	NO	YES	YES	NO	NO	NO	YES
Secret 05 TRS cime2	YES	NO	YES	YES	NO	NO	NO	YES
Secret 05 TRS cime3	NO	YES	YES	NO	NO	YES	NO	YES
Secret 05 TRS cime4	NO	YES	YES	YES	NO	YES	NO	YES
Secret 05 TRS cime5	NO	YES	YES	NO	NO	YES	NO	YES
Secret 05 TRS matchbox1	NO	NO	YES	YES	NO	NO	NO	YES
Secret 05 TRS matchbox2	NO	NO	NO	YES	NO	NO	YES	YES
Secret 05 TRS teparla1	NO	NO	NO	NO	NO	NO	YES	YES
Secret 05 TRS teparla2	NO	NO	NO	NO	NO	NO	NO	YES
Secret 05 TRS teparla3	NO	NO	NO	NO	NO	NO	YES	YES
Secret 05 TRS tpa1	YES	YES	YES	YES	NO	YES	NO	YES
Secret 05 TRS tpa2	YES	YES	YES	YES	NO	YES	NO	YES
Secret 05 TRS tpa3	YES	YES	YES	YES	YES	YES	NO	YES
Secret 05 TRS tpa4	YES	YES	YES	YES	YES	YES	NO	YES
Secret 05 TRS tpa5	YES	YES	YES	YES	NO	YES	NO	YES
Secret 05 TRS ttt1	YES	NO	YES	YES	NO	NO	NO	YES
Secret 05 TRS ttt2	YES	YES	NO	YES	YES	YES	YES	YES
Secret 06 SRS 1	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS 1-matchbox	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS 10	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS 2	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS 2-matchbox	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS 3	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS 3-matchbox	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS 5	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS 5-matchbox	NO	YES	NO	YES	NO	YES	YES	YES
Secret 06 SRS 6	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS 7	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS 8	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS 9	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS aprove00	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS aprove01	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS aprove02	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS aprove03	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS aprove04	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS aprove05	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS aprove06	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS aprove07	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS aprove08	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS aprove09	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS multum1	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS multum2	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS multum3	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS multum4	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS multum5	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS multum6	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS secr1	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS secr10	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS secr2	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS secr3	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS secr4	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS secr5	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS secr6	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS secr7	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS secr8	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 SRS secr9	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 TRS 10	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 TRS 2	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 TRS 3	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 TRS 4	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 TRS 5	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 TRS 6	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 TRS 7	NO	NO	NO	YES	NO	NO	YES	YES
Secret 06 TRS 8	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 TRS 9	YES	NO	NO	YES	NO	NO	YES	YES
Secret 06 TRS addList	YES	YES	YES	YES	YES	YES	NO	YES
Secret 06 TRS cime1	YES	NO	YES	NO	NO	NO	NO	YES
Secret 06 TRS divExp	YES	YES	YES	NO	NO	YES	NO	YES
Secret 06 TRS division	YES	YES	YES	YES	YES	YES	NO	YES
Secret 06 TRS double	YES	YES	YES	YES	NO	YES	NO	YES
Secret 06 TRS gen-1	YES	NO	YES	YES	NO	NO	NO	YES
Secret 06 TRS gen-10	YES	NO	YES	YES	NO	NO	NO	YES
Secret 06 TRS gen-14	YES	NO	YES	YES	NO	NO	NO	YES
Secret 06 TRS gen-15	YES	NO	YES	YES	NO	NO	NO	YES
Secret 06 TRS gen-17	NO	NO	YES	YES	NO	NO	NO	YES
Secret 06 TRS gen-18	YES	NO	YES	YES	NO	NO	NO	YES
Secret 06 TRS gen-22	NO	NO	YES	YES	NO	NO	NO	YES
Secret 06 TRS gen-25	YES	NO	YES	YES	NO	NO	NO	YES
Secret 06 TRS gen-28	YES	NO	YES	YES	NO	NO	NO	YES
Secret 06 TRS gen-9	NO	NO	YES	YES	NO	NO	NO	YES
Secret 06 TRS logarithm	YES	YES	YES	YES	NO	YES	NO	YES
Secret 06 TRS nrOfNodes	YES	YES	YES	YES	YES	YES	NO	YES
Secret 06 TRS reverse	YES	YES	YES	YES	YES	YES	NO	YES
Secret 06 TRS sumList	YES	YES	YES	YES	YES	YES	NO	YES
Secret 06 TRS times	YES	YES	YES	NO	NO	YES	NO	YES
Secret 06 TRS toList	YES	YES	YES	YES	YES	YES	NO	YES
Secret 06 TRS tpa01	NO	NO	NO	NO	NO	NO	NO	YES
Secret 06 TRS tpa02	NO	NO	NO	NO	NO	NO	YES	YES
Secret 06 TRS tpa03	NO	NO	NO	NO	NO	NO	NO	YES
Secret 06 TRS tpa04	YES	YES	YES	YES	NO	YES	NO	YES
Secret 06 TRS tpa05	YES	YES	YES	YES	YES	YES	NO	YES
Secret 06 TRS tpa06	YES	YES	YES	YES	NO	YES	NO	YES
Secret 06 TRS tpa07	YES	YES	YES	YES	YES	YES	NO	YES
Secret 06 TRS tpa08	YES	YES	YES	YES	YES	YES	NO	YES
Secret 06 TRS tpa09	YES	YES	YES	YES	NO	YES	NO	YES
Secret 06 TRS tpa10	YES	YES	YES	YES	NO	YES	NO	YES
Secret 07 SRS dj	NO	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS num-514	NO	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS num-515	NO	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS num-518	NO	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS num-519	NO	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS num-520	NO	NO	NO	YES	YES	YES	YES	YES
Secret 07 SRS num-521	NO	NO	NO	YES	YES	YES	YES	YES
Secret 07 SRS num-525	NO	NO	NO	YES	YES	YES	YES	YES
Secret 07 SRS num-527	NO	NO	NO	YES	YES	YES	YES	YES
Secret 07 SRS num-530	NO	NO	NO	YES	YES	YES	YES	YES
Secret 07 SRS num-539	NO	NO	NO	YES	YES	YES	YES	YES
Secret 07 SRS x01	YES	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS x02	YES	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS x03	NO	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS x04	NO	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS x05	NO	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS x06	NO	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS x07	NO	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS x08	YES	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS x09	YES	NO	NO	YES	NO	NO	YES	YES
Secret 07 SRS x10	YES	NO	NO	YES	NO	NO	YES	YES
Secret 07 TRS 1	NO	NO	NO	NO	NO	NO	YES	YES
Secret 07 TRS 2	NO	NO	NO	NO	NO	NO	YES	YES
Secret 07 TRS 3	NO	NO	NO	NO	NO	NO	YES	YES
Secret 07 TRS 4	NO	NO	NO	NO	NO	NO	YES	YES
Secret 07 TRS 5	NO	NO	NO	NO	NO	NO	YES	YES
Secret 07 TRS 7	NO	NO	NO	YES	NO	NO	YES	YES
Secret 07 TRS aprove01	YES	YES	YES	YES	NO	YES	NO	YES
Secret 07 TRS aprove02	YES	YES	YES	YES	NO	YES	NO	YES
Secret 07 TRS aprove03	YES	YES	YES	YES	NO	YES	NO	YES
Secret 07 TRS aprove04	YES	YES	YES	YES	NO	YES	NO	YES
Secret 07 TRS aprove05	YES	YES	YES	YES	NO	YES	NO	YES
Secret 07 TRS aprove06	YES	YES	YES	YES	NO	YES	NO	YES
Secret 07 TRS aprove07	YES	YES	YES	YES	NO	YES	NO	YES
Secret 07 TRS aprove08	YES	YES	YES	YES	NO	YES	NO	YES
Secret 07 TRS aprove09	YES	YES	YES	YES	NO	YES	NO	YES
Secret 07 TRS aprove10	YES	YES	YES	YES	NO	YES	NO	YES
Secret 07 TRS secret1	YES	NO	YES	YES	NO	NO	NO	YES
Secret 07 TRS secret2	YES	NO	YES	YES	NO	NO	NO	YES
Secret 07 TRS secret3	YES	YES	YES	YES	NO	YES	NO	YES
Secret 07 TRS secret4	YES	NO	YES	YES	NO	NO	NO	YES
Secret 07 TRS secret5	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 4.12a	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 4.13	YES	NO	YES	NO	NO	NO	NO	YES
Strategy outermost added 08 4.14	NO	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 4.15	NO	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 4.16	NO	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 4.17	NO	NO	NO	YES	NO	NO	YES	YES
Strategy outermost added 08 4.18	NO	NO	NO	YES	NO	NO	YES	YES
Strategy outermost added 08 4.2	NO	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 4.3	YES	NO	YES	NO	NO	NO	NO	YES
Strategy outermost added 08 4.4	NO	NO	YES	NO	NO	NO	NO	YES
Strategy outermost added 08 4.7	NO	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 Ex14 AEGL02	NO	YES	YES	YES	YES	YES	NO	YES
Strategy outerm...dded 08 Ex14 AEGL02 FR	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outerm...added 08 Ex14 AEGL02 L	NO	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...added 08 Ex14 AEGL02 Z	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outerm...added 08 Ex14 Luc06 FR	YES	NO	YES	NO	NO	NO	NO	YES
Strategy outerm...added 08 Ex14 Luc06 GM	NO	YES	YES	NO	NO	YES	NO	YES
Strategy outermost added 08 Ex14 Luc06 L	NO	NO	NO	YES	NO	NO	YES	YES
Strategy outermost added 08 Ex15 Luc06 L	NO	YES	NO	YES	YES	YES	YES	YES
Strategy outermost added 08 Ex15 Luc98	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outermost added 08 Ex15 Luc98 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 Ex16 Luc06 L	NO	YES	NO	YES	YES	YES	YES	YES
Strategy outermost added 08 Ex1 2 AEL03	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outerm...added 08 Ex1 2 AEL03 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 Ex1 2 Luc02c	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outerm...dded 08 Ex1 2 Luc02c L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 Ex1 GL02a	NO	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 Ex1 GL02a L	NO	YES	NO	YES	NO	YES	YES	YES
Strategy outermost added 08 Ex1 GL02a Z	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 Ex1 GM03	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outermost added 08 Ex1 GM03 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 Ex1 GM03 Z	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 Ex1 GM99	NO	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 Ex1 GM99 FR	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 Ex1 GM99 GM	NO	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 Ex1 GM99 L	NO	YES	NO	YES	NO	YES	YES	YES
Strategy outermost added 08 Ex1 GM99 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 Ex1 Luc02b	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outermost added 08 Ex1 Luc02b L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...added 08 Ex1 Luc04b FR	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outermost added 08 Ex1 Luc04b L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 Ex1 Luc04b Z	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outermost added 08 Ex1 Zan97	NO	YES	NO	YES	YES	YES	YES	YES
Strategy outermost added 08 Ex1 Zan97 FR	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outermost added 08 Ex1 Zan97 L	NO	YES	NO	YES	YES	YES	YES	YES
Strategy outermost added 08 Ex24 GM04	NO	NO	YES	NO	NO	NO	NO	YES
Strategy outermost added 08 Ex24 GM04 GM	NO	YES	YES	NO	NO	YES	NO	YES
Strategy outermost added 08 Ex24 GM04 L	NO	NO	NO	YES	NO	NO	YES	YES
Strategy outerm...added 08 Ex24 Luc06 FR	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outerm...added 08 Ex24 Luc06 GM	NO	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 Ex24 Luc06 L	NO	YES	NO	YES	YES	YES	YES	YES
Strategy outerm...dded 08 Ex24 Luc06 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 Ex26 Luc03b	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outermost added 08 Ex2 Luc03b	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outerm...added 08 Ex3 12 Luc96a	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outerm...ded 08 Ex3 12 Luc96a L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 Ex3 2 Luc97	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outerm...added 08 Ex3 2 Luc97 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...dded 08 Ex3 3 25 Bor03	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outerm...ed 08 Ex3 3 25 Bor03 Z	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 Ex49 GM04 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 Ex4 4 Luc96b	NO	YES	YES	YES	YES	YES	NO	YES
Strategy outerm...ded 08 Ex4 4 Luc96b FR	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...dded 08 Ex4 4 Luc96b Z	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outerm...dded 08 Ex4 7 15 Bor03	NO	YES	NO	YES	YES	YES	YES	YES
Strategy outerm...dded 08 Ex4 7 37 Bor03	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outerm...ed 08 Ex4 7 37 Bor03 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...dded 08 Ex4 7 56 Bor03	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outerm...ed 08 Ex4 7 56 Bor03 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...dded 08 Ex4 7 77 Bor03	YES	YES	NO	YES	YES	YES	YES	YES
Strategy outerm...ed 08 Ex4 7 77 Bor03 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...dded 08 Ex4 DLMMU04 FR	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...added 08 Ex4 DLMMU04 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...added 08 Ex4 DLMMU04 Z	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 Ex4 Zan97	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outermost added 08 Ex4 Zan97 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 Ex5 7 Luc97	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...added 08 Ex5 7 Luc97 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...dded 08 Ex5 DLMMU04 FR	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...added 08 Ex5 DLMMU04 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...added 08 Ex5 DLMMU04 Z	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 Ex5 Zan97	YES	YES	NO	YES	YES	YES	YES	YES
Strategy outermost added 08 Ex5 Zan97 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 Ex6 15 AEL02	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...dded 08 Ex6 15 AEL02 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...dded 08 Ex6 15 AEL02 Z	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outermost added 08 Ex6 9 Luc02c	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outerm...dded 08 Ex6 9 Luc02c L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 Ex6 GM04	NO	YES	NO	YES	YES	YES	YES	YES
Strategy outermost added 08 Ex6 GM04 FR	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outermost added 08 Ex6 Luc98	NO	YES	YES	YES	YES	YES	NO	YES
Strategy outermost added 08 Ex7 BLR02	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outermost added 08 Ex7 BLR02 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 Ex8 BLR02	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outermost added 08 Ex8 BLR02 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 Ex9 BLR02	NO	YES	YES	YES	YES	YES	NO	YES
Strategy outermost added 08 Ex9 Luc04 FR	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 Ex9 Luc04 GM	NO	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 Ex9 Luc04 L	NO	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 Ex9 Luc06 FR	YES	YES	NO	NO	NO	YES	YES	YES
Strategy outerm...d 08 ExAppendixB AEL03	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outerm...08 ExAppendixB AEL03 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 ExConc Zan97	NO	YES	NO	YES	YES	YES	YES	YES
Strategy outerm...dded 08 ExConc Zan97 Z	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...added 08 ExIntrod GM01	YES	YES	NO	YES	YES	YES	YES	YES
Strategy outerm...ed 08 ExIntrod GM01 FR	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...ded 08 ExIntrod GM01 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ded 08 ExIntrod GM01 Z	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...added 08 ExIntrod GM04	YES	YES	NO	YES	YES	YES	YES	YES
Strategy outerm...ed 08 ExIntrod GM04 FR	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...ded 08 ExIntrod GM04 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ded 08 ExIntrod GM04 Z	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...added 08 ExIntrod GM99	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outerm...ded 08 ExIntrod GM99 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ded 08 ExIntrod GM99 Z	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...dded 08 ExIntrod Zan97	YES	YES	YES	YES	YES	YES	NO	YES
Strategy outerm...ed 08 ExIntrod Zan97 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ed 08 ExIntrod Zan97 Z	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...ed 08 ExSec11 1 Luc02a	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm... 08 ExSec4 2 DLMMU04 L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ITIES complete-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...STUTILITIES complete L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...LITIES nokinds-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ISTUTILITIES nokinds L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...LITIES nosorts-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ISTUTILITIES nosorts L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ists complete-noand FR	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...Lists complete-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...Lists complete-noand Z	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...FiniteLists complete L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...Lists nokinds-noand FR	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...eLists nokinds-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...eLists nokinds-noand Z	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...FiniteLists nokinds FR	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...fFiniteLists nokinds L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...fFiniteLists nokinds Z	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...Lists nosorts-noand FR	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...eLists nosorts-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...FiniteLists nosorts FR	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...FiniteLists nosorts GM	NO	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...fFiniteLists nosorts L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...initeLists nosorts iGM	NO	NO	NO	YES	NO	NO	YES	YES
Strategy outerm...Lists nosorts noand GM	NO	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...MYNAT complete-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ed 08 MYNAT complete L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm... MYNAT nokinds-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ded 08 MYNAT nokinds L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm... MYNAT nosorts-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ded 08 MYNAT nosorts L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...onsOS complete-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...08 OvConsOS complete L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...onsOS nokinds-noand FR	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm...ConsOS nokinds-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ConsOS nokinds-noand Z	YES	NO	YES	YES	NO	NO	NO	YES
Strategy outerm... 08 OvConsOS nokinds L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...onsOS nosorts-noand FR	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...ConsOS nosorts-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ConsOS nosorts-noand Z	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...08 OvConsOS nosorts FR	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...08 OvConsOS nosorts GM	NO	YES	NO	YES	NO	YES	YES	YES
Strategy outerm... 08 OvConsOS nosorts L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm... 08 OvConsOS nosorts Z	YES	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...onsOS nosorts noand GM	NO	YES	NO	YES	NO	YES	YES	YES
Strategy outerm...DROME complete-noand L	YES	NO	NO	YES	NO	NO	YES	YES
Strategy outerm... PALINDROME complete L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...NDROME nokinds-noand L	YES	NO	NO	YES	NO	NO	YES	YES
Strategy outerm...8 PALINDROME nokinds L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...8 PALINDROME nosorts L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...PEANO complete-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ed 08 PEANO complete L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm... PEANO nokinds-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ded 08 PEANO nokinds L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm... PEANO nosorts-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outerm...ded 08 PEANO nosorts L	missing	missing	missing	missing	missing	missing	missing	missing
Strategy outermost added 08 gkg	NO	NO	NO	NO	NO	NO	YES	YES
Strategy outermost added 08 jwno1	NO	YES	NO	YES	YES	YES	YES	YES
Strategy outermost added 08 jwno4	NO	YES	NO	YES	YES	YES	YES	YES
Strategy outermost added 08 jwno6	NO	YES	NO	YES	YES	YES	YES	YES
Strategy outermost added 08 jwno9	NO	NO	NO	YES	NO	NO	YES	YES
Strategy outermost added 08 muladd	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 n001	NO	NO	NO	YES	NO	NO	YES	YES
Strategy outermost added 08 test10	NO	NO	YES	NO	NO	NO	NO	YES
Strategy outermost added 08 test75	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 test76	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 test77	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 test9	YES	YES	YES	YES	NO	YES	NO	YES
Strategy outermost added 08 toyama	YES	YES	YES	YES	NO	YES	NO	YES
Strategy removed AG01 4.30c	YES	YES	YES	YES	NO	YES	NO	YES
TCT 09 ackantiinn	NO	YES	YES	YES	NO	YES	NO	YES
TCT 09 ackantiinn2	NO	NO	YES	YES	NO	NO	NO	YES
TCT 09 ackhofbauer	YES	NO	NO	YES	NO	NO	YES	YES
TCT 09 ackhofbauernonsimp	YES	NO	YES	YES	NO	NO	NO	YES
TCT 09 add	YES	YES	NO	YES	YES	YES	YES	YES
TCT 09 addmult	YES	YES	YES	YES	YES	YES	NO	YES
TCT 09 append	NO	YES	NO	YES	YES	YES	YES	YES
TCT 09 dexpdp	NO	YES	YES	YES	YES	YES	NO	YES
TCT 09 dexpdp2	NO	YES	YES	YES	NO	YES	NO	YES
TCT 09 expantiinn	NO	YES	NO	YES	YES	YES	YES	YES
TCT 09 insertsort	YES	YES	YES	YES	YES	YES	NO	YES
TCT 09 lcs	NO	YES	YES	YES	NO	YES	NO	YES
TCT 09 ma1	YES	YES	YES	YES	YES	YES	NO	YES
TCT 09 ma3	YES	YES	NO	YES	YES	YES	YES	YES
TCT 09 ma4	YES	YES	YES	YES	YES	YES	NO	YES
TCT 09 ma6	YES	YES	YES	NO	NO	YES	NO	YES
TCT 09 ma7	YES	YES	YES	NO	NO	YES	NO	YES
TCT 09 ma8	NO	YES	YES	YES	NO	YES	NO	YES
TCT 09 ma9	NO	YES	NO	YES	YES	YES	YES	YES
TCT 09 mergesort	YES	YES	YES	YES	NO	YES	NO	YES
TCT 09 nonmultrec	YES	YES	YES	YES	YES	YES	NO	YES
TCT 09 qbf	YES	YES	YES	YES	YES	YES	NO	YES
TCT 09 revappend	NO	YES	NO	YES	YES	YES	YES	YES
TCT 09 shuffle	NO	YES	NO	YES	YES	YES	YES	YES
TCT 09 supexpdg	NO	NO	NO	YES	YES	YES	YES	YES
TCT 09 supexpur	YES	YES	NO	YES	YES	YES	YES	YES
TCT 09 z86	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup01	YES	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup05	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup06	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup07	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup08	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup09	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup10	YES	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup11	YES	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup12	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup13	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup14	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup15	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup16	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 dup17	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 hom01	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 hom02	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 hom03	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un02	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un04	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un05	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un06	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un07	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un08	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un09	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un10	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un11	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un12	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un13	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un14	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un15	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un16	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un17	NO	NO	NO	YES	NO	NO	YES	YES
Trafo 06 un18	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex14 AEGL02 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex14 AEGL02 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex14 AEGL02 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex14 Luc06 C	NO	NO	YES	NO	NO	NO	NO	YES
Transformed CSR 04 Ex14 Luc06 GM	NO	YES	YES	NO	NO	YES	NO	YES
Transformed CSR 04 Ex14 Luc06 iGM	NO	NO	YES	NO	NO	NO	NO	YES
Transformed CSR 04 Ex15 Luc06 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex15 Luc06 FR	YES	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex15 Luc06 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex15 Luc06 Z	YES	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex15 Luc06 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex15 Luc98 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex15 Luc98 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex15 Luc98 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex15 Luc98 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex15 Luc98 Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex15 Luc98 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex16 Luc06 C	NO	NO	NO	NO	NO	NO	YES	YES
Transformed CSR 04 Ex16 Luc06 FR	YES	YES	NO	NO	NO	YES	YES	YES
Transformed CSR 04 Ex16 Luc06 GM	NO	YES	NO	NO	NO	YES	YES	YES
Transformed CSR 04 Ex16 Luc06 iGM	NO	NO	NO	NO	NO	NO	YES	YES
Transformed CSR 04 Ex18 Luc06 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex18 Luc06 FR	YES	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex18 Luc06 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex18 Luc06 L	NO	NO	NO	YES	YES	YES	YES	YES
Transformed CSR 04 Ex18 Luc06 Z	YES	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex18 Luc06 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex1 2 AEL03 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 2 AEL03 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 2 AEL03 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex1 2 AEL03 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex1 2 AEL03 Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 2 AEL03 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 2 Luc02c C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 2 Luc02c FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 2 Luc02c GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex1 2 Luc02c L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex1 2 Luc02c Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 2 Luc02c iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 GL02a C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 GL02a FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 GL02a GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex1 GL02a iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 GM03 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 GM03 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 GM03 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex1 GM03 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex1 GM03 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 GM99 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 GM99 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex1 GM99 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 Luc02b C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 Luc02b FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 Luc02b GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex1 Luc02b L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex1 Luc02b Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex1 Luc02b iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex1 Luc04b C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex1 Luc04b GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex1 Luc04b L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex1 Luc04b iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex1 Zan97 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex1 Zan97 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex1 Zan97 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex23 Luc06 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex23 Luc06 FR	YES	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex23 Luc06 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex23 Luc06 L	NO	NO	NO	YES	YES	YES	YES	YES
Transformed CSR 04 Ex23 Luc06 Z	YES	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex23 Luc06 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex24 GM04 C	NO	NO	YES	NO	NO	NO	NO	YES
Transformed CSR 04 Ex24 GM04 FR	YES	NO	YES	NO	NO	NO	NO	YES
Transformed CSR 04 Ex24 GM04 GM	NO	YES	YES	NO	NO	YES	NO	YES
Transformed CSR 04 Ex24 GM04 Z	YES	NO	YES	NO	NO	NO	NO	YES
Transformed CSR 04 Ex24 GM04 iGM	NO	NO	YES	NO	NO	NO	NO	YES
Transformed CSR 04 Ex24 Luc06 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex24 Luc06 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex24 Luc06 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex25 Luc06 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex25 Luc06 FR	YES	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex25 Luc06 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex25 Luc06 L	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex25 Luc06 Z	YES	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex25 Luc06 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex26 Luc03b C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex26 Luc03b FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex26 Luc03b GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex26 Luc03b L	YES	YES	NO	YES	YES	YES	YES	YES
Transformed CSR 04 Ex26 Luc03b Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex26 Luc03b iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex2 Luc02a C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex2 Luc02a FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex2 Luc02a GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex2 Luc02a L	YES	YES	YES	YES	YES	YES	NO	YES
Transformed CSR 04 Ex2 Luc02a Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex2 Luc02a iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex2 Luc03b C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex2 Luc03b FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex2 Luc03b GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex2 Luc03b L	YES	YES	NO	YES	YES	YES	YES	YES
Transformed CSR 04 Ex2 Luc03b Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex2 Luc03b iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex3 12 Luc96a C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex3 12 Luc96a FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex3 12 Luc96a GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex3 12 Luc96a L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex3 12 Luc96a Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex3 12 Luc96a iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex3 2 Luc97 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex3 2 Luc97 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex3 2 Luc97 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex3 2 Luc97 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex3 2 Luc97 Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex3 2 Luc97 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex3 3 25 Bor03 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex3 3 25 Bor03 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex3 3 25 Bor03 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex3 3 25 Bor03 L	YES	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex3 3 25 Bor03 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex49 GM04 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex49 GM04 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex49 GM04 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex49 GM04 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex49 GM04 Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex49 GM04 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex4 4 Luc96b C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex4 4 Luc96b GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex4 4 Luc96b L	NO	YES	NO	YES	YES	YES	YES	YES
Transformed CSR 04 Ex4 4 Luc96b iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex4 7 15 Bor03 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex4 7 15 Bor03 FR	YES	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex4 7 15 Bor03 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex4 7 15 Bor03 L	NO	YES	NO	YES	YES	YES	YES	YES
Transformed CSR 04 Ex4 7 15 Bor03 Z	YES	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex4 7 15 Bor03 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex4 7 37 Bor03 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex4 7 37 Bor03 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex4 7 37 Bor03 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex4 7 37 Bor03 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex4 7 37 Bor03 Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex4 7 37 Bor03 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex4 7 56 Bor03 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex4 7 56 Bor03 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex4 7 56 Bor03 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex4 7 56 Bor03 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex4 7 56 Bor03 Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex4 7 56 Bor03 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex4 7 77 Bor03 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex4 7 77 Bor03 FR	YES	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex4 7 77 Bor03 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex4 7 77 Bor03 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex4 7 77 Bor03 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex4 DLMMU04 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex4 DLMMU04 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex4 DLMMU04 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex4 DLMMU04 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex4 Zan97 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex4 Zan97 FR	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex4 Zan97 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex4 Zan97 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex4 Zan97 Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex4 Zan97 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex5 7 Luc97 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex5 7 Luc97 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex5 7 Luc97 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex5 7 Luc97 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex5 7 Luc97 Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex5 7 Luc97 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex5 DLMMU04 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex5 DLMMU04 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex5 DLMMU04 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex5 DLMMU04 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex5 Zan97 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex5 Zan97 FR	YES	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex5 Zan97 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex5 Zan97 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex5 Zan97 Z	YES	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex5 Zan97 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex6 15 AEL02 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex6 15 AEL02 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex6 15 AEL02 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex6 15 AEL02 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex6 15 AEL02 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex6 9 Luc02c C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex6 9 Luc02c FR	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex6 9 Luc02c GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex6 9 Luc02c L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex6 9 Luc02c Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex6 9 Luc02c iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex6 GM04 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex6 GM04 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 Ex6 GM04 L	NO	YES	NO	YES	YES	YES	YES	YES
Transformed CSR 04 Ex6 GM04 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 Ex6 Luc98 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex6 Luc98 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex6 Luc98 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex6 Luc98 L	NO	YES	NO	YES	YES	YES	YES	YES
Transformed CSR 04 Ex6 Luc98 Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex6 Luc98 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex7 BLR02 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex7 BLR02 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex7 BLR02 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex7 BLR02 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex7 BLR02 Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex7 BLR02 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex8 BLR02 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex8 BLR02 FR	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex8 BLR02 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex8 BLR02 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 Ex8 BLR02 Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex8 BLR02 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex9 BLR02 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex9 BLR02 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex9 BLR02 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex9 BLR02 L	NO	YES	NO	YES	YES	YES	YES	YES
Transformed CSR 04 Ex9 BLR02 Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex9 BLR02 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex9 Luc04 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex9 Luc04 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 Ex9 Luc04 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 Ex9 Luc06 C	NO	NO	NO	NO	NO	NO	YES	YES
Transformed CSR 04 Ex9 Luc06 GM	NO	YES	NO	NO	NO	YES	YES	YES
Transformed CSR 04 Ex9 Luc06 iGM	NO	NO	NO	NO	NO	NO	YES	YES
Transformed CSR 04 ExAppendixB AEL03 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExAppendixB AEL03 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExAppendixB AEL03 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 ExAppendixB AEL03 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 ExAppendixB AEL03 Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 ExAppendixB AEL03 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExConc Zan97 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 ExConc Zan97 FR	YES	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 ExConc Zan97 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 ExConc Zan97 L	NO	YES	NO	YES	YES	YES	YES	YES
Transformed CSR 04 ExConc Zan97 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 ExIntrod GM01 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 ExIntrod GM01 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 ExIntrod GM01 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 ExIntrod GM01 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 ExIntrod GM04 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 ExIntrod GM04 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 ExIntrod GM04 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 ExIntrod GM04 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 ExIntrod GM99 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExIntrod GM99 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExIntrod GM99 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 ExIntrod GM99 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 ExIntrod GM99 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExIntrod Zan97 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExIntrod Zan97 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExIntrod Zan97 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 ExIntrod Zan97 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 ExIntrod Zan97 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExProp7 Luc06 C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 ExProp7 Luc06 FR	YES	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 ExProp7 Luc06 GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 ExProp7 Luc06 L	YES	YES	NO	YES	YES	YES	YES	YES
Transformed CSR 04 ExProp7 Luc06 Z	YES	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 ExProp7 Luc06 iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 ExSec11 1 Luc02a C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExSec11 1 Luc02a FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExSec11 1 Luc02a GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 ExSec11 1 Luc02a L	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExSec11 1 Luc02a Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExSec11 1 Luc02a iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExSec4 2 DLMMU04 C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExSec4 2 DLMMU04 FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 ExSec4 2 DLMMU04 GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 ExSec4 2 DLMMU04 L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 ExSec4 2 DLMMU04 Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 ExSec4 2 DLMMU04 iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...TIES complete-noand FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...ITIES complete-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...ITIES complete-noand Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...STUTILITIES complete C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...TUTILITIES complete FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...TUTILITIES complete GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...STUTILITIES complete L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...STUTILITIES complete Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...UTILITIES complete iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...ITIES complete noand C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...TIES complete noand GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...IES complete noand iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...ITIES nokinds-noand FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...LITIES nokinds-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...LITIES nokinds-noand Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...ISTUTILITIES nokinds C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...STUTILITIES nokinds FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...STUTILITIES nokinds GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...ISTUTILITIES nokinds L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...ISTUTILITIES nokinds Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...TUTILITIES nokinds iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...LITIES nokinds noand C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...ITIES nokinds noand GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...TIES nokinds noand iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...ITIES nosorts-noand FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...LITIES nosorts-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...LITIES nosorts-noand Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...ISTUTILITIES nosorts C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...STUTILITIES nosorts FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...STUTILITIES nosorts GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...ISTUTILITIES nosorts L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...ISTUTILITIES nosorts Z	YES	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...TUTILITIES nosorts iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...LITIES nosorts noand C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...ITIES nosorts noand GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...TIES nosorts noand iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...Lists complete-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...FiniteLists complete C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...initeLists complete FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...initeLists complete GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...FiniteLists complete L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...FiniteLists complete Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...niteLists complete iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...Lists complete noand C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...ists complete noand GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...sts complete noand iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...eLists nokinds-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...fFiniteLists nokinds C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...FiniteLists nokinds GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...fFiniteLists nokinds L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...initeLists nokinds iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...eLists nokinds noand C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...Lists nokinds noand GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...ists nokinds noand iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...eLists nosorts-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...fFiniteLists nosorts C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR...FiniteLists nosorts GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR...fFiniteLists nosorts L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...initeLists nosorts iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR...eLists nosorts noand C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR...Lists nosorts noand GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR...ists nosorts noand iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR...YNAT complete-noand FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...MYNAT complete-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...MYNAT complete-noand Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 MYNAT complete C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 MYNAT complete FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 MYNAT complete GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 MYNAT complete L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 MYNAT complete Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 MYNAT complete iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...MYNAT complete noand C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...YNAT complete noand GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...NAT complete noand iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...MYNAT nokinds-noand FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 MYNAT nokinds-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 MYNAT nokinds-noand Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 MYNAT nokinds C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 MYNAT nokinds FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 MYNAT nokinds GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 MYNAT nokinds L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 MYNAT nokinds Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 MYNAT nokinds iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 MYNAT nokinds noand C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...MYNAT nokinds noand GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...YNAT nokinds noand iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...MYNAT nosorts-noand FR	YES	YES	YES	YES	YES	YES	NO	YES
Transformed CSR 04 MYNAT nosorts-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 MYNAT nosorts C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 MYNAT nosorts FR	YES	YES	YES	YES	YES	YES	NO	YES
Transformed CSR 04 MYNAT nosorts GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 MYNAT nosorts L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 MYNAT nosorts iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 MYNAT nosorts noand C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...MYNAT nosorts noand GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...YNAT nosorts noand iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...nsOS complete-noand FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...onsOS complete-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...onsOS complete-noand Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 OvConsOS complete C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 OvConsOS complete FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 OvConsOS complete GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 OvConsOS complete L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 OvConsOS complete Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 OvConsOS complete iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...onsOS complete noand C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...nsOS complete noand GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...sOS complete noand iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...ConsOS nokinds-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 OvConsOS nokinds C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 OvConsOS nokinds FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 OvConsOS nokinds GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 OvConsOS nokinds L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 OvConsOS nokinds Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 OvConsOS nokinds iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...ConsOS nokinds noand C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...onsOS nokinds noand GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...nsOS nokinds noand iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...ConsOS nosorts-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 OvConsOS nosorts C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 OvConsOS nosorts GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 OvConsOS nosorts L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 OvConsOS nosorts iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR...ConsOS nosorts noand C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR...onsOS nosorts noand GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR...nsOS nosorts noand iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR...ROME complete-noand FR	YES	NO	YES	NO	NO	NO	NO	YES
Transformed CSR...DROME complete-noand Z	YES	NO	YES	NO	NO	NO	NO	YES
Transformed CSR 04 PALINDROME complete C	NO	NO	YES	NO	NO	NO	NO	YES
Transformed CSR...PALINDROME complete FR	YES	NO	YES	NO	NO	NO	NO	YES
Transformed CSR...PALINDROME complete GM	NO	YES	YES	NO	NO	YES	NO	YES
Transformed CSR 04 PALINDROME complete L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 PALINDROME complete Z	YES	NO	YES	NO	NO	NO	NO	YES
Transformed CSR...ALINDROME complete iGM	NO	NO	YES	NO	NO	NO	NO	YES
Transformed CSR...DROME complete noand C	NO	NO	YES	NO	NO	NO	NO	YES
Transformed CSR...ROME complete noand GM	NO	YES	YES	NO	NO	YES	NO	YES
Transformed CSR...OME complete noand iGM	NO	NO	YES	NO	NO	NO	NO	YES
Transformed CSR...DROME nokinds-noand FR	YES	NO	NO	NO	NO	NO	YES	YES
Transformed CSR...NDROME nokinds-noand Z	YES	NO	NO	NO	NO	NO	YES	YES
Transformed CSR 04 PALINDROME nokinds C	NO	NO	NO	NO	NO	NO	YES	YES
Transformed CSR 04 PALINDROME nokinds FR	YES	NO	NO	NO	NO	NO	YES	YES
Transformed CSR 04 PALINDROME nokinds GM	NO	YES	NO	NO	NO	YES	YES	YES
Transformed CSR 04 PALINDROME nokinds L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 PALINDROME nokinds Z	YES	NO	NO	NO	NO	NO	YES	YES
Transformed CSR...PALINDROME nokinds iGM	NO	NO	NO	NO	NO	NO	YES	YES
Transformed CSR...NDROME nokinds noand C	NO	NO	NO	NO	NO	NO	YES	YES
Transformed CSR...DROME nokinds noand GM	NO	YES	NO	NO	NO	YES	YES	YES
Transformed CSR...ROME nokinds noand iGM	NO	NO	NO	NO	NO	NO	YES	YES
Transformed CSR...DROME nosorts-noand FR	YES	NO	NO	NO	NO	NO	YES	YES
Transformed CSR 04 PALINDROME nosorts C	NO	NO	NO	NO	NO	NO	YES	YES
Transformed CSR 04 PALINDROME nosorts FR	YES	NO	NO	NO	NO	NO	YES	YES
Transformed CSR 04 PALINDROME nosorts GM	NO	YES	NO	NO	NO	YES	YES	YES
Transformed CSR 04 PALINDROME nosorts L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...PALINDROME nosorts iGM	NO	NO	NO	NO	NO	NO	YES	YES
Transformed CSR...NDROME nosorts noand C	NO	NO	NO	NO	NO	NO	YES	YES
Transformed CSR...DROME nosorts noand GM	NO	YES	NO	NO	NO	YES	YES	YES
Transformed CSR...ROME nosorts noand iGM	NO	NO	NO	NO	NO	NO	YES	YES
Transformed CSR...EANO complete-noand FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...PEANO complete-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR...PEANO complete-noand Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 PEANO complete C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 PEANO complete FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 PEANO complete GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 PEANO complete L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 PEANO complete Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 PEANO complete iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...PEANO complete noand C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...EANO complete noand GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...ANO complete noand iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...PEANO nokinds-noand FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 PEANO nokinds-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 PEANO nokinds-noand Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 PEANO nokinds C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 PEANO nokinds FR	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 PEANO nokinds GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR 04 PEANO nokinds L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 PEANO nokinds Z	YES	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 PEANO nokinds iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR 04 PEANO nokinds noand C	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...PEANO nokinds noand GM	NO	YES	YES	YES	NO	YES	NO	YES
Transformed CSR...EANO nokinds noand iGM	NO	NO	YES	YES	NO	NO	NO	YES
Transformed CSR...PEANO nosorts-noand FR	YES	YES	NO	YES	YES	YES	YES	YES
Transformed CSR 04 PEANO nosorts-noand L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 PEANO nosorts C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 PEANO nosorts FR	YES	YES	NO	YES	YES	YES	YES	YES
Transformed CSR 04 PEANO nosorts GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR 04 PEANO nosorts L	missing	missing	missing	missing	missing	missing	missing	missing
Transformed CSR 04 PEANO nosorts iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR 04 PEANO nosorts noand C	NO	NO	NO	YES	NO	NO	YES	YES
Transformed CSR...PEANO nosorts noand GM	NO	YES	NO	YES	NO	YES	YES	YES
Transformed CSR...EANO nosorts noand iGM	NO	NO	NO	YES	NO	NO	YES	YES
Transformed outermost 08 cariboo ex1	NO	NO	NO	YES	NO	NO	YES	YES
Transformed outermost 08 cariboo ex2	NO	NO	YES	YES	NO	NO	NO	YES
Transformed outermost 08 cariboo ex3	NO	NO	NO	YES	NO	NO	YES	YES
Transformed outermost 08 ex5.3	NO	YES	YES	YES	YES	YES	NO	YES
Transformed outermost 08 ex5.4	YES	NO	NO	YES	NO	NO	YES	YES
Transformed outermost 08 ex5.5	NO	NO	NO	YES	NO	NO	YES	YES
Transformed outermost 08 ex5.6	YES	NO	NO	NO	NO	NO	NO	YES
Transformed outermost 08 ex5.7	YES	NO	NO	YES	NO	NO	YES	YES
Transformed outermost 08 ex5.8	NO	YES	YES	YES	YES	YES	NO	YES
Transformed outermost 08 f20	NO	NO	NO	YES	NO	NO	YES	YES
Transformed outermost 08 f30	NO	NO	NO	YES	NO	NO	YES	YES
Transformed outermost 08 f4	NO	NO	NO	YES	NO	NO	YES	YES
Transformed outermost 08 f40	NO	NO	NO	YES	NO	NO	YES	YES
Transformed outermost 08 morse	YES	NO	NO	YES	NO	NO	YES	YES
Various 04 02	NO	NO	YES	YES	NO	NO	NO	YES
Various 04 03	NO	NO	YES	NO	NO	NO	NO	YES
Various 04 04	NO	NO	YES	NO	NO	NO	NO	YES
Various 04 05	NO	NO	YES	NO	NO	NO	NO	YES
Various 04 06	YES	YES	YES	NO	NO	YES	NO	YES
Various 04 07	YES	YES	NO	NO	NO	YES	YES	YES
Various 04 08	NO	NO	YES	NO	NO	NO	NO	YES
Various 04 09	YES	YES	YES	NO	NO	YES	NO	YES
Various 04 10	YES	NO	YES	YES	NO	NO	NO	YES
Various 04 11	YES	YES	YES	YES	YES	YES	NO	YES
Various 04 12	YES	NO	YES	YES	NO	NO	NO	YES
Various 04 13	YES	NO	YES	YES	NO	NO	NO	YES
Various 04 14	YES	NO	YES	YES	NO	NO	NO	YES
Various 04 15	YES	YES	NO	YES	YES	YES	YES	YES
Various 04 18	NO	NO	NO	NO	NO	NO	YES	YES
Various 04 19	YES	NO	NO	NO	NO	NO	YES	YES
Various 04 21	NO	NO	NO	YES	NO	NO	YES	YES
Various 04 22	NO	YES	YES	YES	YES	YES	NO	YES
Various 04 23	YES	YES	NO	NO	NO	YES	YES	YES
Various 04 24	YES	YES	NO	YES	YES	YES	YES	YES
Various 04 25	NO	YES	NO	YES	YES	YES	YES	YES
Various 04 26	YES	NO	YES	NO	NO	NO	NO	YES
Various 04 27	NO	YES	NO	YES	YES	YES	YES	YES
Waldmann 06 SRS e	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS jw1	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS jw3	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS jw4	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS jw5	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS pi	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS sym-1	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS sym-2	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS sym-4	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS sym-5	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS sym-6	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS uni-1	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS uni-2	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS uni-3	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS uni-4	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS uni-5	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS uni-6	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS uni-7	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 SRS z086-variant	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 jwaprove1	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 06 jwaprove2	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 06 jwcime1	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 06 jwcime2	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 06 jwmatchb1	NO	YES	NO	YES	YES	YES	YES	YES
Waldmann 06 jwmatchb2	NO	YES	NO	YES	YES	YES	YES	YES
Waldmann 06 jwno2	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 06 jwno3	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 06 jwno5	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 06 jwno7	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 06 jwno8	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 06 jwteparla1	NO	NO	YES	YES	YES	YES	NO	YES
Waldmann 06 jwteparla2	NO	NO	YES	YES	YES	YES	NO	YES
Waldmann 06 jwtpa1	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 06 jwtpa2	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 06 jwttt	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-2-num-1	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-2-num-2	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-2-num-3	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-2-num-4	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-3-num-1	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-11-alpha-3-num-10	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-11-alpha-3-num-11	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-11-alpha-3-num-12	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...size-11-alpha-3-num-13	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-11-alpha-3-num-14	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-11-alpha-3-num-15	YES	NO	NO	YES	YES	YES	YES	YES
Waldmann 07 siz...size-11-alpha-3-num-16	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-11-alpha-3-num-17	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-11-alpha-3-num-18	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-11-alpha-3-num-19	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-3-num-2	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-11-alpha-3-num-20	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-11-alpha-3-num-21	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-3-num-3	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-3-num-4	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-3-num-5	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-3-num-6	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-3-num-7	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-3-num-8	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size11 size-11-alpha-3-num-9	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-2-num-1	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-10	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-11	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-12	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-13	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-14	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-15	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-16	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-17	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-18	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-19	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-2-num-2	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-20	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-21	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-2-num-22	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-2-num-3	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-2-num-4	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-2-num-5	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-2-num-6	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-2-num-7	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-2-num-8	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-3-num-1	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-10	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-100	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-101	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-104	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-105	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-106	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-107	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-108	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-109	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-11	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-110	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-111	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-112	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-113	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-114	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-120	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-121	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-122	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-123	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-124	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-125	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-126	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-127	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-128	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-129	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-13	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-131	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-132	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-133	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-134	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-135	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-14	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-140	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-146	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-149	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-15	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-152	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-158	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-159	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-16	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-160	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-163	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-164	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-165	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-168	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-17	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-170	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-174	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-176	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-177	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-178	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-179	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-180	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-181	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-186	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-19	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-190	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-191	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-194	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-195	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-198	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-199	YES	NO	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-20	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-200	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-201	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-202	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-203	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-204	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-206	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-207	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-209	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-21	YES	NO	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-210	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-211	YES	NO	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-213	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-215	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-217	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-219	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-22	YES	NO	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-220	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-221	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-222	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-223	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-224	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-225	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-226	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-227	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-23	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-231	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-232	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-233	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-236	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-237	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-238	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-239	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-241	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-243	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-247	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-248	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-249	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-255	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-257	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-260	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-263	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-265	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-267	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-270	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-271	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-272	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-273	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-274	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-275	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-279	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-281	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-282	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-283	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-284	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-285	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-286	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-287	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-288	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-289	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-291	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-292	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-293	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-294	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-296	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-297	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-298	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-299	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-3-num-3	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-30	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-300	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-301	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-303	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-304	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-309	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-31	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-32	YES	NO	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-327	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-328	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-330	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-335	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-337	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-338	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-339	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-340	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-341	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-343	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-345	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-346	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-347	YES	NO	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-348	YES	NO	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-35	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-350	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-351	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-352	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-353	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-354	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-355	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-356	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-359	NO	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-360	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-361	NO	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-362	NO	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-363	NO	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-366	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-367	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-368	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-369	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-373	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-374	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-375	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-376	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-377	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-378	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-382	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-383	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-384	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-385	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-386	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-389	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-391	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-392	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-395	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-396	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-399	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-3-num-4	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-40	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-400	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-401	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-402	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-403	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-406	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-408	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-409	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-41	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-410	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-412	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-413	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-414	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-415	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-416	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-417	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-418	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-427	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-429	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-430	YES	NO	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-431	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-434	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-435	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-436	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-437	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-438	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-439	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-44	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-441	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-443	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-446	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-448	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-45	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-450	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-451	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-452	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-453	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-454	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-455	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-456	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-460	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-461	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-462	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-465	YES	NO	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-467	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-468	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-469	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-47	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-470	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-472	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-473	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-474	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-475	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-476	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-477	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-478	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-479	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-48	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-480	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-482	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-484	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-485	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-487	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-488	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-489	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-49	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-491	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-492	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-493	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-494	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-495	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-497	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-498	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-499	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-502	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-503	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-506	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-507	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-508	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-51	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-511	NO	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-52	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-522	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-526	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-532	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-535	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-536	NO	NO	NO	YES	YES	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-540	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-541	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-543	YES	YES	NO	YES	NO	YES	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-545	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-546	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-547	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-548	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-549	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-550	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-551	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-552	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-553	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-556	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-558	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-559	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-560	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-561	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-563	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-564	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-565	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-566	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...ize-12-alpha-3-num-568	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-57	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-59	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-61	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-64	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-65	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-66	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-67	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-3-num-7	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-70	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-71	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-72	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-74	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-76	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-82	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-83	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-84	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-85	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-86	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-88	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 size12 size-12-alpha-3-num-9	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-90	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-91	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-92	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-94	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-95	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-98	YES	NO	NO	YES	NO	NO	YES	YES
Waldmann 07 siz...size-12-alpha-3-num-99	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 04 syracuse	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z001	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z002	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z003	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z004	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z005	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z006	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z007	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z008	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z009	NO	YES	NO	YES	NO	YES	YES	YES
Zantema 04 z010	NO	YES	NO	YES	YES	YES	YES	YES
Zantema 04 z011	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z012	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z013	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z014	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z015	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z017	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z018	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z019	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z020	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z021	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z022	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z023	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z024	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z025	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z026	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z027	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z028	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z029	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z030	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z031	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z032	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z033	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z034	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z035	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z036	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z037	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z038	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z039	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z040	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z041	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z042	NO	YES	NO	YES	YES	YES	YES	YES
Zantema 04 z043	NO	YES	NO	YES	YES	YES	YES	YES
Zantema 04 z044	NO	YES	NO	YES	YES	YES	YES	YES
Zantema 04 z045	NO	YES	NO	YES	YES	YES	YES	YES
Zantema 04 z046	NO	YES	NO	YES	YES	YES	YES	YES
Zantema 04 z047	NO	YES	NO	YES	YES	YES	YES	YES
Zantema 04 z048	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z049	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z050	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z051	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z052	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z053	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z054	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z055	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z056	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z057	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z058	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z059	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z060	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z061	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z062	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z063	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z064	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z065	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z066	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z067	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z068	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z069	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z070	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z071	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z072	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z073	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z074	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z075	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z076	YES	YES	NO	YES	YES	YES	YES	YES
Zantema 04 z077	NO	YES	NO	YES	YES	YES	YES	YES
Zantema 04 z078	YES	YES	NO	YES	YES	YES	YES	YES
Zantema 04 z079	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z081	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z082	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z083	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z084	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z085	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z087	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z088	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z089	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z090	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z091	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z092	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z093	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z094	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z095	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z096	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z097	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z098	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 04 z100	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z101	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z102	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z103	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z104	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z105	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z106	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z107	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z108	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z109	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z110	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z111	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z112	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z113	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z114	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z115	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z116	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z117	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z118	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z119	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z120	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z121	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z122	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z123	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z124	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z125	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z126	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z127	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 04 z128	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 jw01	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw02	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw03	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw04	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw05	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw06	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw07	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw08	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw09	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 jw11	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw12	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw13	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 jw14	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 jw15	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw16	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw17	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw18	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw19	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw20	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw21	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw22	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw23	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw24	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw25	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw26	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw27	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw28	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw29	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw30	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw31	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw32	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw33	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw34	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw35	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 jw36	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 jw37	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw38	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw39	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 jw40	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 jw41	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw42	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw43	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 jw44	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 jw47	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 jw50	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 z01	NO	NO	NO	YES	YES	YES	YES	YES
Zantema 05 z02	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 z03	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 z04	NO	NO	YES	YES	NO	NO	NO	YES
Zantema 05 z05	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 z06	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 z07	NO	NO	NO	YES	NO	YES	YES	YES
Zantema 05 z08	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 z09	YES	NO	YES	YES	NO	NO	NO	YES
Zantema 05 z10	YES	NO	YES	YES	NO	NO	NO	YES
Zantema 05 z11	YES	NO	NO	YES	YES	YES	YES	YES
Zantema 05 z12	NO	YES	NO	YES	NO	YES	YES	YES
Zantema 05 z13	NO	YES	NO	YES	NO	YES	YES	YES
Zantema 05 z14	NO	YES	NO	YES	NO	YES	YES	YES
Zantema 05 z15	NO	YES	NO	YES	NO	YES	YES	YES
Zantema 05 z16	NO	YES	NO	YES	NO	YES	YES	YES
Zantema 05 z17	NO	YES	NO	YES	NO	YES	YES	YES
Zantema 05 z18	NO	YES	NO	YES	NO	YES	YES	YES
Zantema 05 z19	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 z20	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 z21	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 z22	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 z23	NO	YES	NO	YES	NO	YES	YES	YES
Zantema 05 z24	NO	YES	NO	YES	NO	YES	YES	YES
Zantema 05 z25	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 z26	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 05 z27	NO	YES	YES	YES	NO	YES	NO	YES
Zantema 05 z28	NO	NO	YES	YES	YES	YES	NO	YES
Zantema 05 z29	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 05 z30	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 01	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 02	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 03	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 04	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 05	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 06	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 07	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 08	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 09	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 10	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 06 11	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 12	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 13	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 14	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 15	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 16	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 17	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 18	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 abc	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 06 beans1	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 beans2	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 beans3	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 beans4	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 beans5	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 beans6	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 beans7	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 loop1	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 loop2	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 while1	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 06 while2	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 assoc c rhs	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 assoc f rhs	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 bintree	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 cariboo add1	NO	NO	YES	NO	NO	NO	NO	YES
Zantema 08 cariboo add2	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 cariboo add2a	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 08 cariboo add3	NO	NO	NO	NO	NO	NO	NO	YES
Zantema 08 cariboo len3	NO	NO	YES	YES	NO	NO	NO	YES
Zantema 08 cariboo nl 1	NO	NO	NO	NO	NO	NO	NO	YES
Zantema 08 cariboo nl 2	NO	NO	YES	NO	NO	NO	NO	YES
Zantema 08 cariboo nl 3	NO	NO	NO	NO	NO	NO	NO	YES
Zantema 08 cariboo nl 4	NO	NO	YES	NO	NO	NO	NO	YES
Zantema 08 cariboo nl 5	NO	YES	NO	NO	NO	YES	NO	YES
Zantema 08 cariboo nl 6	YES	NO	NO	NO	NO	NO	NO	YES
Zantema 08 countbin	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 countter	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 dupl rhs	YES	NO	YES	YES	NO	NO	NO	YES
Zantema 08 ex0	NO	NO	YES	YES	NO	NO	NO	YES
Zantema 08 ex1	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 ex2	NO	YES	NO	NO	NO	YES	YES	YES
Zantema 08 ex3	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 ex4	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 ex5	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 ex6	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 ex7	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 ex8	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 08 ex9	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 08 f 2 1	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 f 2 2	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 f 5	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 f 5 1	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 f 5 2	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 ffb SL	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 ffg	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 08 fg	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 08 from one	NO	YES	YES	YES	YES	YES	NO	YES
Zantema 08 from one a	NO	YES	YES	YES	YES	YES	NO	YES
Zantema 08 from three	NO	YES	YES	YES	YES	YES	NO	YES
Zantema 08 g 2 const	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 g 2 f var	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 08 inn out	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 morse	YES	NO	NO	YES	NO	NO	YES	YES
Zantema 08 outermost gr	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 toyama stop	YES	NO	YES	YES	NO	NO	NO	YES
Zantema 08 toyama stop2	YES	NO	YES	YES	NO	NO	NO	YES
Zantema 08 yoyo 2	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 yoyo 3	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 yoyo 3a	NO	NO	NO	YES	NO	NO	YES	YES
Zantema 08 yoyo 3b	YES	NO	NO	YES	NO	NO	YES	YES