more work to produce well formed .ma files

diff --git a/helm/software/components/binaries/tptp2grafite/Makefile b/helm/software/components/binaries/tptp2grafite/Makefile
index c8ea0ebf2f00858592a090117b057ba977b195dd..81e30eab3793606589f8d6bf55b62dfa1c155486 100644 (file)
--- a/helm/software/components/binaries/tptp2grafite/Makefile
+++ b/helm/software/components/binaries/tptp2grafite/Makefile
@@ -24,3 +24,10 @@ testall: tptp2grafite
        for X in `cat unit_equality_problems`; do\
                cat $(TPTPDIR)/$$X | ./tptp2grafite || echo ERROR PARSING $$X;\
        done
+
+generate:
+       for X in `cat unit_equality_problems`; do\
+               ./tptp2grafite -tptppath /home/tassi/TPTP-v3.1.1/ $$X \
+               > ../../../matita/tests/TPTP/$$X.ma || echo Failed: $$X; \
+       done
+

diff --git a/helm/software/components/binaries/tptp2grafite/main.ml b/helm/software/components/binaries/tptp2grafite/main.ml
index cbdddf851c9d2a9233e68f5c9465429ffd01c0a9..4ae496b1da3270ac7c8ff92330d8d586356094e5 100644 (file)
--- a/helm/software/components/binaries/tptp2grafite/main.ml
+++ b/helm/software/components/binaries/tptp2grafite/main.ml
@@ -4,6 +4,15 @@ module PT = CicNotationPt;;
 module A = Ast;;
 let floc = HExtlib.dummy_floc;;
 
+let kw = [
+ "and","myand"
+];;
+
+let mk_ident s =
+  PT.Ident ((try List.assoc s kw with Not_found -> s),None)
+;;
+
+
 let rec collect_arities_from_term = function
   | A.Constant name -> [name,0]
   | A.Variable name -> []
@@ -43,10 +52,10 @@ let collect_fv_from_atom a =
 ;;  
 
 let rec convert_term = function
-  | A.Variable x -> PT.Ident (x,None)
-  | A.Constant x -> PT.Ident (x,None)
+  | A.Variable x -> mk_ident x
+  | A.Constant x -> mk_ident x
   | A.Function (name, args) -> 
-      PT.Appl (PT.Ident (name,None) :: List.map convert_term args)
+      PT.Appl (mk_ident name :: List.map convert_term args)
 ;;
 
 let atom_of_formula = function
@@ -56,11 +65,11 @@ let atom_of_formula = function
 ;;
   
 let rec mk_arrow component = function
-  | 0 -> PT.Ident (component,None)
+  | 0 -> mk_ident component
   | n -> 
       PT.Binder 
         (`Forall,
-          ((PT.Ident ("_",None)),Some (PT.Ident (component,None))),
+          ((mk_ident "_"),Some (mk_ident component)),
           mk_arrow component (n-1))
 ;;
 
@@ -70,7 +79,7 @@ let build_ctx_for_arities arities t =
     | (name,nargs)::tl ->
         PT.Binder 
           (`Forall,
-            (PT.Ident (name,None),Some (mk_arrow "A" nargs)),
+            (mk_ident name,Some (mk_arrow "A" nargs)),
             aux tl)
   in
   aux arities
@@ -79,13 +88,14 @@ let build_ctx_for_arities arities t =
 let convert_atom a = 
   let aux = function
   | A.Proposition _ -> assert false
-  | A.Predicate (name,params) -> assert false
-  | A.True -> PT.Ident ("True",None)
-  | A.False -> PT.Ident ("False",None)
+  | A.Predicate (name,params) -> 
+      prerr_endline ("Predicate is unsupported: " ^ name);
+      assert false
+  | A.True -> mk_ident "True"
+  | A.False -> mk_ident "False"
   | A.Eq (l,r) 
   | A.NotEq (l,r) -> (* removes the negation *)
-      PT.Appl [
-        PT.Ident ("eq",None); PT.Ident ("A",None); convert_term l; convert_term r]
+      PT.Appl [mk_ident "eq";mk_ident "A";convert_term l;convert_term r]
   in
   build_ctx_for_arities (List.map (fun x -> (x,0)) (collect_fv_from_atom a)) (aux a)
 ;;
