//$Id: euler.js 1295 2007-05-11 16:52:51Z josd $

 {"=>":[
     {"head":{
        "pred":"=>",
        "args":[
           {"pred":"",
            "args":[
               {"pred":":p7",
                "args":[
                   {"pred":":s4","args":[]},
                   {"pred":"?O7","args":[]}]},
               {"pred":":p8",
                "args":[
                   {"pred":"",
                    "args":[
                       {"pred":":p1",
                        "args":[
                           {"pred":"?S1","args":[]},
                           {"pred":":o1","args":[]}]},
                       {"pred":":p2",
                        "args":[
                           {"pred":":s2","args":[]},
                           {"pred":":o2","args":[]}]}]},
                   {"pred":"",
                    "args":[
                       {"pred":":p6",
                        "args":[
                           {"pred":":s6","args":[]},
                           {"pred":"?O6","args":[]}]}]}]}]},
           {"pred":"",
            "args":[
               {"pred":":p6",
                "args":[
                   {"pred":":s6","args":[]},
                   {"pred":"?O6","args":[]}]}]}]},
      "body":[
         {"pred":"GND",
          "args":[
             {"src":{
                "head":{
                  "pred":":p5",
                  "args":[
                     {"pred":"",
                      "args":[
                         {"pred":":p3",
                          "args":[
                             {"pred":"",
                              "args":[
                                 {"pred":":p1",
                                  "args":[
                                     {"pred":"?S1","args":[]},
                                     {"pred":":o1","args":[]}]},
                                 {"pred":":p2",
                                  "args":[
                                     {"pred":":s2","args":[]},
                                     {"pred":":o2","args":[]}]}]},
                             {"pred":"?O3","args":[]}]},
                         {"pred":":p4",
                          "args":[
                             {"pred":":s4","args":[]},
                             {"pred":"?O4","args":[]}]}]},
                     {"pred":"",
                      "args":[
                         {"pred":":p6",
                          "args":[
                             {"pred":":s6","args":[]},
                             {"pred":"?O6","args":[]}]}]}]},"body":[]},
              "env":{}},
             {"src":{
                "head":{
                  "pred":"=>",
                  "args":[
                     {"pred":"",
                      "args":[
                         {"pred":":p7",
                          "args":[
                             {"pred":"?S4","args":[]},
                             {"pred":"?O7","args":[]}]},
                         {"pred":":p8",
                          "args":[
                             {"pred":"?S3","args":[]},
                             {"pred":"?O5","args":[]}]}]},
                     {"pred":"?O5","args":[]}]},
                "body":[
                   {"pred":":p5",
                    "args":[
                       {"pred":"",
                        "args":[
                           {"pred":":p3",
                            "args":[
                               {"pred":"?S3","args":[]},
                               {"pred":"?O3","args":[]}]},
                           {"pred":":p4",
                            "args":[
                               {"pred":"?S4","args":[]},
                               {"pred":"?O4","args":[]}]}]},
                       {"pred":"?O5","args":[]}]}]},
              "env":{
                "?S3":{
                  "pred":"",
                  "args":[
                     {"pred":":p1",
                      "args":[
                         {"pred":"?S1","args":[]},
                         {"pred":":o1","args":[]}]},
                     {"pred":":p2",
                      "args":[
                         {"pred":":s2","args":[]},
                         {"pred":":o2","args":[]}]}]},
                "?S4":{
                  "pred":":s4","args":[]},
                "?O5":{
                  "pred":"",
                  "args":[
                     {"pred":":p6",
                      "args":[
                         {"pred":":s6","args":[]},
                         {"pred":"?O6","args":[]}]}]}}}]}]}],
  "GND":{
    "e:":"http://eulersharp.sourceforge.net/2003/03swap/log-rules#",
    "q:":"http://www.w3.org/2004/ql#",
    "rdfs:":"http://www.w3.org/2000/01/rdf-schema#",
    "log:":"http://www.w3.org/2000/10/swap/log#",
    ":":"http://www.agfa.com/w3c/euler/test#",
    "rdf:":"http://www.w3.org/1999/02/22-rdf-syntax-ns#"}}

//ENDS [5 steps/1 msec]