[
  1,
  "xs",
  [
    0,
    "List",
    [
      7,
      {
        "cores": "Natural",
        "host": "Text",
        "key": "Text",
        "mandatoryFeatures": [
          0,
          "List",
          "Text"
        ],
        "platforms": [
          0,
          "List",
          [
            11,
            {
              "AArch64_Linux": [
                7,
                {}
              ],
              "ARMv5tel_Linux": [
                7,
                {}
              ],
              "ARMv7l_Linux": [
                7,
                {}
              ],
              "I686_Cygwin": [
                7,
                {}
              ],
              "I686_Linux": [
                7,
                {}
              ],
              "MIPS64el_Linux": [
                7,
                {}
              ],
              "PowerPC_Linux": [
                7,
                {}
              ],
              "X86_64_Cygwin": [
                7,
                {}
              ],
              "X86_64_Darwin": [
                7,
                {}
              ],
              "X86_64_FreeBSD": [
                7,
                {}
              ],
              "X86_64_Linux": [
                7,
                {}
              ],
              "X86_64_Solaris": [
                7,
                {}
              ]
            }
          ]
        ],
        "speedFactor": "Natural",
        "supportedFeatures": [
          0,
          "List",
          "Text"
        ],
        "user": [
          0,
          "Optional",
          "Text"
        ]
      }
    ]
  ],
  [
    0,
    [
      0,
      [
        0,
        [
          0,
          [
            0,
            "List/fold",
            [
              7,
              {
                "cores": "Natural",
                "host": "Text",
                "key": "Text",
                "mandatoryFeatures": [
                  0,
                  "List",
                  "Text"
                ],
                "platforms": [
                  0,
                  "List",
                  [
                    11,
                    {
                      "AArch64_Linux": [
                        7,
                        {}
                      ],
                      "ARMv5tel_Linux": [
                        7,
                        {}
                      ],
                      "ARMv7l_Linux": [
                        7,
                        {}
                      ],
                      "I686_Cygwin": [
                        7,
                        {}
                      ],
                      "I686_Linux": [
                        7,
                        {}
                      ],
                      "MIPS64el_Linux": [
                        7,
                        {}
                      ],
                      "PowerPC_Linux": [
                        7,
                        {}
                      ],
                      "X86_64_Cygwin": [
                        7,
                        {}
                      ],
                      "X86_64_Darwin": [
                        7,
                        {}
                      ],
                      "X86_64_FreeBSD": [
                        7,
                        {}
                      ],
                      "X86_64_Linux": [
                        7,
                        {}
                      ],
                      "X86_64_Solaris": [
                        7,
                        {}
                      ]
                    }
                  ]
                ],
                "speedFactor": "Natural",
                "supportedFeatures": [
                  0,
                  "List",
                  "Text"
                ],
                "user": [
                  0,
                  "Optional",
                  "Text"
                ]
              }
            ]
          ],
          "xs"
        ],
        "Text"
      ],
      [
        1,
        "x",
        [
          7,
          {
            "cores": "Natural",
            "host": "Text",
            "key": "Text",
            "mandatoryFeatures": [
              0,
              "List",
              "Text"
            ],
            "platforms": [
              0,
              "List",
              [
                11,
                {
                  "AArch64_Linux": [
                    7,
                    {}
                  ],
                  "ARMv5tel_Linux": [
                    7,
                    {}
                  ],
                  "ARMv7l_Linux": [
                    7,
                    {}
                  ],
                  "I686_Cygwin": [
                    7,
                    {}
                  ],
                  "I686_Linux": [
                    7,
                    {}
                  ],
                  "MIPS64el_Linux": [
                    7,
                    {}
                  ],
                  "PowerPC_Linux": [
                    7,
                    {}
                  ],
                  "X86_64_Cygwin": [
                    7,
                    {}
                  ],
                  "X86_64_Darwin": [
                    7,
                    {}
                  ],
                  "X86_64_FreeBSD": [
                    7,
                    {}
                  ],
                  "X86_64_Linux": [
                    7,
                    {}
                  ],
                  "X86_64_Solaris": [
                    7,
                    {}
                  ]
                }
              ]
            ],
            "speedFactor": "Natural",
            "supportedFeatures": [
              0,
              "List",
              "Text"
            ],
            "user": [
              0,
              "Optional",
              "Text"
            ]
          }
        ],
        [
          1,
          "y",
          "Text",
          [
            3,
            6,
            [
              3,
              6,
              [
                3,
                6,
                [
                  3,
                  6,
                  [
                    3,
                    6,
                    [
                      3,
                      6,
                      [
                        3,
                        6,
                        [
                          3,
                          6,
                          [
                            3,
                            6,
                            [
                              3,
                              6,
                              [
                                3,
                                6,
                                [
                                  3,
                                  6,
                                  [
                                    3,
                                    6,
                                    [
                                      3,
                                      6,
                                      [
                                        0,
                                        [
                                          0,
                                          [
                                            0,
                                            [
                                              0,
                                              [
                                                0,
                                                "Optional/fold",
                                                "Text"
                                              ],
                                              [
                                                9,
                                                "x",
                                                "user"
                                              ]
                                            ],
                                            "Text"
                                          ],
                                          [
                                            1,
                                            "user",
                                            "Text",
                                            [
                                              3,
                                              6,
                                              [
                                                3,
                                                6,
                                                [
                                                  3,
                                                  6,
                                                  "user",
                                                  [
                                                    18,
                                                    "@"
                                                  ]
                                                ],
                                                [
                                                  9,
                                                  "x",
                                                  "host"
                                                ]
                                              ],
                                              [
                                                18,
                                                ""
                                              ]
                                            ]
                                          ]
                                        ],
                                        [
                                          9,
                                          "x",
                                          "host"
                                        ]
                                      ],
                                      [
                                        18,
                                        " "
                                      ]
                                    ],
                                    [
                                      6,
                                      [
                                        8,
                                        {
                                          "Empty": [
                                            1,
                                            [
                                              7,
                                              {}
                                            ],
                                            [
                                              18,
                                              ""
                                            ]
                                          ],
                                          "NonEmpty": [
                                            1,
                                            "result",
                                            "Text",
                                            "result"
                                          ]
                                        }
                                      ],
                                      [
                                        0,
                                        [
                                          0,
                                          [
                                            0,
                                            [
                                              0,
                                              [
                                                0,
                                                "List/fold",
                                                [
                                                  11,
                                                  {
                                                    "AArch64_Linux": [
                                                      7,
                                                      {}
                                                    ],
                                                    "ARMv5tel_Linux": [
                                                      7,
                                                      {}
                                                    ],
                                                    "ARMv7l_Linux": [
                                                      7,
                                                      {}
                                                    ],
                                                    "I686_Cygwin": [
                                                      7,
                                                      {}
                                                    ],
                                                    "I686_Linux": [
                                                      7,
                                                      {}
                                                    ],
                                                    "MIPS64el_Linux": [
                                                      7,
                                                      {}
                                                    ],
                                                    "PowerPC_Linux": [
                                                      7,
                                                      {}
                                                    ],
                                                    "X86_64_Cygwin": [
                                                      7,
                                                      {}
                                                    ],
                                                    "X86_64_Darwin": [
                                                      7,
                                                      {}
                                                    ],
                                                    "X86_64_FreeBSD": [
                                                      7,
                                                      {}
                                                    ],
                                                    "X86_64_Linux": [
                                                      7,
                                                      {}
                                                    ],
                                                    "X86_64_Solaris": [
                                                      7,
                                                      {}
                                                    ]
                                                  }
                                                ]
                                              ],
                                              [
                                                9,
                                                "x",
                                                "platforms"
                                              ]
                                            ],
                                            [
                                              11,
                                              {
                                                "Empty": [
                                                  7,
                                                  {}
                                                ],
                                                "NonEmpty": "Text"
                                              }
                                            ]
                                          ],
                                          [
                                            1,
                                            "element",
                                            [
                                              11,
                                              {
                                                "AArch64_Linux": [
                                                  7,
                                                  {}
                                                ],
                                                "ARMv5tel_Linux": [
                                                  7,
                                                  {}
                                                ],
                                                "ARMv7l_Linux": [
                                                  7,
                                                  {}
                                                ],
                                                "I686_Cygwin": [
                                                  7,
                                                  {}
                                                ],
                                                "I686_Linux": [
                                                  7,
                                                  {}
                                                ],
                                                "MIPS64el_Linux": [
                                                  7,
                                                  {}
                                                ],
                                                "PowerPC_Linux": [
                                                  7,
                                                  {}
                                                ],
                                                "X86_64_Cygwin": [
                                                  7,
                                                  {}
                                                ],
                                                "X86_64_Darwin": [
                                                  7,
                                                  {}
                                                ],
                                                "X86_64_FreeBSD": [
                                                  7,
                                                  {}
                                                ],
                                                "X86_64_Linux": [
                                                  7,
                                                  {}
                                                ],
                                                "X86_64_Solaris": [
                                                  7,
                                                  {}
                                                ]
                                              }
                                            ],
                                            [
                                              1,
                                              "status",
                                              [
                                                11,
                                                {
                                                  "Empty": [
                                                    7,
                                                    {}
                                                  ],
                                                  "NonEmpty": "Text"
                                                }
                                              ],
                                              [
                                                6,
                                                [
                                                  8,
                                                  {
                                                    "Empty": [
                                                      1,
                                                      [
                                                        7,
                                                        {}
                                                      ],
                                                      [
                                                        12,
                                                        "NonEmpty",
                                                        [
                                                          6,
                                                          [
                                                            8,
                                                            {
                                                              "AArch64_Linux": [
                                                                1,
                                                                [
                                                                  7,
                                                                  {}
                                                                ],
                                                                [
                                                                  18,
                                                                  "aarch64-linux"
                                                                ]
                                                              ],
                                                              "ARMv5tel_Linux": [
                                                                1,
                                                                [
                                                                  7,
                                                                  {}
                                                                ],
                                                                [
                                                                  18,
                                                                  "armv5tel-linux"
                                                                ]
                                                              ],
                                                              "ARMv7l_Linux": [
                                                                1,
                                                                [
                                                                  7,
                                                                  {}
                                                                ],
                                                                [
                                                                  18,
                                                                  "armv7l-linux"
                                                                ]
                                                              ],
                                                              "I686_Cygwin": [
                                                                1,
                                                                [
                                                                  7,
                                                                  {}
                                                                ],
                                                                [
                                                                  18,
                                                                  "i686-cygwin"
                                                                ]
                                                              ],
                                                              "I686_Linux": [
                                                                1,
                                                                [
                                                                  7,
                                                                  {}
                                                                ],
                                                                [
                                                                  18,
                                                                  "i686-linux"
                                                                ]
                                                              ],
                                                              "MIPS64el_Linux": [
                                                                1,
                                                                [
                                                                  7,
                                                                  {}
                                                                ],
                                                                [
                                                                  18,
                                                                  "mips64el-linux"
                                                                ]
                                                              ],
                                                              "PowerPC_Linux": [
                                                                1,
                                                                [
                                                                  7,
                                                                  {}
                                                                ],
                                                                [
                                                                  18,
                                                                  "powerpc-linux"
                                                                ]
                                                              ],
                                                              "X86_64_Cygwin": [
                                                                1,
                                                                [
                                                                  7,
                                                                  {}
                                                                ],
                                                                [
                                                                  18,
                                                                  "x86_64-cygwin"
                                                                ]
                                                              ],
                                                              "X86_64_Darwin": [
                                                                1,
                                                                [
                                                                  7,
                                                                  {}
                                                                ],
                                                                [
                                                                  18,
                                                                  "x86_64-darwin"
                                                                ]
                                                              ],
                                                              "X86_64_FreeBSD": [
                                                                1,
                                                                [
                                                                  7,
                                                                  {}
                                                                ],
                                                                [
                                                                  18,
                                                                  "x86_64-freebsd"
                                                                ]
                                                              ],
                                                              "X86_64_Linux": [
                                                                1,
                                                                [
                                                                  7,
                                                                  {}
                                                                ],
                                                                [
                                                                  18,
                                                                  "x86_64-linux"
                                                                ]
                                                              ],
                                                              "X86_64_Solaris": [
                                                                1,
                                                                [
                                                                  7,
                                                                  {}
                                                                ],
                                                                [
                                                                  18,
                                                                  "x86_64-solaris"
                                                                ]
                                                              ]
                                                            }
                                                          ],
                                                          "element"
                                                        ],
                                                        {
                                                          "Empty": [
                                                            7,
                                                            {}
                                                          ]
                                                        }
                                                      ]
                                                    ],
                                                    "NonEmpty": [
                                                      1,
                                                      "result",
                                                      "Text",
                                                      [
                                                        12,
                                                        "NonEmpty",
                                                        [
                                                          3,
                                                          6,
                                                          [
                                                            3,
                                                            6,
                                                            [
                                                              6,
                                                              [
                                                                8,
                                                                {
                                                                  "AArch64_Linux": [
                                                                    1,
                                                                    [
                                                                      7,
                                                                      {}
                                                                    ],
                                                                    [
                                                                      18,
                                                                      "aarch64-linux"
                                                                    ]
                                                                  ],
                                                                  "ARMv5tel_Linux": [
                                                                    1,
                                                                    [
                                                                      7,
                                                                      {}
                                                                    ],
                                                                    [
                                                                      18,
                                                                      "armv5tel-linux"
                                                                    ]
                                                                  ],
                                                                  "ARMv7l_Linux": [
                                                                    1,
                                                                    [
                                                                      7,
                                                                      {}
                                                                    ],
                                                                    [
                                                                      18,
                                                                      "armv7l-linux"
                                                                    ]
                                                                  ],
                                                                  "I686_Cygwin": [
                                                                    1,
                                                                    [
                                                                      7,
                                                                      {}
                                                                    ],
                                                                    [
                                                                      18,
                                                                      "i686-cygwin"
                                                                    ]
                                                                  ],
                                                                  "I686_Linux": [
                                                                    1,
                                                                    [
                                                                      7,
                                                                      {}
                                                                    ],
                                                                    [
                                                                      18,
                                                                      "i686-linux"
                                                                    ]
                                                                  ],
                                                                  "MIPS64el_Linux": [
                                                                    1,
                                                                    [
                                                                      7,
                                                                      {}
                                                                    ],
                                                                    [
                                                                      18,
                                                                      "mips64el-linux"
                                                                    ]
                                                                  ],
                                                                  "PowerPC_Linux": [
                                                                    1,
                                                                    [
                                                                      7,
                                                                      {}
                                                                    ],
                                                                    [
                                                                      18,
                                                                      "powerpc-linux"
                                                                    ]
                                                                  ],
                                                                  "X86_64_Cygwin": [
                                                                    1,
                                                                    [
                                                                      7,
                                                                      {}
                                                                    ],
                                                                    [
                                                                      18,
                                                                      "x86_64-cygwin"
                                                                    ]
                                                                  ],
                                                                  "X86_64_Darwin": [
                                                                    1,
                                                                    [
                                                                      7,
                                                                      {}
                                                                    ],
                                                                    [
                                                                      18,
                                                                      "x86_64-darwin"
                                                                    ]
                                                                  ],
                                                                  "X86_64_FreeBSD": [
                                                                    1,
                                                                    [
                                                                      7,
                                                                      {}
                                                                    ],
                                                                    [
                                                                      18,
                                                                      "x86_64-freebsd"
                                                                    ]
                                                                  ],
                                                                  "X86_64_Linux": [
                                                                    1,
                                                                    [
                                                                      7,
                                                                      {}
                                                                    ],
                                                                    [
                                                                      18,
                                                                      "x86_64-linux"
                                                                    ]
                                                                  ],
                                                                  "X86_64_Solaris": [
                                                                    1,
                                                                    [
                                                                      7,
                                                                      {}
                                                                    ],
                                                                    [
                                                                      18,
                                                                      "x86_64-solaris"
                                                                    ]
                                                                  ]
                                                                }
                                                              ],
                                                              "element"
                                                            ],
                                                            [
                                                              18,
                                                              ","
                                                            ]
                                                          ],
                                                          "result"
                                                        ],
                                                        {
                                                          "Empty": [
                                                            7,
                                                            {}
                                                          ]
                                                        }
                                                      ]
                                                    ]
                                                  }
                                                ],
                                                "status",
                                                [
                                                  11,
                                                  {
                                                    "Empty": [
                                                      7,
                                                      {}
                                                    ],
                                                    "NonEmpty": "Text"
                                                  }
                                                ]
                                              ]
                                            ]
                                          ]
                                        ],
                                        [
                                          12,
                                          "Empty",
                                          [
                                            8,
                                            {}
                                          ],
                                          {
                                            "NonEmpty": "Text"
                                          }
                                        ]
                                      ],
                                      "Text"
                                    ]
                                  ],
                                  [
                                    18,
                                    " "
                                  ]
                                ],
                                [
                                  9,
                                  "x",
                                  "key"
                                ]
                              ],
                              [
                                18,
                                " "
                              ]
                            ],
                            [
                              0,
                              "Integer/show",
                              [
                                0,
                                "Natural/toInteger",
                                [
                                  9,
                                  "x",
                                  "cores"
                                ]
                              ]
                            ]
                          ],
                          [
                            18,
                            " "
                          ]
                        ],
                        [
                          0,
                          "Integer/show",
                          [
                            0,
                            "Natural/toInteger",
                            [
                              9,
                              "x",
                              "speedFactor"
                            ]
                          ]
                        ]
                      ],
                      [
                        18,
                        " "
                      ]
                    ],
                    [
                      6,
                      [
                        8,
                        {
                          "Empty": [
                            1,
                            [
                              7,
                              {}
                            ],
                            [
                              18,
                              ""
                            ]
                          ],
                          "NonEmpty": [
                            1,
                            "result",
                            "Text",
                            "result"
                          ]
                        }
                      ],
                      [
                        0,
                        [
                          0,
                          [
                            0,
                            [
                              0,
                              [
                                0,
                                "List/fold",
                                "Text"
                              ],
                              [
                                9,
                                "x",
                                "supportedFeatures"
                              ]
                            ],
                            [
                              11,
                              {
                                "Empty": [
                                  7,
                                  {}
                                ],
                                "NonEmpty": "Text"
                              }
                            ]
                          ],
                          [
                            1,
                            "element",
                            "Text",
                            [
                              1,
                              "status",
                              [
                                11,
                                {
                                  "Empty": [
                                    7,
                                    {}
                                  ],
                                  "NonEmpty": "Text"
                                }
                              ],
                              [
                                6,
                                [
                                  8,
                                  {
                                    "Empty": [
                                      1,
                                      [
                                        7,
                                        {}
                                      ],
                                      [
                                        12,
                                        "NonEmpty",
                                        "element",
                                        {
                                          "Empty": [
                                            7,
                                            {}
                                          ]
                                        }
                                      ]
                                    ],
                                    "NonEmpty": [
                                      1,
                                      "result",
                                      "Text",
                                      [
                                        12,
                                        "NonEmpty",
                                        [
                                          3,
                                          6,
                                          [
                                            3,
                                            6,
                                            "element",
                                            [
                                              18,
                                              ","
                                            ]
                                          ],
                                          "result"
                                        ],
                                        {
                                          "Empty": [
                                            7,
                                            {}
                                          ]
                                        }
                                      ]
                                    ]
                                  }
                                ],
                                "status",
                                [
                                  11,
                                  {
                                    "Empty": [
                                      7,
                                      {}
                                    ],
                                    "NonEmpty": "Text"
                                  }
                                ]
                              ]
                            ]
                          ]
                        ],
                        [
                          12,
                          "Empty",
                          [
                            8,
                            {}
                          ],
                          {
                            "NonEmpty": "Text"
                          }
                        ]
                      ],
                      "Text"
                    ]
                  ],
                  [
                    18,
                    " "
                  ]
                ],
                [
                  6,
                  [
                    8,
                    {
                      "Empty": [
                        1,
                        [
                          7,
                          {}
                        ],
                        [
                          18,
                          ""
                        ]
                      ],
                      "NonEmpty": [
                        1,
                        "result",
                        "Text",
                        "result"
                      ]
                    }
                  ],
                  [
                    0,
                    [
                      0,
                      [
                        0,
                        [
                          0,
                          [
                            0,
                            "List/fold",
                            "Text"
                          ],
                          [
                            9,
                            "x",
                            "mandatoryFeatures"
                          ]
                        ],
                        [
                          11,
                          {
                            "Empty": [
                              7,
                              {}
                            ],
                            "NonEmpty": "Text"
                          }
                        ]
                      ],
                      [
                        1,
                        "element",
                        "Text",
                        [
                          1,
                          "status",
                          [
                            11,
                            {
                              "Empty": [
                                7,
                                {}
                              ],
                              "NonEmpty": "Text"
                            }
                          ],
                          [
                            6,
                            [
                              8,
                              {
                                "Empty": [
                                  1,
                                  [
                                    7,
                                    {}
                                  ],
                                  [
                                    12,
                                    "NonEmpty",
                                    "element",
                                    {
                                      "Empty": [
                                        7,
                                        {}
                                      ]
                                    }
                                  ]
                                ],
                                "NonEmpty": [
                                  1,
                                  "result",
                                  "Text",
                                  [
                                    12,
                                    "NonEmpty",
                                    [
                                      3,
                                      6,
                                      [
                                        3,
                                        6,
                                        "element",
                                        [
                                          18,
                                          ","
                                        ]
                                      ],
                                      "result"
                                    ],
                                    {
                                      "Empty": [
                                        7,
                                        {}
                                      ]
                                    }
                                  ]
                                ]
                              }
                            ],
                            "status",
                            [
                              11,
                              {
                                "Empty": [
                                  7,
                                  {}
                                ],
                                "NonEmpty": "Text"
                              }
                            ]
                          ]
                        ]
                      ]
                    ],
                    [
                      12,
                      "Empty",
                      [
                        8,
                        {}
                      ],
                      {
                        "NonEmpty": "Text"
                      }
                    ]
                  ],
                  "Text"
                ]
              ],
              [
                18,
                "\n"
              ]
            ],
            "y"
          ]
        ]
      ]
    ],
    [
      18,
      ""
    ]
  ]
]