{
  "_views" : {
    "_InitialView" : {
      "NonEmptyFSList" : [7 ], 
      "RefTypes" : [
        {"sofa" : 2,  "aListFs" : 7 } ] } }, 
  "_referenced_fss" : {
    "2" : {"_type" : "Sofa",  "sofaNum" : 1,  "sofaID" : "_InitialView" }, 
    "7" : {"_type" : "NonEmptyFSList",  "tail" : [
        {"_type" : "NonEmptyFSList",  "tail" : [
            {"_type" : "NonEmptyFSList",  "tail" : [ ], 
              "head" : {"_type" : "RefTypes",  "sofa" : 2 } } ], 
          "head" : {"_type" : "RefTypes",  "sofa" : 2 } }, 
        {"_type" : "NonEmptyFSList",  "tail" : [ ], 
          "head" : {"_type" : "RefTypes",  "sofa" : 2 } } ], 
      "head" : {"_type" : "RefTypes",  "sofa" : 2 } } } }