@@ -104,7 +114,7 @@ let rec convert_formula no_arities context f =
     | hp::tl -> 
         PT.Binder 
           (`Forall,
-            (PT.Ident ("H" ^ string_of_int n,None), 
+            (mk_ident ("H" ^ string_of_int n), 
                        Some (convert_formula true [] hp)), 
             build_ctx (n+1) tl)
   in
@@ -137,7 +147,7 @@ let convert_ast statements context = function
           let f = 
             PT.Binder 
              (`Forall,
-               (PT.Ident ("A",None),Some (PT.Sort `Set)), 
+               (mk_ident "A",Some (PT.Sort `Set)), 
                convert_formula false context f)
           in
           let o = PT.Theorem (`Theorem,name,f,None) in
@@ -215,7 +225,10 @@ let _ =
   in
   let pp t = 
     (* for a correct pp we should disambiguate the term... *)
-    let term_pp = CicNotationPp.pp_term in 
+    let term_pp x = 
+      BoxPp.render_to_string 80 (CicNotationPres.render (Hashtbl.create 1)
+        (TermContentPres.pp_ast x))
+    in
     let lazy_term_pp = fun x -> assert false in
     let obj_pp = CicNotationPp.pp_obj in
     print_endline 

diff --git a/helm/software/components/binaries/tptp2grafite/unit_equality_problems b/helm/software/components/binaries/tptp2grafite/unit_equality_problems
index a2aacb39114731ddbe57beeabe3ed85a9240f31c..c394ddd956fbebb3fabab2bf63eb32b5bf70f66a 100644 (file)
--- a/helm/software/components/binaries/tptp2grafite/unit_equality_problems
+++ b/helm/software/components/binaries/tptp2grafite/unit_equality_problems
@@ -1,880 +1,860 @@
-Axioms/BOO001-0.ax
-Axioms/BOO003-0.ax
-Axioms/BOO004-0.ax
-Axioms/GRP004-0.ax
-Axioms/GRP004-2.ax
-Axioms/GRP008-0.ax
-Axioms/HWC001-0.ax
-Axioms/HWC002-0.ax
-Axioms/LAT001-0.ax
-Axioms/LAT003-0.ax
-Axioms/LAT004-0.ax
-Axioms/LAT005-0.ax
-Axioms/LCL001-0.ax
-Axioms/LCL001-2.ax
-Axioms/LCL002-0.ax
-Axioms/LCL002-1.ax
-Axioms/RNG002-0.ax
-Axioms/RNG003-0.ax
-Axioms/RNG005-0.ax
-Axioms/ROB001-0.ax
-Problems/ALG/ALG005-1.p
-Problems/ALG/ALG006-1.p
-Problems/ALG/ALG007-1.p
-Problems/BOO/BOO001-1.p
-Problems/BOO/BOO002-1.p
-Problems/BOO/BOO002-2.p
-Problems/BOO/BOO003-2.p
-Problems/BOO/BOO003-4.p
-Problems/BOO/BOO004-2.p
-Problems/BOO/BOO004-4.p
-Problems/BOO/BOO005-2.p
-Problems/BOO/BOO005-4.p
-Problems/BOO/BOO006-2.p
-Problems/BOO/BOO006-4.p
-Problems/BOO/BOO007-2.p
-Problems/BOO/BOO007-4.p
-Problems/BOO/BOO008-2.p
-Problems/BOO/BOO008-4.p
-Problems/BOO/BOO009-2.p
-Problems/BOO/BOO009-4.p
-Problems/BOO/BOO010-2.p
-Problems/BOO/BOO010-4.p
-Problems/BOO/BOO011-2.p
-Problems/BOO/BOO011-4.p
-Problems/BOO/BOO012-2.p
-Problems/BOO/BOO012-4.p
-Problems/BOO/BOO013-2.p
-Problems/BOO/BOO013-4.p
-Problems/BOO/BOO014-2.p
-Problems/BOO/BOO014-4.p
-Problems/BOO/BOO015-2.p
-Problems/BOO/BOO015-4.p
-Problems/BOO/BOO016-2.p
-Problems/BOO/BOO017-2.p
-Problems/BOO/BOO018-4.p
-Problems/BOO/BOO019-1.p
-Problems/BOO/BOO021-1.p
-Problems/BOO/BOO022-1.p
-Problems/BOO/BOO023-1.p
-Problems/BOO/BOO024-1.p
-Problems/BOO/BOO025-1.p
-Problems/BOO/BOO026-1.p
-Problems/BOO/BOO027-1.p
-Problems/BOO/BOO028-1.p
-Problems/BOO/BOO029-1.p
-Problems/BOO/BOO030-1.p
-Problems/BOO/BOO031-1.p
-Problems/BOO/BOO032-1.p
-Problems/BOO/BOO033-1.p
-Problems/BOO/BOO034-1.p
-Problems/BOO/BOO036-1.p
-Problems/BOO/BOO037-2.p
-Problems/BOO/BOO037-3.p
-Problems/BOO/BOO067-1.p
-Problems/BOO/BOO068-1.p
-Problems/BOO/BOO069-1.p
-Problems/BOO/BOO070-1.p
-Problems/BOO/BOO071-1.p
-Problems/BOO/BOO072-1.p
-Problems/BOO/BOO073-1.p
-Problems/BOO/BOO074-1.p
-Problems/BOO/BOO075-1.p
-Problems/BOO/BOO076-1.p
-Problems/BOO/BOO077-1.p
-Problems/BOO/BOO078-1.p
-Problems/BOO/BOO079-1.p
-Problems/BOO/BOO080-1.p
-Problems/BOO/BOO081-1.p
-Problems/BOO/BOO082-1.p
-Problems/BOO/BOO083-1.p
-Problems/BOO/BOO084-1.p
-Problems/BOO/BOO085-1.p
-Problems/BOO/BOO086-1.p
-Problems/BOO/BOO087-1.p
-Problems/BOO/BOO088-1.p
-Problems/BOO/BOO089-1.p
-Problems/BOO/BOO090-1.p
-Problems/BOO/BOO091-1.p
-Problems/BOO/BOO092-1.p
-Problems/BOO/BOO093-1.p
-Problems/BOO/BOO094-1.p
-Problems/BOO/BOO095-1.p
-Problems/BOO/BOO096-1.p
-Problems/BOO/BOO097-1.p
-Problems/BOO/BOO098-1.p
-Problems/BOO/BOO099-1.p
-Problems/BOO/BOO100-1.p
-Problems/BOO/BOO101-1.p
-Problems/BOO/BOO102-1.p
-Problems/BOO/BOO103-1.p
-Problems/BOO/BOO104-1.p
-Problems/BOO/BOO105-1.p
-Problems/BOO/BOO106-1.p
-Problems/BOO/BOO107-1.p
-Problems/BOO/BOO108-1.p
-Problems/COL/COL001-1.p
-Problems/COL/COL001-2.p
-Problems/COL/COL002-1.p
-Problems/COL/COL002-4.p
-Problems/COL/COL002-5.p
-Problems/COL/COL003-1.p
-Problems/COL/COL003-12.p
-Problems/COL/COL003-13.p
-Problems/COL/COL003-14.p
-Problems/COL/COL003-15.p
-Problems/COL/COL003-16.p
-Problems/COL/COL003-17.p
-Problems/COL/COL003-18.p
-Problems/COL/COL003-19.p
-Problems/COL/COL003-20.p
-Problems/COL/COL004-1.p
-Problems/COL/COL004-3.p
-Problems/COL/COL005-1.p
-Problems/COL/COL006-1.p
-Problems/COL/COL006-5.p
-Problems/COL/COL006-6.p
-Problems/COL/COL006-7.p
-Problems/COL/COL007-1.p
-Problems/COL/COL008-1.p
-Problems/COL/COL009-1.p
-Problems/COL/COL010-1.p
-Problems/COL/COL011-1.p
-Problems/COL/COL012-1.p
-Problems/COL/COL013-1.p
-Problems/COL/COL014-1.p
-Problems/COL/COL015-1.p
-Problems/COL/COL016-1.p
-Problems/COL/COL017-1.p
-Problems/COL/COL018-1.p
-Problems/COL/COL019-1.p
-Problems/COL/COL020-1.p
-Problems/COL/COL021-1.p
-Problems/COL/COL022-1.p
-Problems/COL/COL023-1.p
-Problems/COL/COL024-1.p
-Problems/COL/COL025-1.p
-Problems/COL/COL026-1.p
-Problems/COL/COL027-1.p
-Problems/COL/COL029-1.p
-Problems/COL/COL030-1.p
-Problems/COL/COL031-1.p
-Problems/COL/COL032-1.p
-Problems/COL/COL033-1.p
-Problems/COL/COL034-1.p
-Problems/COL/COL035-1.p
-Problems/COL/COL036-1.p
-Problems/COL/COL037-1.p
-Problems/COL/COL038-1.p
-Problems/COL/COL039-1.p
-Problems/COL/COL041-1.p
-Problems/COL/COL042-1.p
-Problems/COL/COL042-6.p
-Problems/COL/COL042-7.p
-Problems/COL/COL042-8.p
-Problems/COL/COL042-9.p
-Problems/COL/COL043-1.p
-Problems/COL/COL043-3.p
-Problems/COL/COL044-1.p
-Problems/COL/COL044-6.p
-Problems/COL/COL044-7.p
-Problems/COL/COL044-8.p
-Problems/COL/COL044-9.p
-Problems/COL/COL045-1.p
-Problems/COL/COL046-1.p
-Problems/COL/COL047-1.p
-Problems/COL/COL048-1.p
-Problems/COL/COL049-1.p
-Problems/COL/COL050-1.p
-Problems/COL/COL051-1.p
-Problems/COL/COL052-1.p
-Problems/COL/COL053-1.p
-Problems/COL/COL056-1.p
-Problems/COL/COL057-1.p
-Problems/COL/COL058-1.p
-Problems/COL/COL058-2.p
-Problems/COL/COL058-3.p
-Problems/COL/COL059-1.p
-Problems/COL/COL060-1.p
-Problems/COL/COL060-2.p
-Problems/COL/COL060-3.p
-Problems/COL/COL061-1.p
-Problems/COL/COL061-2.p
-Problems/COL/COL061-3.p
-Problems/COL/COL062-1.p
-Problems/COL/COL062-2.p
-Problems/COL/COL062-3.p
-Problems/COL/COL063-1.p
-Problems/COL/COL063-2.p
-Problems/COL/COL063-3.p
-Problems/COL/COL063-4.p
-Problems/COL/COL063-5.p
-Problems/COL/COL063-6.p
-Problems/COL/COL064-1.p
-Problems/COL/COL064-2.p
-Problems/COL/COL064-3.p
-Problems/COL/COL064-4.p
-Problems/COL/COL064-5.p
-Problems/COL/COL064-6.p
-Problems/COL/COL064-7.p
-Problems/COL/COL064-8.p
-Problems/COL/COL064-9.p
-Problems/COL/COL064-10.p
-Problems/COL/COL064-11.p
-Problems/COL/COL065-1.p
-Problems/COL/COL066-1.p
-Problems/COL/COL066-2.p
-Problems/COL/COL066-3.p
-Problems/COL/COL067-1.p
-Problems/COL/COL068-1.p
-Problems/COL/COL069-1.p
-Problems/COL/COL070-1.p
-Problems/COL/COL071-1.p
-Problems/COL/COL073-1.p
-Problems/COL/COL075-2.p
-Problems/COL/COL083-1.p
-Problems/COL/COL084-1.p
-Problems/COL/COL085-1.p
-Problems/COL/COL086-1.p
-Problems/COL/COL087-1.p
-Problems/GRP/GRP001-2.p
-Problems/GRP/GRP001-4.p
-Problems/GRP/GRP002-2.p
-Problems/GRP/GRP002-3.p
-Problems/GRP/GRP002-4.p
-Problems/GRP/GRP010-4.p
-Problems/GRP/GRP011-4.p
-Problems/GRP/GRP012-4.p
-Problems/GRP/GRP014-1.p
-Problems/GRP/GRP022-2.p
-Problems/GRP/GRP023-2.p
-Problems/GRP/GRP024-5.p
-Problems/GRP/GRP114-1.p
-Problems/GRP/GRP115-1.p
-Problems/GRP/GRP116-1.p
-Problems/GRP/GRP117-1.p
-Problems/GRP/GRP118-1.p
-Problems/GRP/GRP119-1.p
-Problems/GRP/GRP120-1.p
-Problems/GRP/GRP121-1.p
-Problems/GRP/GRP122-1.p
-Problems/GRP/GRP136-1.p
-Problems/GRP/GRP137-1.p
-Problems/GRP/GRP138-1.p
-Problems/GRP/GRP139-1.p
-Problems/GRP/GRP140-1.p
-Problems/GRP/GRP141-1.p
-Problems/GRP/GRP142-1.p
-Problems/GRP/GRP143-1.p
-Problems/GRP/GRP144-1.p
-Problems/GRP/GRP145-1.p
-Problems/GRP/GRP146-1.p
-Problems/GRP/GRP147-1.p
-Problems/GRP/GRP148-1.p
-Problems/GRP/GRP149-1.p
-Problems/GRP/GRP150-1.p
-Problems/GRP/GRP151-1.p
-Problems/GRP/GRP152-1.p
-Problems/GRP/GRP153-1.p
-Problems/GRP/GRP154-1.p
-Problems/GRP/GRP155-1.p
-Problems/GRP/GRP156-1.p
-Problems/GRP/GRP157-1.p
-Problems/GRP/GRP158-1.p
-Problems/GRP/GRP159-1.p
-Problems/GRP/GRP160-1.p
-Problems/GRP/GRP161-1.p
-Problems/GRP/GRP162-1.p
-Problems/GRP/GRP163-1.p
-Problems/GRP/GRP164-1.p
-Problems/GRP/GRP164-2.p
-Problems/GRP/GRP165-1.p
-Problems/GRP/GRP165-2.p
-Problems/GRP/GRP166-1.p
-Problems/GRP/GRP166-2.p
-Problems/GRP/GRP166-3.p
-Problems/GRP/GRP166-4.p
-Problems/GRP/GRP167-1.p
-Problems/GRP/GRP167-2.p
-Problems/GRP/GRP167-3.p
-Problems/GRP/GRP167-4.p
-Problems/GRP/GRP167-5.p
-Problems/GRP/GRP168-1.p
-Problems/GRP/GRP168-2.p
-Problems/GRP/GRP169-1.p
-Problems/GRP/GRP169-2.p
-Problems/GRP/GRP170-1.p
-Problems/GRP/GRP170-2.p
-Problems/GRP/GRP170-3.p
-Problems/GRP/GRP170-4.p
-Problems/GRP/GRP171-1.p
-Problems/GRP/GRP171-2.p
-Problems/GRP/GRP172-1.p
-Problems/GRP/GRP172-2.p
-Problems/GRP/GRP173-1.p
-Problems/GRP/GRP174-1.p
-Problems/GRP/GRP175-1.p
-Problems/GRP/GRP175-2.p
-Problems/GRP/GRP175-3.p
-Problems/GRP/GRP175-4.p
-Problems/GRP/GRP176-1.p
-Problems/GRP/GRP176-2.p
-Problems/GRP/GRP177-1.p
-Problems/GRP/GRP177-2.p
-Problems/GRP/GRP178-1.p
-Problems/GRP/GRP178-2.p
-Problems/GRP/GRP179-1.p
-Problems/GRP/GRP179-2.p
-Problems/GRP/GRP179-3.p
-Problems/GRP/GRP180-1.p
-Problems/GRP/GRP180-2.p
-Problems/GRP/GRP181-1.p
-Problems/GRP/GRP181-2.p
-Problems/GRP/GRP181-3.p
-Problems/GRP/GRP181-4.p
-Problems/GRP/GRP182-1.p
-Problems/GRP/GRP182-2.p
-Problems/GRP/GRP182-3.p
-Problems/GRP/GRP182-4.p
-Problems/GRP/GRP183-1.p
-Problems/GRP/GRP183-2.p
-Problems/GRP/GRP183-3.p
-Problems/GRP/GRP183-4.p
-Problems/GRP/GRP184-1.p
-Problems/GRP/GRP184-2.p
-Problems/GRP/GRP184-3.p
-Problems/GRP/GRP184-4.p
-Problems/GRP/GRP185-1.p
-Problems/GRP/GRP185-2.p
-Problems/GRP/GRP185-3.p
-Problems/GRP/GRP185-4.p
-Problems/GRP/GRP186-1.p
-Problems/GRP/GRP186-2.p
-Problems/GRP/GRP186-3.p
-Problems/GRP/GRP186-4.p
-Problems/GRP/GRP187-1.p
-Problems/GRP/GRP188-1.p
-Problems/GRP/GRP188-2.p
-Problems/GRP/GRP189-1.p
-Problems/GRP/GRP189-2.p
-Problems/GRP/GRP190-1.p
-Problems/GRP/GRP190-2.p
-Problems/GRP/GRP191-1.p
-Problems/GRP/GRP191-2.p
-Problems/GRP/GRP192-1.p
-Problems/GRP/GRP193-1.p
-Problems/GRP/GRP193-2.p
-Problems/GRP/GRP195-1.p
-Problems/GRP/GRP196-1.p
-Problems/GRP/GRP200-1.p
-Problems/GRP/GRP201-1.p
-Problems/GRP/GRP202-1.p
-Problems/GRP/GRP203-1.p
-Problems/GRP/GRP204-1.p
-Problems/GRP/GRP205-1.p
-Problems/GRP/GRP206-1.p
-Problems/GRP/GRP207-1.p
-Problems/GRP/GRP393-2.p
-Problems/GRP/GRP394-3.p
-Problems/GRP/GRP399-1.p
-Problems/GRP/GRP403-1.p
-Problems/GRP/GRP404-1.p
-Problems/GRP/GRP405-1.p
-Problems/GRP/GRP406-1.p
-Problems/GRP/GRP407-1.p
-Problems/GRP/GRP408-1.p
-Problems/GRP/GRP409-1.p
-Problems/GRP/GRP410-1.p
-Problems/GRP/GRP411-1.p
-Problems/GRP/GRP412-1.p
-Problems/GRP/GRP413-1.p
-Problems/GRP/GRP414-1.p
-Problems/GRP/GRP415-1.p
-Problems/GRP/GRP416-1.p
-Problems/GRP/GRP417-1.p
-Problems/GRP/GRP418-1.p
-Problems/GRP/GRP419-1.p
-Problems/GRP/GRP420-1.p
-Problems/GRP/GRP421-1.p
-Problems/GRP/GRP422-1.p
-Problems/GRP/GRP423-1.p
-Problems/GRP/GRP424-1.p
-Problems/GRP/GRP425-1.p
-Problems/GRP/GRP426-1.p
-Problems/GRP/GRP427-1.p
-Problems/GRP/GRP428-1.p
-Problems/GRP/GRP429-1.p
-Problems/GRP/GRP430-1.p
-Problems/GRP/GRP431-1.p
-Problems/GRP/GRP432-1.p
-Problems/GRP/GRP433-1.p
-Problems/GRP/GRP434-1.p
-Problems/GRP/GRP435-1.p
-Problems/GRP/GRP436-1.p
-Problems/GRP/GRP437-1.p
-Problems/GRP/GRP438-1.p
-Problems/GRP/GRP439-1.p
-Problems/GRP/GRP440-1.p
-Problems/GRP/GRP441-1.p
-Problems/GRP/GRP442-1.p
-Problems/GRP/GRP443-1.p
-Problems/GRP/GRP444-1.p
-Problems/GRP/GRP445-1.p
-Problems/GRP/GRP446-1.p
-Problems/GRP/GRP447-1.p
-Problems/GRP/GRP448-1.p
-Problems/GRP/GRP449-1.p
-Problems/GRP/GRP450-1.p
-Problems/GRP/GRP451-1.p
-Problems/GRP/GRP452-1.p
-Problems/GRP/GRP453-1.p
-Problems/GRP/GRP454-1.p
-Problems/GRP/GRP455-1.p
-Problems/GRP/GRP456-1.p
-Problems/GRP/GRP457-1.p
-Problems/GRP/GRP458-1.p
-Problems/GRP/GRP459-1.p
-Problems/GRP/GRP460-1.p
-Problems/GRP/GRP461-1.p
-Problems/GRP/GRP462-1.p
-Problems/GRP/GRP463-1.p
-Problems/GRP/GRP464-1.p
-Problems/GRP/GRP465-1.p
-Problems/GRP/GRP466-1.p
-Problems/GRP/GRP467-1.p
-Problems/GRP/GRP468-1.p
-Problems/GRP/GRP469-1.p
-Problems/GRP/GRP470-1.p
-Problems/GRP/GRP471-1.p
-Problems/GRP/GRP472-1.p
-Problems/GRP/GRP473-1.p
-Problems/GRP/GRP474-1.p
-Problems/GRP/GRP475-1.p
-Problems/GRP/GRP476-1.p
-Problems/GRP/GRP477-1.p
-Problems/GRP/GRP478-1.p
-Problems/GRP/GRP479-1.p
-Problems/GRP/GRP480-1.p
-Problems/GRP/GRP481-1.p
-Problems/GRP/GRP482-1.p
-Problems/GRP/GRP483-1.p
-Problems/GRP/GRP484-1.p
-Problems/GRP/GRP485-1.p
-Problems/GRP/GRP486-1.p
-Problems/GRP/GRP487-1.p
-Problems/GRP/GRP488-1.p
-Problems/GRP/GRP489-1.p
-Problems/GRP/GRP490-1.p
-Problems/GRP/GRP491-1.p
-Problems/GRP/GRP492-1.p
-Problems/GRP/GRP493-1.p
-Problems/GRP/GRP494-1.p
-Problems/GRP/GRP495-1.p
-Problems/GRP/GRP496-1.p
-Problems/GRP/GRP497-1.p
-Problems/GRP/GRP498-1.p
-Problems/GRP/GRP499-1.p
-Problems/GRP/GRP500-1.p
-Problems/GRP/GRP501-1.p
-Problems/GRP/GRP502-1.p
-Problems/GRP/GRP503-1.p
-Problems/GRP/GRP504-1.p
-Problems/GRP/GRP505-1.p
-Problems/GRP/GRP506-1.p
-Problems/GRP/GRP507-1.p
-Problems/GRP/GRP508-1.p
-Problems/GRP/GRP509-1.p
-Problems/GRP/GRP510-1.p
-Problems/GRP/GRP511-1.p
-Problems/GRP/GRP512-1.p
-Problems/GRP/GRP513-1.p
-Problems/GRP/GRP514-1.p
-Problems/GRP/GRP515-1.p
-Problems/GRP/GRP516-1.p
-Problems/GRP/GRP517-1.p
-Problems/GRP/GRP518-1.p
-Problems/GRP/GRP519-1.p
-Problems/GRP/GRP520-1.p
-Problems/GRP/GRP521-1.p
-Problems/GRP/GRP522-1.p
-Problems/GRP/GRP523-1.p
-Problems/GRP/GRP524-1.p
-Problems/GRP/GRP525-1.p
-Problems/GRP/GRP526-1.p
-Problems/GRP/GRP527-1.p
-Problems/GRP/GRP528-1.p
-Problems/GRP/GRP529-1.p
-Problems/GRP/GRP530-1.p
-Problems/GRP/GRP531-1.p
-Problems/GRP/GRP532-1.p
-Problems/GRP/GRP533-1.p
-Problems/GRP/GRP534-1.p
-Problems/GRP/GRP535-1.p
-Problems/GRP/GRP536-1.p
-Problems/GRP/GRP537-1.p
-Problems/GRP/GRP538-1.p
-Problems/GRP/GRP539-1.p
-Problems/GRP/GRP540-1.p
-Problems/GRP/GRP541-1.p
-Problems/GRP/GRP542-1.p
-Problems/GRP/GRP543-1.p
-Problems/GRP/GRP544-1.p
-Problems/GRP/GRP545-1.p
-Problems/GRP/GRP546-1.p
-Problems/GRP/GRP547-1.p
-Problems/GRP/GRP548-1.p
-Problems/GRP/GRP549-1.p
-Problems/GRP/GRP550-1.p
-Problems/GRP/GRP551-1.p
-Problems/GRP/GRP552-1.p
-Problems/GRP/GRP553-1.p
-Problems/GRP/GRP554-1.p
-Problems/GRP/GRP555-1.p
-Problems/GRP/GRP556-1.p
-Problems/GRP/GRP557-1.p
-Problems/GRP/GRP558-1.p
-Problems/GRP/GRP559-1.p
-Problems/GRP/GRP560-1.p
-Problems/GRP/GRP561-1.p
-Problems/GRP/GRP562-1.p
-Problems/GRP/GRP563-1.p
-Problems/GRP/GRP564-1.p
-Problems/GRP/GRP565-1.p
-Problems/GRP/GRP566-1.p
-Problems/GRP/GRP567-1.p
-Problems/GRP/GRP568-1.p
-Problems/GRP/GRP569-1.p
-Problems/GRP/GRP570-1.p
-Problems/GRP/GRP571-1.p
-Problems/GRP/GRP572-1.p
-Problems/GRP/GRP573-1.p
-Problems/GRP/GRP574-1.p
-Problems/GRP/GRP575-1.p
-Problems/GRP/GRP576-1.p
-Problems/GRP/GRP577-1.p
-Problems/GRP/GRP578-1.p
-Problems/GRP/GRP579-1.p
-Problems/GRP/GRP580-1.p
-Problems/GRP/GRP581-1.p
-Problems/GRP/GRP582-1.p
-Problems/GRP/GRP583-1.p
-Problems/GRP/GRP584-1.p
-Problems/GRP/GRP585-1.p
-Problems/GRP/GRP586-1.p
-Problems/GRP/GRP587-1.p
-Problems/GRP/GRP588-1.p
-Problems/GRP/GRP589-1.p
-Problems/GRP/GRP590-1.p
-Problems/GRP/GRP591-1.p
-Problems/GRP/GRP592-1.p
-Problems/GRP/GRP593-1.p
-Problems/GRP/GRP594-1.p
-Problems/GRP/GRP595-1.p
-Problems/GRP/GRP596-1.p
-Problems/GRP/GRP597-1.p
-Problems/GRP/GRP598-1.p
-Problems/GRP/GRP599-1.p
-Problems/GRP/GRP600-1.p
-Problems/GRP/GRP601-1.p
-Problems/GRP/GRP602-1.p
-Problems/GRP/GRP603-1.p
-Problems/GRP/GRP604-1.p
-Problems/GRP/GRP605-1.p
-Problems/GRP/GRP606-1.p
-Problems/GRP/GRP607-1.p
-Problems/GRP/GRP608-1.p
-Problems/GRP/GRP609-1.p
-Problems/GRP/GRP610-1.p
-Problems/GRP/GRP611-1.p
-Problems/GRP/GRP612-1.p
-Problems/GRP/GRP613-1.p
-Problems/GRP/GRP614-1.p
-Problems/GRP/GRP615-1.p
-Problems/GRP/GRP616-1.p
-Problems/HWC/HWC004-1.p
-Problems/HWC/HWC004-2.p
-Problems/LAT/LAT006-1.p
-Problems/LAT/LAT007-1.p
-Problems/LAT/LAT008-1.p
-Problems/LAT/LAT009-1.p
-Problems/LAT/LAT010-1.p
-Problems/LAT/LAT011-1.p
-Problems/LAT/LAT012-1.p
-Problems/LAT/LAT013-1.p
-Problems/LAT/LAT014-1.p
-Problems/LAT/LAT016-1.p
-Problems/LAT/LAT017-1.p
-Problems/LAT/LAT018-1.p
-Problems/LAT/LAT019-1.p
-Problems/LAT/LAT020-1.p
-Problems/LAT/LAT021-1.p
-Problems/LAT/LAT022-1.p
-Problems/LAT/LAT023-1.p
-Problems/LAT/LAT024-1.p
-Problems/LAT/LAT025-1.p
-Problems/LAT/LAT026-1.p
-Problems/LAT/LAT027-1.p
-Problems/LAT/LAT028-1.p
-Problems/LAT/LAT031-1.p
-Problems/LAT/LAT032-1.p
-Problems/LAT/LAT033-1.p
-Problems/LAT/LAT034-1.p
-Problems/LAT/LAT038-1.p
-Problems/LAT/LAT039-1.p
-Problems/LAT/LAT039-2.p
-Problems/LAT/LAT040-1.p
-Problems/LAT/LAT042-1.p
-Problems/LAT/LAT043-1.p
-Problems/LAT/LAT044-1.p
-Problems/LAT/LAT045-1.p
-Problems/LAT/LAT046-1.p
-Problems/LAT/LAT047-1.p
-Problems/LAT/LAT048-1.p
-Problems/LAT/LAT049-1.p
-Problems/LAT/LAT050-1.p
-Problems/LAT/LAT051-1.p
-Problems/LAT/LAT052-1.p
-Problems/LAT/LAT053-1.p
-Problems/LAT/LAT054-1.p
-Problems/LAT/LAT055-2.p
-Problems/LAT/LAT059-1.p
-Problems/LAT/LAT060-1.p
-Problems/LAT/LAT061-1.p
-Problems/LAT/LAT062-1.p
-Problems/LAT/LAT063-1.p
-Problems/LAT/LAT070-1.p
-Problems/LAT/LAT071-1.p
-Problems/LAT/LAT072-1.p
-Problems/LAT/LAT073-1.p
-Problems/LAT/LAT074-1.p
-Problems/LAT/LAT075-1.p
-Problems/LAT/LAT076-1.p
-Problems/LAT/LAT077-1.p
-Problems/LAT/LAT078-1.p
-Problems/LAT/LAT079-1.p
-Problems/LAT/LAT080-1.p
-Problems/LAT/LAT081-1.p
-Problems/LAT/LAT082-1.p
-Problems/LAT/LAT083-1.p
-Problems/LAT/LAT084-1.p
-Problems/LAT/LAT085-1.p
-Problems/LAT/LAT086-1.p
-Problems/LAT/LAT087-1.p
-Problems/LAT/LAT088-1.p
-Problems/LAT/LAT089-1.p
-Problems/LAT/LAT090-1.p
-Problems/LAT/LAT091-1.p
-Problems/LAT/LAT092-1.p
-Problems/LAT/LAT093-1.p
-Problems/LAT/LAT094-1.p
-Problems/LAT/LAT095-1.p
-Problems/LAT/LAT096-1.p
-Problems/LAT/LAT097-1.p
-Problems/LAT/LAT098-1.p
-Problems/LAT/LAT099-1.p
-Problems/LAT/LAT100-1.p
-Problems/LAT/LAT101-1.p
-Problems/LAT/LAT102-1.p
-Problems/LAT/LAT103-1.p
-Problems/LAT/LAT104-1.p
-Problems/LAT/LAT105-1.p
-Problems/LAT/LAT106-1.p
-Problems/LAT/LAT107-1.p
-Problems/LAT/LAT108-1.p
-Problems/LAT/LAT109-1.p
-Problems/LAT/LAT110-1.p
-Problems/LAT/LAT111-1.p
-Problems/LAT/LAT112-1.p
-Problems/LAT/LAT113-1.p
-Problems/LAT/LAT114-1.p
-Problems/LAT/LAT115-1.p
-Problems/LAT/LAT116-1.p
-Problems/LAT/LAT117-1.p
-Problems/LAT/LAT118-1.p
-Problems/LAT/LAT119-1.p
-Problems/LAT/LAT120-1.p
-Problems/LAT/LAT121-1.p
-Problems/LAT/LAT122-1.p
-Problems/LAT/LAT123-1.p
-Problems/LAT/LAT124-1.p
-Problems/LAT/LAT125-1.p
-Problems/LAT/LAT126-1.p
-Problems/LAT/LAT127-1.p
-Problems/LAT/LAT128-1.p
-Problems/LAT/LAT129-1.p
-Problems/LAT/LAT130-1.p
-Problems/LAT/LAT131-1.p
-Problems/LAT/LAT132-1.p
-Problems/LAT/LAT133-1.p
-Problems/LAT/LAT134-1.p
-Problems/LAT/LAT135-1.p
-Problems/LAT/LAT136-1.p
-Problems/LAT/LAT137-1.p
-Problems/LAT/LAT138-1.p
-Problems/LAT/LAT139-1.p
-Problems/LAT/LAT140-1.p
-Problems/LAT/LAT141-1.p
-Problems/LAT/LAT142-1.p
-Problems/LAT/LAT143-1.p
-Problems/LAT/LAT144-1.p
-Problems/LAT/LAT145-1.p
-Problems/LAT/LAT146-1.p
-Problems/LAT/LAT147-1.p
-Problems/LAT/LAT148-1.p
-Problems/LAT/LAT149-1.p
-Problems/LAT/LAT150-1.p
-Problems/LAT/LAT151-1.p
-Problems/LAT/LAT152-1.p
-Problems/LAT/LAT153-1.p
-Problems/LAT/LAT154-1.p
-Problems/LAT/LAT155-1.p
-Problems/LAT/LAT156-1.p
-Problems/LAT/LAT157-1.p
-Problems/LAT/LAT158-1.p
-Problems/LAT/LAT159-1.p
-Problems/LAT/LAT160-1.p
-Problems/LAT/LAT161-1.p
-Problems/LAT/LAT162-1.p
-Problems/LAT/LAT163-1.p
-Problems/LAT/LAT164-1.p
-Problems/LAT/LAT165-1.p
-Problems/LAT/LAT166-1.p
-Problems/LAT/LAT167-1.p
-Problems/LAT/LAT168-1.p
-Problems/LAT/LAT169-1.p
-Problems/LAT/LAT170-1.p
-Problems/LAT/LAT171-1.p
-Problems/LAT/LAT172-1.p
-Problems/LAT/LAT173-1.p
-Problems/LAT/LAT174-1.p
-Problems/LAT/LAT175-1.p
-Problems/LAT/LAT176-1.p
-Problems/LAT/LAT177-1.p
-Problems/LCL/LCL109-2.p
-Problems/LCL/LCL109-6.p
-Problems/LCL/LCL110-2.p
-Problems/LCL/LCL111-2.p
-Problems/LCL/LCL112-2.p
-Problems/LCL/LCL113-2.p
-Problems/LCL/LCL114-2.p
-Problems/LCL/LCL115-2.p
-Problems/LCL/LCL116-2.p
-Problems/LCL/LCL132-1.p
-Problems/LCL/LCL133-1.p
-Problems/LCL/LCL134-1.p
-Problems/LCL/LCL135-1.p
-Problems/LCL/LCL136-1.p
-Problems/LCL/LCL137-1.p
-Problems/LCL/LCL138-1.p
-Problems/LCL/LCL139-1.p
-Problems/LCL/LCL140-1.p
-Problems/LCL/LCL141-1.p
-Problems/LCL/LCL153-1.p
-Problems/LCL/LCL154-1.p
-Problems/LCL/LCL155-1.p
-Problems/LCL/LCL156-1.p
-Problems/LCL/LCL157-1.p
-Problems/LCL/LCL158-1.p
-Problems/LCL/LCL159-1.p
-Problems/LCL/LCL160-1.p
-Problems/LCL/LCL161-1.p
-Problems/LCL/LCL162-1.p
-Problems/LCL/LCL163-1.p
-Problems/LCL/LCL164-1.p
-Problems/LCL/LCL165-1.p
-Problems/LCL/LCL407-1.p
-Problems/LCL/LCL407-2.p
-Problems/LCL/LCL409-1.p
-Problems/LCL/LCL410-1.p
-Problems/LDA/LDA001-1.p
-Problems/LDA/LDA002-1.p
-Problems/LDA/LDA007-3.p
-Problems/RNG/RNG007-4.p
-Problems/RNG/RNG008-3.p
-Problems/RNG/RNG008-4.p
-Problems/RNG/RNG008-7.p
-Problems/RNG/RNG009-5.p
-Problems/RNG/RNG009-7.p
-Problems/RNG/RNG010-5.p
-Problems/RNG/RNG010-6.p
-Problems/RNG/RNG010-7.p
-Problems/RNG/RNG011-5.p
-Problems/RNG/RNG012-6.p
-Problems/RNG/RNG013-6.p
-Problems/RNG/RNG014-6.p
-Problems/RNG/RNG015-6.p
-Problems/RNG/RNG016-6.p
-Problems/RNG/RNG017-6.p
-Problems/RNG/RNG018-6.p
-Problems/RNG/RNG019-6.p
-Problems/RNG/RNG019-7.p
-Problems/RNG/RNG020-6.p
-Problems/RNG/RNG020-7.p
-Problems/RNG/RNG021-6.p
-Problems/RNG/RNG021-7.p
-Problems/RNG/RNG023-6.p
-Problems/RNG/RNG023-7.p
-Problems/RNG/RNG024-6.p
-Problems/RNG/RNG024-7.p
-Problems/RNG/RNG025-4.p
-Problems/RNG/RNG025-5.p
-Problems/RNG/RNG025-6.p
-Problems/RNG/RNG025-7.p
-Problems/RNG/RNG025-8.p
-Problems/RNG/RNG025-9.p
-Problems/RNG/RNG026-6.p
-Problems/RNG/RNG026-7.p
-Problems/RNG/RNG027-5.p
-Problems/RNG/RNG027-7.p
-Problems/RNG/RNG027-8.p
-Problems/RNG/RNG027-9.p
-Problems/RNG/RNG028-5.p
-Problems/RNG/RNG028-7.p
-Problems/RNG/RNG028-8.p
-Problems/RNG/RNG028-9.p
-Problems/RNG/RNG029-5.p
-Problems/RNG/RNG029-6.p
-Problems/RNG/RNG029-7.p
-Problems/RNG/RNG030-6.p
-Problems/RNG/RNG030-7.p
-Problems/RNG/RNG031-6.p
-Problems/RNG/RNG031-7.p
-Problems/RNG/RNG032-6.p
-Problems/RNG/RNG032-7.p
-Problems/RNG/RNG033-6.p
-Problems/RNG/RNG033-7.p
-Problems/RNG/RNG033-8.p
-Problems/RNG/RNG033-9.p
-Problems/RNG/RNG035-7.p
-Problems/RNG/RNG036-7.p
-Problems/RNG/RNG042-2.p
-Problems/RNG/RNG042-3.p
-Problems/RNG/RNG043-1.p
-Problems/ROB/ROB001-1.p
-Problems/ROB/ROB002-1.p
-Problems/ROB/ROB003-1.p
-Problems/ROB/ROB004-1.p
-Problems/ROB/ROB005-1.p
-Problems/ROB/ROB006-1.p
-Problems/ROB/ROB006-2.p
-Problems/ROB/ROB007-1.p
-Problems/ROB/ROB007-2.p
-Problems/ROB/ROB008-1.p
-Problems/ROB/ROB009-1.p
-Problems/ROB/ROB010-1.p
-Problems/ROB/ROB013-1.p
-Problems/ROB/ROB020-1.p
-Problems/ROB/ROB020-2.p
-Problems/ROB/ROB022-1.p
-Problems/ROB/ROB023-1.p
-Problems/ROB/ROB024-1.p
-Problems/ROB/ROB026-1.p
-Problems/ROB/ROB027-1.p
-Problems/ROB/ROB028-1.p
-Problems/ROB/ROB030-1.p
-Problems/ROB/ROB031-1.p
-Problems/ROB/ROB032-1.p
-Problems/SYN/SYN080-1.p
-Problems/SYN/SYN083-1.p
-Problems/SYN/SYN305-1.p
-Problems/SYN/SYN552-1.p
+ALG005-1
+ALG006-1
+ALG007-1
+BOO001-1
+BOO002-1
+BOO002-2
+BOO003-2
+BOO003-4
+BOO004-2
+BOO004-4
+BOO005-2
+BOO005-4
+BOO006-2
+BOO006-4
+BOO007-2
+BOO007-4
+BOO008-2
+BOO008-4
+BOO009-2
+BOO009-4
+BOO010-2
+BOO010-4
+BOO011-2
+BOO011-4
+BOO012-2
+BOO012-4
+BOO013-2
+BOO013-4
+BOO014-2
+BOO014-4
+BOO015-2
+BOO015-4
+BOO016-2
+BOO017-2
+BOO018-4
+BOO019-1
+BOO021-1
+BOO022-1
+BOO023-1
+BOO024-1
+BOO025-1
+BOO026-1
+BOO027-1
+BOO028-1
+BOO029-1
+BOO030-1
+BOO031-1
+BOO032-1
+BOO033-1
+BOO034-1
+BOO036-1
+BOO037-2
+BOO037-3
+BOO067-1
+BOO068-1
+BOO069-1
+BOO070-1
+BOO071-1
+BOO072-1
+BOO073-1
+BOO074-1
+BOO075-1
+BOO076-1
+BOO077-1
+BOO078-1
+BOO079-1
+BOO080-1
+BOO081-1
+BOO082-1
+BOO083-1
+BOO084-1
+BOO085-1
+BOO086-1
+BOO087-1
+BOO088-1
+BOO089-1
+BOO090-1
+BOO091-1
+BOO092-1
+BOO093-1
+BOO094-1
+BOO095-1
+BOO096-1
+BOO097-1
+BOO098-1
+BOO099-1
+BOO100-1
+BOO101-1
+BOO102-1
+BOO103-1
+BOO104-1
+BOO105-1
+BOO106-1
+BOO107-1
+BOO108-1
+COL001-1
+COL001-2
+COL002-1
+COL002-4
+COL002-5
+COL003-1
+COL003-1
+COL003-1
+COL003-1
+COL003-1
+COL003-1
+COL003-1
+COL003-1
+COL003-1
+COL003-2
+COL004-1
+COL004-3
+COL005-1
+COL006-1
+COL006-5
+COL006-6
+COL006-7
+COL007-1
+COL008-1
+COL009-1
+COL010-1
+COL011-1
+COL012-1
+COL013-1
+COL014-1
+COL015-1
+COL016-1
+COL017-1
+COL018-1
+COL019-1
+COL020-1
+COL021-1
+COL022-1
+COL023-1
+COL024-1
+COL025-1
+COL026-1
+COL027-1
+COL029-1
+COL030-1
+COL031-1
+COL032-1
+COL033-1
+COL034-1
+COL035-1
+COL036-1
+COL037-1
+COL038-1
+COL039-1
+COL041-1
+COL042-1
+COL042-6
+COL042-7
+COL042-8
+COL042-9
+COL043-1
+COL043-3
+COL044-1
+COL044-6
+COL044-7
+COL044-8
+COL044-9
+COL045-1
+COL046-1
+COL047-1
+COL048-1
+COL049-1
+COL050-1
+COL051-1
+COL052-1
+COL053-1
+COL056-1
+COL057-1
+COL058-1
+COL058-2
+COL058-3
+COL059-1
+COL060-1
+COL060-2
+COL060-3
+COL061-1
+COL061-2
+COL061-3
+COL062-1
+COL062-2
+COL062-3
+COL063-1
+COL063-2
+COL063-3
+COL063-4
+COL063-5
+COL063-6
+COL064-1
+COL064-2
+COL064-3
+COL064-4
+COL064-5
+COL064-6
+COL064-7
+COL064-8
+COL064-9
+COL064-1
+COL064-1
+COL065-1
+COL066-1
+COL066-2
+COL066-3
+COL067-1
+COL068-1
+COL069-1
+COL070-1
+COL071-1
+COL073-1
+COL075-2
+COL083-1
+COL084-1
+COL085-1
+COL086-1
+COL087-1
+GRP001-2
+GRP001-4
+GRP002-2
+GRP002-3
+GRP002-4
+GRP010-4
+GRP011-4
+GRP012-4
+GRP014-1
+GRP022-2
+GRP023-2
+GRP024-5
+GRP114-1
+GRP115-1
+GRP116-1
+GRP117-1
+GRP118-1
+GRP119-1
+GRP120-1
+GRP121-1
+GRP122-1
+GRP136-1
+GRP137-1
+GRP138-1
+GRP139-1
+GRP140-1
+GRP141-1
+GRP142-1
+GRP143-1
+GRP144-1
+GRP145-1
+GRP146-1
+GRP147-1
+GRP148-1
+GRP149-1
+GRP150-1
+GRP151-1
+GRP152-1
+GRP153-1
+GRP154-1
+GRP155-1
+GRP156-1
+GRP157-1
+GRP158-1
+GRP159-1
+GRP160-1
+GRP161-1
+GRP162-1
+GRP163-1
+GRP164-1
+GRP164-2
+GRP165-1
+GRP165-2
+GRP166-1
+GRP166-2
+GRP166-3
+GRP166-4
+GRP167-1
+GRP167-2
+GRP167-3
+GRP167-4
+GRP167-5
+GRP168-1
+GRP168-2
+GRP169-1
+GRP169-2
+GRP170-1
+GRP170-2
+GRP170-3
+GRP170-4
+GRP171-1
+GRP171-2
+GRP172-1
+GRP172-2
+GRP173-1
+GRP174-1
+GRP175-1
+GRP175-2
+GRP175-3
+GRP175-4
+GRP176-1
+GRP176-2
+GRP177-1
+GRP177-2
+GRP178-1
+GRP178-2
+GRP179-1
+GRP179-2
+GRP179-3
+GRP180-1
+GRP180-2
+GRP181-1
+GRP181-2
+GRP181-3
+GRP181-4
+GRP182-1
+GRP182-2
+GRP182-3
+GRP182-4
+GRP183-1
+GRP183-2
+GRP183-3
+GRP183-4
+GRP184-1
+GRP184-2
+GRP184-3
+GRP184-4
+GRP185-1
+GRP185-2
+GRP185-3
+GRP185-4
+GRP186-1
+GRP186-2
+GRP186-3
+GRP186-4
+GRP187-1
+GRP188-1
+GRP188-2
+GRP189-1
+GRP189-2
+GRP190-1
+GRP190-2
+GRP191-1
+GRP191-2
+GRP192-1
+GRP193-1
+GRP193-2
+GRP195-1
+GRP196-1
+GRP200-1
+GRP201-1
+GRP202-1
+GRP203-1
+GRP204-1
+GRP205-1
+GRP206-1
+GRP207-1
+GRP393-2
+GRP394-3
+GRP399-1
+GRP403-1
+GRP404-1
+GRP405-1
+GRP406-1
+GRP407-1
+GRP408-1
+GRP409-1
+GRP410-1
+GRP411-1
+GRP412-1
+GRP413-1
+GRP414-1
+GRP415-1
+GRP416-1
+GRP417-1
+GRP418-1
+GRP419-1
+GRP420-1
+GRP421-1
+GRP422-1
+GRP423-1
+GRP424-1
+GRP425-1
+GRP426-1
+GRP427-1
+GRP428-1
+GRP429-1
+GRP430-1
+GRP431-1
+GRP432-1
+GRP433-1
+GRP434-1
+GRP435-1
+GRP436-1
+GRP437-1
+GRP438-1
+GRP439-1
+GRP440-1
+GRP441-1
+GRP442-1
+GRP443-1
+GRP444-1
+GRP445-1
+GRP446-1
+GRP447-1
+GRP448-1
+GRP449-1
+GRP450-1
+GRP451-1
+GRP452-1
+GRP453-1
+GRP454-1
+GRP455-1
+GRP456-1
+GRP457-1
+GRP458-1
+GRP459-1
+GRP460-1
+GRP461-1
+GRP462-1
+GRP463-1
+GRP464-1
+GRP465-1
+GRP466-1
+GRP467-1
+GRP468-1
+GRP469-1
+GRP470-1
+GRP471-1
+GRP472-1
+GRP473-1
+GRP474-1
+GRP475-1
+GRP476-1
+GRP477-1
+GRP478-1
+GRP479-1
+GRP480-1
+GRP481-1
+GRP482-1
+GRP483-1
+GRP484-1
+GRP485-1
+GRP486-1
+GRP487-1
+GRP488-1
+GRP489-1
+GRP490-1
+GRP491-1
+GRP492-1
+GRP493-1
+GRP494-1
+GRP495-1
+GRP496-1
+GRP497-1
+GRP498-1
+GRP499-1
+GRP500-1
+GRP501-1
+GRP502-1
+GRP503-1
+GRP504-1
+GRP505-1
+GRP506-1
+GRP507-1
+GRP508-1
+GRP509-1
+GRP510-1
+GRP511-1
+GRP512-1
+GRP513-1
+GRP514-1
+GRP515-1
+GRP516-1
+GRP517-1
+GRP518-1
+GRP519-1
+GRP520-1
+GRP521-1
+GRP522-1
+GRP523-1
+GRP524-1
+GRP525-1
+GRP526-1
+GRP527-1
+GRP528-1
+GRP529-1
+GRP530-1
+GRP531-1
+GRP532-1
+GRP533-1
+GRP534-1
+GRP535-1
+GRP536-1
+GRP537-1
+GRP538-1
+GRP539-1
+GRP540-1
+GRP541-1
+GRP542-1
+GRP543-1
+GRP544-1
+GRP545-1
+GRP546-1
+GRP547-1
+GRP548-1
+GRP549-1
+GRP550-1
+GRP551-1
+GRP552-1
+GRP553-1
+GRP554-1
+GRP555-1
+GRP556-1
+GRP557-1
+GRP558-1
+GRP559-1
+GRP560-1
+GRP561-1
+GRP562-1
+GRP563-1
+GRP564-1
+GRP565-1
+GRP566-1
+GRP567-1
+GRP568-1
+GRP569-1
+GRP570-1
+GRP571-1
+GRP572-1
+GRP573-1
+GRP574-1
+GRP575-1
+GRP576-1
+GRP577-1
+GRP578-1
+GRP579-1
+GRP580-1
+GRP581-1
+GRP582-1
+GRP583-1
+GRP584-1
+GRP585-1
+GRP586-1
+GRP587-1
+GRP588-1
+GRP589-1
+GRP590-1
+GRP591-1
+GRP592-1
+GRP593-1
+GRP594-1
+GRP595-1
+GRP596-1
+GRP597-1
+GRP598-1
+GRP599-1
+GRP600-1
+GRP601-1
+GRP602-1
+GRP603-1
+GRP604-1
+GRP605-1
+GRP606-1
+GRP607-1
+GRP608-1
+GRP609-1
+GRP610-1
+GRP611-1
+GRP612-1
+GRP613-1
+GRP614-1
+GRP615-1
+GRP616-1
+HWC004-1
+HWC004-2
+LAT006-1
+LAT007-1
+LAT008-1
+LAT009-1
+LAT010-1
+LAT011-1
+LAT012-1
+LAT013-1
+LAT014-1
+LAT016-1
+LAT017-1
+LAT018-1
+LAT019-1
+LAT020-1
+LAT021-1
+LAT022-1
+LAT023-1
+LAT024-1
+LAT025-1
+LAT026-1
+LAT027-1
+LAT028-1
+LAT031-1
+LAT032-1
+LAT033-1
+LAT034-1
+LAT038-1
+LAT039-1
+LAT039-2
+LAT040-1
+LAT042-1
+LAT043-1
+LAT044-1
+LAT045-1
+LAT046-1
+LAT047-1
+LAT048-1
+LAT049-1
+LAT050-1
+LAT051-1
+LAT052-1
+LAT053-1
+LAT054-1
+LAT055-2
+LAT059-1
+LAT060-1
+LAT061-1
+LAT062-1
+LAT063-1
+LAT070-1
+LAT071-1
+LAT072-1
+LAT073-1
+LAT074-1
+LAT075-1
+LAT076-1
+LAT077-1
+LAT078-1
+LAT079-1
+LAT080-1
+LAT081-1
+LAT082-1
+LAT083-1
+LAT084-1
+LAT085-1
+LAT086-1
+LAT087-1
+LAT088-1
+LAT089-1
+LAT090-1
+LAT091-1
+LAT092-1
+LAT093-1
+LAT094-1
+LAT095-1
+LAT096-1
+LAT097-1
+LAT098-1
+LAT099-1
+LAT100-1
+LAT101-1
+LAT102-1
+LAT103-1
+LAT104-1
+LAT105-1
+LAT106-1
+LAT107-1
+LAT108-1
+LAT109-1
+LAT110-1
+LAT111-1
+LAT112-1
+LAT113-1
+LAT114-1
+LAT115-1
+LAT116-1
+LAT117-1
+LAT118-1
+LAT119-1
+LAT120-1
+LAT121-1
+LAT122-1
+LAT123-1
+LAT124-1
+LAT125-1
+LAT126-1
+LAT127-1
+LAT128-1
+LAT129-1
+LAT130-1
+LAT131-1
+LAT132-1
+LAT133-1
+LAT134-1
+LAT135-1
+LAT136-1
+LAT137-1
+LAT138-1
+LAT139-1
+LAT140-1
+LAT141-1
+LAT142-1
+LAT143-1
+LAT144-1
+LAT145-1
+LAT146-1
+LAT147-1
+LAT148-1
+LAT149-1
+LAT150-1
+LAT151-1
+LAT152-1
+LAT153-1
+LAT154-1
+LAT155-1
+LAT156-1
+LAT157-1
+LAT158-1
+LAT159-1
+LAT160-1
+LAT161-1
+LAT162-1
+LAT163-1
+LAT164-1
+LAT165-1
+LAT166-1
+LAT167-1
+LAT168-1
+LAT169-1
+LAT170-1
+LAT171-1
+LAT172-1
+LAT173-1
+LAT174-1
+LAT175-1
+LAT176-1
+LAT177-1
+LCL109-2
+LCL109-6
+LCL110-2
+LCL111-2
+LCL112-2
+LCL113-2
+LCL114-2
+LCL115-2
+LCL116-2
+LCL132-1
+LCL133-1
+LCL134-1
+LCL135-1
+LCL136-1
+LCL137-1
+LCL138-1
+LCL139-1
+LCL140-1
+LCL141-1
+LCL153-1
+LCL154-1
+LCL155-1
+LCL156-1
+LCL157-1
+LCL158-1
+LCL159-1
+LCL160-1
+LCL161-1
+LCL162-1
+LCL163-1
+LCL164-1
+LCL165-1
+LCL407-1
+LCL407-2
+LCL409-1
+LCL410-1
+LDA001-1
+LDA002-1
+LDA007-3
+RNG007-4
+RNG008-3
+RNG008-4
+RNG008-7
+RNG009-5
+RNG009-7
+RNG010-5
+RNG010-6
+RNG010-7
+RNG011-5
+RNG012-6
+RNG013-6
+RNG014-6
+RNG015-6
+RNG016-6
+RNG017-6
+RNG018-6
+RNG019-6
+RNG019-7
+RNG020-6
+RNG020-7
+RNG021-6
+RNG021-7
+RNG023-6
+RNG023-7
+RNG024-6
+RNG024-7
+RNG025-4
+RNG025-5
+RNG025-6
+RNG025-7
+RNG025-8
+RNG025-9
+RNG026-6
+RNG026-7
+RNG027-5
+RNG027-7
+RNG027-8
+RNG027-9
+RNG028-5
+RNG028-7
+RNG028-8
+RNG028-9
+RNG029-5
+RNG029-6
+RNG029-7
+RNG030-6
+RNG030-7
+RNG031-6
+RNG031-7
+RNG032-6
+RNG032-7
+RNG033-6
+RNG033-7
+RNG033-8
+RNG033-9
+RNG035-7
+RNG036-7
+RNG042-2
+RNG042-3
+RNG043-1
+ROB001-1
+ROB002-1
+ROB003-1
+ROB004-1
+ROB005-1
+ROB006-1
+ROB006-2
+ROB007-1
+ROB007-2
+ROB008-1
+ROB009-1
+ROB010-1
+ROB013-1
+ROB020-1
+ROB020-2
+ROB022-1
+ROB023-1
+ROB024-1
+ROB026-1
+ROB027-1
+ROB028-1
+ROB030-1
+ROB031-1
+ROB032-1
+SYN080-1
+SYN083-1
+SYN305-1
+SYN552-1