data/eye-20.1027.2307~ds/.gitignore:                                         ASCII text
data/eye-20.1027.2307~ds/.gitmodules:                                        empty
data/eye-20.1027.2307~ds/.nojekyll:                                          empty
data/eye-20.1027.2307~ds/.travis.yml:                                        ASCII text
data/eye-20.1027.2307~ds/INSTALL:                                            ASCII text
data/eye-20.1027.2307~ds/LICENSE:                                            ASCII text
data/eye-20.1027.2307~ds/README:                                             ASCII text
data/eye-20.1027.2307~ds/RELEASE:                                            UTF-8 Unicode text
data/eye-20.1027.2307~ds/VERSION:                                            ASCII text
data/eye-20.1027.2307~ds/eye-builtins.n3:                                    ASCII text
data/eye-20.1027.2307~ds/eye.cmd:                                            DOS batch file, ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/eye.sh:                                             POSIX shell script, ASCII text executable
data/eye-20.1027.2307~ds/install.cmd:                                        DOS batch file, ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/install.sh:                                         Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/log-rules.n3:                                       ASCII text
data/eye-20.1027.2307~ds/mkeye:                                              Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/3outof5/README:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/3outof5/answer.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/3outof5/query.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/3outof5/sample.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/3outof5/test:                             Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/4color/4color_answer.n3:                  ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/4color/4color_data.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/4color/4color_proof.n3:                   ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/4color/4color_query.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/4color/4color_rules.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/4color/README:                            ASCII text
data/eye-20.1027.2307~ds/reasoning/4color/test:                              Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/README:                                   ASCII text
data/eye-20.1027.2307~ds/reasoning/bi/README:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/bi/ab_c.n3:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/bi/abc.n3:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/bi/biA.n3:                                UTF-8 Unicode text
data/eye-20.1027.2307~ds/reasoning/bi/biE.n3:                                UTF-8 Unicode text, with very long lines
data/eye-20.1027.2307~ds/reasoning/bi/biP.n3:                                UTF-8 Unicode text
data/eye-20.1027.2307~ds/reasoning/bi/biQ.n3:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/bi/medic.n3:                              ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/bi/test:                                  Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/bmi/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/bmi/age_rules_backward.n3:                ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/bmi/bmi_instances.n3:                     ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/bmi/bmi_proof.n3:                         ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/bmi/bmi_query.n3:                         ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/bmi/bmi_rules.n3:                         UTF-8 Unicode text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/bmi/test:                                 Bourne-Again shell script, ASCII text executable, with very long lines
data/eye-20.1027.2307~ds/reasoning/bmi/weightStatus_rules.n3:                ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/bmt/10tt_proof.n3:                        ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/bmt/1tt1.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/bmt/1tt10.n3:                             ASCII text
data/eye-20.1027.2307~ds/reasoning/bmt/1tt2.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/bmt/1tt3.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/bmt/1tt4.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/bmt/1tt5.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/bmt/1tt6.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/bmt/1tt7.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/bmt/1tt8.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/bmt/1tt9.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/bmt/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/bmt/query.n3:                             ASCII text
data/eye-20.1027.2307~ds/reasoning/bmt/test:                                 Bourne-Again shell script, ASCII text executable, with very long lines
data/eye-20.1027.2307~ds/reasoning/ccd/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/ccd/background_rules.n3:                  ASCII text
data/eye-20.1027.2307~ds/reasoning/ccd/ccd_rules.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/ccd/test:                                 Bourne-Again shell script, ASCII text executable, with very long lines
data/eye-20.1027.2307~ds/reasoning/ccd/test_answer.n3:                       ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/ccd/test_data.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/ccd/test_proof.n3:                        ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/ccd/test_query.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/ccd/train_data.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/ccd/train_model.n3:                       ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/ccd/train_model_proof.n3:                 ASCII text
data/eye-20.1027.2307~ds/reasoning/ccd/train_query.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/ccd/train_rules.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/complex/README:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/complex/complex_answer.n3:                ASCII text
data/eye-20.1027.2307~ds/reasoning/complex/complex_query.n3:                 ASCII text
data/eye-20.1027.2307~ds/reasoning/complex/test:                             Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/crypto/README:                            ASCII text
data/eye-20.1027.2307~ds/reasoning/crypto/crypto-proof.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/crypto/cryptoP.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/crypto/test:                              Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/cs/README:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/cs/answer-001.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/cs/data-001.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/cs/proof-001.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/cs/query-001.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/cs/rules-001.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/cs/test:                                  Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/csv/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/csv/select-data-extra.n3:                 ASCII text
data/eye-20.1027.2307~ds/reasoning/csv/select-data.csv:                      CSV text
data/eye-20.1027.2307~ds/reasoning/csv/select-data.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/csv/select-proof-extra.n3:                ASCII text
data/eye-20.1027.2307~ds/reasoning/csv/select-proof.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/csv/select-query.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/csv/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/de/README:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/de/de.n3:                                 ASCII text
data/eye-20.1027.2307~ds/reasoning/de/deA.n3:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/de/deE.n3:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/de/deQ.n3:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/de/test:                                  Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/dp/README:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/dp/dp.n3:                                 ASCII text
data/eye-20.1027.2307~ds/reasoning/dp/dpE.n3:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/dp/dpQ.n3:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/dp/test:                                  Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/dpe/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/dpe/dpe_assumption.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/dpe/dpe_proof.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/dpe/dpe_query.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/dpe/dpe_theory.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/dpe/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/dqc/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/dqc/sdcoding-a-proof.n3:                  ASCII text
data/eye-20.1027.2307~ds/reasoning/dqc/sdcoding-a.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/dqc/sdcoding-answer.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/dqc/sdcoding-proof.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/dqc/sdcoding-q.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/dqc/sdcoding-query.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/dqc/sdcoding.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/dqc/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/dt/README:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/dt/parteval-subclass.n3:                  ASCII text
data/eye-20.1027.2307~ds/reasoning/dt/prepare:                               Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/dt/test:                                  Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/dt/test-dl-1000.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/dt/test-dt-1000.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/dt/test-facts.n3:                         ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/dt/test-proof-1000.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/dt/test-query.n3:                         ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/easter/README:                            ASCII text
data/eye-20.1027.2307~ds/reasoning/easter/easterA.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/easter/easterE.n3:                        ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/easter/easterF.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/easter/easterP.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/easter/test:                              Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/einstein/README:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/einstein/einstein.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/einstein/einsteinE.n3:                    ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/einstein/einsteinQ.n3:                    ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/einstein/test:                            Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/equation4/README:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/equation4/polynomial.n3:                  ASCII text
data/eye-20.1027.2307~ds/reasoning/equation4/polynomialgen.n3:               ASCII text
data/eye-20.1027.2307~ds/reasoning/equation4/prepare:                        Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/equation4/query.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/equation4/result.n3:                      ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/equation4/test:                           Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/fcm/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/fcm/example001P.n3:                       ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/fcm/example002P.n3:                       ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/fcm/example003Q.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/fcm/fcm-plugin.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/fcm/fcm_proof.n3:                         ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/fcm/fl-rules.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/fcm/test:                                 Bourne-Again shell script, ASCII text executable, with very long lines
data/eye-20.1027.2307~ds/reasoning/fgcm/README:                              UTF-8 Unicode text
data/eye-20.1027.2307~ds/reasoning/fgcm/fgcm-model.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/fgcm/fgcm-plugin.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/fgcm/fgcm-query.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/fgcm/fgcm_proof.n3:                       ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/fgcm/patient.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/fgcm/test:                                Bourne-Again shell script, ASCII text executable, with very long lines
data/eye-20.1027.2307~ds/reasoning/fib/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/fib/fib.n3:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/fib/fibA.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/fib/fibE.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/fib/fibQ.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/fib/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/gedcom/README:                            ASCII text
data/eye-20.1027.2307~ds/reasoning/gedcom/gedcom-facts.n3:                   ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/gedcom/gedcom-filter.n3:                  ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/gedcom/gedcom-proof.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/gedcom/gedcom-relations.n3:               ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/gedcom/rpo-rules.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/gedcom/test:                              Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/glass/README:                             ASCII text
data/eye-20.1027.2307~ds/reasoning/glass/test:                               Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/glass/test.n3:                            ASCII text
data/eye-20.1027.2307~ds/reasoning/glass/testA.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/glass/testC.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/glass/testE.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/glass/testQ.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/glass/testW.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/gps/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/gps/gps-example1.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/gps/gps-example2.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/gps/gps-plugin.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/gps/gps-proof1.n3:                        ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/gps/gps-proof2.n3:                        ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/gps/gps-query1.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/gps/gps-query2.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/gps/gps-schema:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/gps/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/graph/README:                             ASCII text
data/eye-20.1027.2307~ds/reasoning/graph/graph.axiom.n3:                     ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/graph/graph.filter.n3:                    ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/graph/graph.proof.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/graph/rpo-rules.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/graph/test:                               Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/h2o/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/h2o/data-001.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/h2o/hypothesis-001.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/h2o/proof-001.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/h2o/query-001.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/h2o/rules-001.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/h2o/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/hanoi/README:                             ASCII text
data/eye-20.1027.2307~ds/reasoning/hanoi/hanoi.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/hanoi/hanoiA.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/hanoi/hanoiE.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/hanoi/test:                               Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/image/README:                             ASCII text
data/eye-20.1027.2307~ds/reasoning/image/easter-proof.n3:                    ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/image/easter.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/image/query.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/image/test:                               Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/image/year.n3:                            ASCII text
data/eye-20.1027.2307~ds/reasoning/iq/README:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/iq/iq-extra.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/iq/iq.n3:                                 ASCII text
data/eye-20.1027.2307~ds/reasoning/iq/iq_proof.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/iq/test:                                  Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/lldm/README:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/lldm/lldmD.n3:                            ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/lldm/lldmE.n3:                            ASCII text
data/eye-20.1027.2307~ds/reasoning/lldm/lldmF.n3:                            ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/lldm/lldmP.n3:                            ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/lldm/test:                                Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/map/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/map/agent1-answer.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/map/agent1-map.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/map/agent1-proof.n3:                      ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/map/agent1-query.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/map/agent2-answer.n3:                     ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/map/agent2-map.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/map/agent2-proof.n3:                      ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/map/agent2-query.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/map/gps-plugin.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/map/test:                                 Bourne-Again shell script, ASCII text executable, with very long lines
data/eye-20.1027.2307~ds/reasoning/medic/README:                             ASCII text
data/eye-20.1027.2307~ds/reasoning/medic/medic.n3:                           ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/medic/medicE.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/medic/medicF.n3:                          ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/medic/test:                               Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/mmln/README:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/mmln/mmln-gv-example.n3:                  ASCII text
data/eye-20.1027.2307~ds/reasoning/mmln/mmln-gv-mln.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/mmln/mmln-gv-proof.n3:                    ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/mmln/mmln-gv-query.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mmln/mmln-plugin.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/mmln/test:                                Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/mq/README:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/data.n3:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/gen.n3:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/mq_proof.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/multi-query:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/prepare:                               Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/mq/queries/query1.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query10.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query100.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query11.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query12.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query13.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query14.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query15.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query16.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query17.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query18.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query19.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query2.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query20.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query21.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query22.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query23.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query24.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query25.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query26.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query27.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query28.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query29.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query3.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query30.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query31.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query32.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query33.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query34.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query35.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query36.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query37.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query38.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query39.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query4.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query40.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query41.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query42.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query43.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query44.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query45.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query46.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query47.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query48.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query49.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query5.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query50.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query51.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query52.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query53.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query54.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query55.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query56.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query57.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query58.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query59.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query6.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query60.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query61.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query62.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query63.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query64.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query65.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query66.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query67.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query68.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query69.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query7.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query70.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query71.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query72.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query73.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query74.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query75.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query76.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query77.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query78.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query79.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query8.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query80.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query81.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query82.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query83.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query84.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query85.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query86.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query87.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query88.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query89.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query9.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query90.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query91.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query92.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query93.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query94.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query95.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query96.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query97.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query98.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/queries/query99.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/mq/test:                                  Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/n3c/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/n3c/components.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/n3c/forAllIn_answer.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/n3c/forAllIn_proof.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/n3c/forAllIn_query.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/n3c/notIn_answer.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/n3c/notIn_proof.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/n3c/notIn_query.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/n3c/subtasks.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/n3c/tasks.n3:                             ASCII text
data/eye-20.1027.2307~ds/reasoning/n3c/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/n3gl/README:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/n3gl/example-pass.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/n3gl/example.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/n3gl/test:                                Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/n3s/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/n3s/example-pass.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/n3s/example.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/n3s/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/nbbn/README:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/nbbn/nbbn-model.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/nbbn/nbbn-plugin.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/nbbn/nbbn-query.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/nbbn/nbbn_proof.n3:                       ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/nbbn/test:                                Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/pi/README:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/pi/pi-proof.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/pi/pi-query.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/pi/pi.n3:                                 ASCII text
data/eye-20.1027.2307~ds/reasoning/pi/test:                                  Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/polygon/README:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/polygon/polygon.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/polygon/polygon_answer.n3:                ASCII text
data/eye-20.1027.2307~ds/reasoning/polygon/polygon_proof.n3:                 ASCII text
data/eye-20.1027.2307~ds/reasoning/polygon/polygon_query.n3:                 ASCII text
data/eye-20.1027.2307~ds/reasoning/polygon/test:                             Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/pptbank/README:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/pptbank/acct3check1.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/pptbank/acct3check2.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/pptbank/acct3start.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/pptbank/bankSW.n3:                        ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/pptbank/checking.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/pptbank/proof.n3:                         ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/pptbank/query.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/pptbank/test:                             Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/preduction/README:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/food-declarations.n3:          ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/food-example.n3:               ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/food-preduction.n3:            ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/food-proof.n3:                 ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/food-query.n3:                 ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/food.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/food2-proof.n3:                ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/food2.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/palindrome-declarations.n3:    ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/palindrome-preduction.n3:      ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/palindrome-proof.n3:           ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/palindrome-query.n3:           ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/palindrome.n3:                 ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/palindrome2-proof.n3:          ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/palindrome2-query.n3:          ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/palindrome2.n3:                ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/preduction-plugin.n3:          ASCII text
data/eye-20.1027.2307~ds/reasoning/preduction/test:                          Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/resto/README:                             ASCII text
data/eye-20.1027.2307~ds/reasoning/resto/resto-proof.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/resto/resto.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/resto/restoG.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/resto/test:                               Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/restpath/README:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/restpath/goal.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/restpath/initial.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/restpath/path-9-3-proof.n3:               ASCII text
data/eye-20.1027.2307~ds/reasoning/restpath/path-9-3.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/restpath/test:                            Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/rgb/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/rgb/blueproof001.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/rgb/blueproof002.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/rgb/blueproof003.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/rgb/greenquery001.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/rgb/greenquery002.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/rgb/greenquery003.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/rgb/redgraph001.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/rgb/redgraph002.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/rgb/redgraph003.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/rgb/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/rif/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/rif/rifE.n3:                              UTF-8 Unicode text, with very long lines
data/eye-20.1027.2307~ds/reasoning/rif/rifP.n3:                              UTF-8 Unicode text
data/eye-20.1027.2307~ds/reasoning/rif/rifQ.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/rif/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/rpo/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/food-example.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/food-proof.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/food-query.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/food.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-AllDifferent.n3:                  ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-AllDisjointClasses.n3:            ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-AllDisjointProperties.n3:         ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-AsymmetricProperty.n3:            ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-FunctionalProperty.n3:            ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-InverseFunctionalProperty.n3:     ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-IrreflexiveProperty.n3:           ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-NegativePropertyAssertion.n3:     ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-Nothing.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-SymmetricProperty.n3:             ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-TransitiveProperty.n3:            ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-allValuesFrom.n3:                 ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-complementOf.n3:                  ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-differentFrom.n3:                 ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-disjointUnionOf.n3:               ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-disjointWith.n3:                  ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-distinctMembers.n3:               ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-equivalentClass.n3:               ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-equivalentProperty.n3:            ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-hasKey.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-hasValue.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-intersectionOf.n3:                ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-inverseOf.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-maxCardinality.n3:                ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-maxQualifiedCardinality.n3:       ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-oneOf.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-propertyChainAxiom.n3:            ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-propertyDisjointWith.n3:          ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-sameAs-ext.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-sameAs.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-someValuesFrom.n3:                ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/owl-unionOf.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/rdfs-domain.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/rdfs-range.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/rdfs-subClassOf.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/rdfs-subPropertyOf.n3:                ASCII text
data/eye-20.1027.2307~ds/reasoning/rpo/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/rpo/x-owl-hasValue.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/rs/README:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/rs/graph-1000.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/rs/randomsample-proof.n3:                 ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/rs/randomsample-query.n3:                 ASCII text
data/eye-20.1027.2307~ds/reasoning/rs/randomsample-rule.n3:                  ASCII text
data/eye-20.1027.2307~ds/reasoning/rs/test:                                  Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/seq/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/seq/seq_answer.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/seq/seq_components.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/seq/seq_proof.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/seq/seq_query.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/seq/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/skos/README:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/skos/skos-extra-rules.n3:                 ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/skos/skos-mapping-sample-snomed-icd10.n3: ASCII text
data/eye-20.1027.2307~ds/reasoning/skos/skos-mapping-validation-query.n3:    ASCII text
data/eye-20.1027.2307~ds/reasoning/skos/skos-mapping-validation-rules.n3:    ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/skos/skos-rules.n3:                       ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/skos/skos_mv_proof.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/skos/test:                                Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/socrates/README:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/socrates/socrates.n3:                     ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/socrates/socratesF.n3:                    ASCII text, with CRLF line terminators
data/eye-20.1027.2307~ds/reasoning/socrates/socrates_proof.n3:               ASCII text
data/eye-20.1027.2307~ds/reasoning/socrates/test:                            Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/streason/README:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/streason/graph-10.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/streason/streason-output.n3:              ASCII text
data/eye-20.1027.2307~ds/reasoning/streason/streason-rules.n3:               ASCII text
data/eye-20.1027.2307~ds/reasoning/streason/test:                            Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/swet/README:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/swetA.n3:                            ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/swetA01.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/swetA11.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/swetA21.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/swetA31.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/swetD.n3:                            ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/swetQ.n3:                            ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/swetQ01.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/swetQ11.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/swetQ21.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/swetQ31.n3:                          ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/swet_proof.n3:                       ASCII text
data/eye-20.1027.2307~ds/reasoning/swet/test:                                Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/tak/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/tak/tak.n3:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/tak/takE.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/tak/takQ.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/tak/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/test:                                     Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/test.diff:                                ASCII text
data/eye-20.1027.2307~ds/reasoning/test.txt:                                 ASCII text, with very long lines
data/eye-20.1027.2307~ds/reasoning/tfcontext/README:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/tfcontext/data-001.n3:                    ASCII text
data/eye-20.1027.2307~ds/reasoning/tfcontext/proof-001.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/tfcontext/query-001.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/tfcontext/rules-001.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/tfcontext/test:                           Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/turing/README:                            ASCII text
data/eye-20.1027.2307~ds/reasoning/turing/test:                              Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/turing/turing.n3:                         ASCII text
data/eye-20.1027.2307~ds/reasoning/turing/turingQ.n3:                        ASCII text
data/eye-20.1027.2307~ds/reasoning/turing/turing_proof.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/usm/README:                               ASCII text
data/eye-20.1027.2307~ds/reasoning/usm/test:                                 Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/usm/usmE.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/usm/usmP.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/usm/usmQ.n3:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/utf8/README:                              ASCII text
data/eye-20.1027.2307~ds/reasoning/utf8/test:                                Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/utf8/utf8.n3:                             UTF-8 Unicode text
data/eye-20.1027.2307~ds/reasoning/utf8/utf8_proof.n3:                       UTF-8 Unicode text
data/eye-20.1027.2307~ds/reasoning/witch/README:                             ASCII text
data/eye-20.1027.2307~ds/reasoning/witch/floatingwoman-goal.n3:              ASCII text
data/eye-20.1027.2307~ds/reasoning/witch/floatingwoman-proof.n3:             ASCII text
data/eye-20.1027.2307~ds/reasoning/witch/floatingwoman.n3:                   ASCII text
data/eye-20.1027.2307~ds/reasoning/witch/test:                               Bourne-Again shell script, ASCII text executable
data/eye-20.1027.2307~ds/reasoning/witch/witch-goal.n3:                      ASCII text
data/eye-20.1027.2307~ds/reasoning/witch/witch-proof.n3:                     ASCII text
data/eye-20.1027.2307~ds/reasoning/witch/witch.n3:                           ASCII text
data/eye-20.1027.2307~ds/reasoning/index.html:                               XML 1.0 document, ASCII text
data/eye-20.1027.2307~ds/debian/README.Debian:                               ASCII text
data/eye-20.1027.2307~ds/debian/changelog:                                   ASCII text
data/eye-20.1027.2307~ds/debian/control:                                     UTF-8 Unicode text
data/eye-20.1027.2307~ds/debian/copyright:                                   ASCII text
data/eye-20.1027.2307~ds/debian/copyright-check:                             POSIX shell script, ASCII text executable
data/eye-20.1027.2307~ds/debian/copyright_hints:                             UTF-8 Unicode text
data/eye-20.1027.2307~ds/debian/docs:                                        ASCII text
data/eye-20.1027.2307~ds/debian/examples:                                    ASCII text
data/eye-20.1027.2307~ds/debian/gbp.conf:                                    ASCII text
data/eye-20.1027.2307~ds/debian/install:                                     ASCII text
data/eye-20.1027.2307~ds/debian/manpages:                                    ASCII text
data/eye-20.1027.2307~ds/debian/patches/2001_rename_executable.patch:        unified diff output, ASCII text
data/eye-20.1027.2307~ds/debian/patches/2002_privacy.patch:                  unified diff output, ASCII text
data/eye-20.1027.2307~ds/debian/patches/series:                              ASCII text
data/eye-20.1027.2307~ds/debian/rules:                                       a /usr/bin/make -f script, ASCII text executable
data/eye-20.1027.2307~ds/debian/source/format:                               ASCII text
data/eye-20.1027.2307~ds/debian/source/lintian-overrides:                    ASCII text
data/eye-20.1027.2307~ds/debian/tests/control:                               ASCII text
data/eye-20.1027.2307~ds/debian/tests/eye.pvm.t:                             ASCII text
data/eye-20.1027.2307~ds/debian/tests/net/eye.pvm.t:                         ASCII text
data/eye-20.1027.2307~ds/debian/watch:                                       ASCII text
data/eye-20.1027.2307~ds/.pc/.version:                                       ASCII text
data/eye-20.1027.2307~ds/.pc/.quilt_patches:                                 ASCII text
data/eye-20.1027.2307~ds/.pc/.quilt_series:                                  ASCII text
data/eye-20.1027.2307~ds/.pc/applied-patches:                                ASCII text
data/eye-20.1027.2307~ds/.pc/2001_rename_executable.patch/eye.pl:            ASCII text
data/eye-20.1027.2307~ds/.pc/2002_privacy.patch/index.html:                  XML 1.0 document, UTF-8 Unicode text
data/eye-20.1027.2307~ds/.pc/2002_privacy.patch/reasoning/index.html:        XML 1.0 document, ASCII text
data/eye-20.1027.2307~ds/eye.pl:                                             ASCII text
data/eye-20.1027.2307~ds/index.html:                                         XML 1.0 document, UTF-8 Unicode text