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