{
   "Tungstenite": {
      "1.1.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_1_1.json"
      },
      "1.1.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_1_2.json"
      },
      "1.1.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_1_3.json"
      },
      "1.1.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_1_4.json"
      },
      "1.1.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_1_5.json"
      },
      "1.1.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 4,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_1_6.json"
      },
      "1.1.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_1_7.json"
      },
      "1.1.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 6,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_1_8.json"
      },
      "1.2.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_2_1.json"
      },
      "1.2.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_2_2.json"
      },
      "1.2.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_2_3.json"
      },
      "1.2.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_2_4.json"
      },
      "1.2.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_2_5.json"
      },
      "1.2.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 18,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_2_6.json"
      },
      "1.2.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 18,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_2_7.json"
      },
      "1.2.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 21,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_2_8.json"
      },
      "10.1.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 9,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_10_1_1.json"
      },
      "12.1.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 626,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_1.json"
      },
      "12.1.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5308,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_10.json"
      },
      "12.1.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 796,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_11.json"
      },
      "12.1.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 948,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_12.json"
      },
      "12.1.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1438,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_13.json"
      },
      "12.1.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2804,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_14.json"
      },
      "12.1.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5424,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_15.json"
      },
      "12.1.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5352,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_16.json"
      },
      "12.1.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5437,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_17.json"
      },
      "12.1.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5622,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_18.json"
      },
      "12.1.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 612,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_2.json"
      },
      "12.1.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 655,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_3.json"
      },
      "12.1.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 667,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_4.json"
      },
      "12.1.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 730,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_5.json"
      },
      "12.1.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 825,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_6.json"
      },
      "12.1.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 944,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_7.json"
      },
      "12.1.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1509,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_8.json"
      },
      "12.1.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2843,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_9.json"
      },
      "12.2.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 110,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_1.json"
      },
      "12.2.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 13106,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_10.json"
      },
      "12.2.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 902,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_11.json"
      },
      "12.2.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1884,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_12.json"
      },
      "12.2.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 4376,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_13.json"
      },
      "12.2.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 8699,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_14.json"
      },
      "12.2.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 17706,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_15.json"
      },
      "12.2.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 14203,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_16.json"
      },
      "12.2.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 13358,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_17.json"
      },
      "12.2.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 13024,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_18.json"
      },
      "12.2.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 141,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_2.json"
      },
      "12.2.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 136,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_3.json"
      },
      "12.2.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 237,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_4.json"
      },
      "12.2.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 482,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_5.json"
      },
      "12.2.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 885,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_6.json"
      },
      "12.2.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1692,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_7.json"
      },
      "12.2.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3395,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_8.json"
      },
      "12.2.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 6743,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_9.json"
      },
      "12.3.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 98,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_1.json"
      },
      "12.3.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 11308,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_10.json"
      },
      "12.3.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 734,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_11.json"
      },
      "12.3.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1263,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_12.json"
      },
      "12.3.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2953,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_13.json"
      },
      "12.3.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 6534,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_14.json"
      },
      "12.3.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 13252,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_15.json"
      },
      "12.3.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 11823,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_16.json"
      },
      "12.3.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 11151,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_17.json"
      },
      "12.3.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 11493,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_18.json"
      },
      "12.3.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 105,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_2.json"
      },
      "12.3.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 133,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_3.json"
      },
      "12.3.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 166,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_4.json"
      },
      "12.3.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 368,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_5.json"
      },
      "12.3.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 616,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_6.json"
      },
      "12.3.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1192,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_7.json"
      },
      "12.3.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2294,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_8.json"
      },
      "12.3.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5598,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_9.json"
      },
      "12.4.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 689,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_1.json"
      },
      "12.4.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5214,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_10.json"
      },
      "12.4.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 921,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_11.json"
      },
      "12.4.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1098,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_12.json"
      },
      "12.4.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1475,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_13.json"
      },
      "12.4.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2727,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_14.json"
      },
      "12.4.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5294,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_15.json"
      },
      "12.4.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5275,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_16.json"
      },
      "12.4.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5220,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_17.json"
      },
      "12.4.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5211,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_18.json"
      },
      "12.4.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 693,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_2.json"
      },
      "12.4.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 711,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_3.json"
      },
      "12.4.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 742,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_4.json"
      },
      "12.4.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 806,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_5.json"
      },
      "12.4.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 880,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_6.json"
      },
      "12.4.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1047,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_7.json"
      },
      "12.4.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1420,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_8.json"
      },
      "12.4.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2700,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_9.json"
      },
      "12.5.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 95,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_1.json"
      },
      "12.5.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 11305,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_10.json"
      },
      "12.5.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1053,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_11.json"
      },
      "12.5.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1836,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_12.json"
      },
      "12.5.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3614,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_13.json"
      },
      "12.5.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 7264,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_14.json"
      },
      "12.5.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 14358,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_15.json"
      },
      "12.5.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 11942,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_16.json"
      },
      "12.5.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 11389,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_17.json"
      },
      "12.5.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 11262,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_18.json"
      },
      "12.5.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 105,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_2.json"
      },
      "12.5.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 132,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_3.json"
      },
      "12.5.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 171,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_4.json"
      },
      "12.5.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 449,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_5.json"
      },
      "12.5.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 772,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_6.json"
      },
      "12.5.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1472,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_7.json"
      },
      "12.5.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2853,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_8.json"
      },
      "12.5.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5700,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_9.json"
      },
      "13.1.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 551,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_1.json"
      },
      "13.1.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5125,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_10.json"
      },
      "13.1.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 745,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_11.json"
      },
      "13.1.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 865,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_12.json"
      },
      "13.1.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1378,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_13.json"
      },
      "13.1.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2643,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_14.json"
      },
      "13.1.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5195,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_15.json"
      },
      "13.1.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5141,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_16.json"
      },
      "13.1.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5129,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_17.json"
      },
      "13.1.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5132,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_18.json"
      },
      "13.1.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 549,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_2.json"
      },
      "13.1.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 559,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_3.json"
      },
      "13.1.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 590,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_4.json"
      },
      "13.1.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 650,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_5.json"
      },
      "13.1.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 710,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_6.json"
      },
      "13.1.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 818,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_7.json"
      },
      "13.1.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1368,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_8.json"
      },
      "13.1.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2609,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_9.json"
      },
      "13.2.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 548,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_1.json"
      },
      "13.2.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5127,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_10.json"
      },
      "13.2.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 738,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_11.json"
      },
      "13.2.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 861,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_12.json"
      },
      "13.2.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1372,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_13.json"
      },
      "13.2.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2658,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_14.json"
      },
      "13.2.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5206,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_15.json"
      },
      "13.2.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5130,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_16.json"
      },
      "13.2.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5380,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_17.json"
      },
      "13.2.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5297,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_18.json"
      },
      "13.2.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 553,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_2.json"
      },
      "13.2.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 576,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_3.json"
      },
      "13.2.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 596,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_4.json"
      },
      "13.2.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 649,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_5.json"
      },
      "13.2.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 712,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_6.json"
      },
      "13.2.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 824,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_7.json"
      },
      "13.2.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1357,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_8.json"
      },
      "13.2.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2603,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_9.json"
      },
      "13.3.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 571,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_1.json"
      },
      "13.3.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5314,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_10.json"
      },
      "13.3.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 750,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_11.json"
      },
      "13.3.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 880,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_12.json"
      },
      "13.3.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1443,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_13.json"
      },
      "13.3.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2737,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_14.json"
      },
      "13.3.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5193,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_15.json"
      },
      "13.3.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5183,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_16.json"
      },
      "13.3.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5310,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_17.json"
      },
      "13.3.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5297,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_18.json"
      },
      "13.3.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 555,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_2.json"
      },
      "13.3.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 572,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_3.json"
      },
      "13.3.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 601,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_4.json"
      },
      "13.3.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 657,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_5.json"
      },
      "13.3.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 714,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_6.json"
      },
      "13.3.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 850,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_7.json"
      },
      "13.3.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1423,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_8.json"
      },
      "13.3.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2708,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_9.json"
      },
      "13.4.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 552,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_1.json"
      },
      "13.4.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5125,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_10.json"
      },
      "13.4.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 741,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_11.json"
      },
      "13.4.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 861,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_12.json"
      },
      "13.4.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1376,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_13.json"
      },
      "13.4.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2644,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_14.json"
      },
      "13.4.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5192,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_15.json"
      },
      "13.4.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5155,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_16.json"
      },
      "13.4.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5127,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_17.json"
      },
      "13.4.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5694,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_18.json"
      },
      "13.4.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 554,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_2.json"
      },
      "13.4.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 569,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_3.json"
      },
      "13.4.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 590,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_4.json"
      },
      "13.4.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 656,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_5.json"
      },
      "13.4.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 716,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_6.json"
      },
      "13.4.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 824,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_7.json"
      },
      "13.4.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1361,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_8.json"
      },
      "13.4.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2603,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_9.json"
      },
      "13.5.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1199,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_1.json"
      },
      "13.5.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 6059,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_10.json"
      },
      "13.5.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 886,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_11.json"
      },
      "13.5.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1238,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_12.json"
      },
      "13.5.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1824,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_13.json"
      },
      "13.5.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2915,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_14.json"
      },
      "13.5.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5567,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_15.json"
      },
      "13.5.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5331,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_16.json"
      },
      "13.5.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5427,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_17.json"
      },
      "13.5.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5394,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_18.json"
      },
      "13.5.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1609,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_2.json"
      },
      "13.5.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1168,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_3.json"
      },
      "13.5.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1220,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_4.json"
      },
      "13.5.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 891,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_5.json"
      },
      "13.5.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 906,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_6.json"
      },
      "13.5.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1018,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_7.json"
      },
      "13.5.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1984,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_8.json"
      },
      "13.5.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3313,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_9.json"
      },
      "13.6.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 640,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_1.json"
      },
      "13.6.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5641,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_10.json"
      },
      "13.6.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 815,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_11.json"
      },
      "13.6.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1073,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_12.json"
      },
      "13.6.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1594,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_13.json"
      },
      "13.6.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2776,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_14.json"
      },
      "13.6.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5407,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_15.json"
      },
      "13.6.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5375,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_16.json"
      },
      "13.6.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5352,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_17.json"
      },
      "13.6.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5309,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_18.json"
      },
      "13.6.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 609,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_2.json"
      },
      "13.6.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 622,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_3.json"
      },
      "13.6.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 646,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_4.json"
      },
      "13.6.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 741,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_5.json"
      },
      "13.6.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 872,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_6.json"
      },
      "13.6.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 971,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_7.json"
      },
      "13.6.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1491,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_8.json"
      },
      "13.6.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2868,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_9.json"
      },
      "13.7.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 610,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_1.json"
      },
      "13.7.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5631,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_10.json"
      },
      "13.7.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 811,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_11.json"
      },
      "13.7.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 986,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_12.json"
      },
      "13.7.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1535,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_13.json"
      },
      "13.7.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2851,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_14.json"
      },
      "13.7.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5344,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_15.json"
      },
      "13.7.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5311,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_16.json"
      },
      "13.7.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5355,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_17.json"
      },
      "13.7.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5762,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_18.json"
      },
      "13.7.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 599,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_2.json"
      },
      "13.7.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 619,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_3.json"
      },
      "13.7.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 659,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_4.json"
      },
      "13.7.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 731,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_5.json"
      },
      "13.7.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 807,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_6.json"
      },
      "13.7.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 979,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_7.json"
      },
      "13.7.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1557,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_8.json"
      },
      "13.7.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2908,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_9.json"
      },
      "2.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_1.json"
      },
      "2.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 44,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_10.json"
      },
      "2.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 7,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_11.json"
      },
      "2.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_2.json"
      },
      "2.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_3.json"
      },
      "2.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_4.json"
      },
      "2.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_2_5.json"
      },
      "2.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_6.json"
      },
      "2.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_7.json"
      },
      "2.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_8.json"
      },
      "2.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_9.json"
      },
      "3.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_3_1.json"
      },
      "3.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_3_2.json"
      },
      "3.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_3_3.json"
      },
      "3.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_3_4.json"
      },
      "3.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_3_5.json"
      },
      "3.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_3_6.json"
      },
      "3.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_3_7.json"
      },
      "4.1.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_1_1.json"
      },
      "4.1.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_1_2.json"
      },
      "4.1.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_1_3.json"
      },
      "4.1.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_1_4.json"
      },
      "4.1.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_1_5.json"
      },
      "4.2.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_2_1.json"
      },
      "4.2.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_2_2.json"
      },
      "4.2.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_2_3.json"
      },
      "4.2.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_2_4.json"
      },
      "4.2.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_2_5.json"
      },
      "5.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_1.json"
      },
      "5.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_10.json"
      },
      "5.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 4,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_11.json"
      },
      "5.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_12.json"
      },
      "5.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_13.json"
      },
      "5.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_14.json"
      },
      "5.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_15.json"
      },
      "5.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_16.json"
      },
      "5.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_17.json"
      },
      "5.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_18.json"
      },
      "5.19": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1004,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_5_19.json"
      },
      "5.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_2.json"
      },
      "5.20": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1004,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_5_20.json"
      },
      "5.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_5_3.json"
      },
      "5.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_5_4.json"
      },
      "5.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_5_5.json"
      },
      "5.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 43,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_5_6.json"
      },
      "5.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_5_7.json"
      },
      "5.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 11,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_5_8.json"
      },
      "5.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_9.json"
      },
      "6.1.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_1_1.json"
      },
      "6.1.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_1_2.json"
      },
      "6.1.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_1_3.json"
      },
      "6.10.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_10_1.json"
      },
      "6.10.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_10_2.json"
      },
      "6.10.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_10_3.json"
      },
      "6.11.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_11_1.json"
      },
      "6.11.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_11_2.json"
      },
      "6.11.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_11_3.json"
      },
      "6.11.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_11_4.json"
      },
      "6.11.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_11_5.json"
      },
      "6.12.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_12_1.json"
      },
      "6.12.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_12_2.json"
      },
      "6.12.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_12_3.json"
      },
      "6.12.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_12_4.json"
      },
      "6.12.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_12_5.json"
      },
      "6.12.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_12_6.json"
      },
      "6.12.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_12_7.json"
      },
      "6.12.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_12_8.json"
      },
      "6.13.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_13_1.json"
      },
      "6.13.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_13_2.json"
      },
      "6.13.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_13_3.json"
      },
      "6.13.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_13_4.json"
      },
      "6.13.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_13_5.json"
      },
      "6.14.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_14_1.json"
      },
      "6.14.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_14_10.json"
      },
      "6.14.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_14_2.json"
      },
      "6.14.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_14_3.json"
      },
      "6.14.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_14_4.json"
      },
      "6.14.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_14_5.json"
      },
      "6.14.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_14_6.json"
      },
      "6.14.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_14_7.json"
      },
      "6.14.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_14_8.json"
      },
      "6.14.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_14_9.json"
      },
      "6.15.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_15_1.json"
      },
      "6.16.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_16_1.json"
      },
      "6.16.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_16_2.json"
      },
      "6.16.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_16_3.json"
      },
      "6.17.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_17_1.json"
      },
      "6.17.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_17_2.json"
      },
      "6.17.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_17_3.json"
      },
      "6.17.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_17_4.json"
      },
      "6.17.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_17_5.json"
      },
      "6.18.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_18_1.json"
      },
      "6.18.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_18_2.json"
      },
      "6.18.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_18_3.json"
      },
      "6.18.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_18_4.json"
      },
      "6.18.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_18_5.json"
      },
      "6.19.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_19_1.json"
      },
      "6.19.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_19_2.json"
      },
      "6.19.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_19_3.json"
      },
      "6.19.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_19_4.json"
      },
      "6.19.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_19_5.json"
      },
      "6.2.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_2_1.json"
      },
      "6.2.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_2_2.json"
      },
      "6.2.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 4,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_2_3.json"
      },
      "6.2.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_2_4.json"
      },
      "6.20.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_20_1.json"
      },
      "6.20.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_20_2.json"
      },
      "6.20.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_20_3.json"
      },
      "6.20.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_20_4.json"
      },
      "6.20.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_20_5.json"
      },
      "6.20.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_20_6.json"
      },
      "6.20.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_20_7.json"
      },
      "6.21.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_21_1.json"
      },
      "6.21.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_21_2.json"
      },
      "6.21.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_21_3.json"
      },
      "6.21.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_21_4.json"
      },
      "6.21.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_21_5.json"
      },
      "6.21.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_21_6.json"
      },
      "6.21.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_21_7.json"
      },
      "6.21.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_21_8.json"
      },
      "6.22.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_1.json"
      },
      "6.22.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_10.json"
      },
      "6.22.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_11.json"
      },
      "6.22.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_12.json"
      },
      "6.22.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_13.json"
      },
      "6.22.14": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_14.json"
      },
      "6.22.15": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_15.json"
      },
      "6.22.16": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_16.json"
      },
      "6.22.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_17.json"
      },
      "6.22.18": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_18.json"
      },
      "6.22.19": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_19.json"
      },
      "6.22.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_2.json"
      },
      "6.22.20": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_20.json"
      },
      "6.22.21": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_21.json"
      },
      "6.22.22": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_22.json"
      },
      "6.22.23": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_23.json"
      },
      "6.22.24": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_24.json"
      },
      "6.22.25": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_25.json"
      },
      "6.22.26": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_26.json"
      },
      "6.22.27": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_27.json"
      },
      "6.22.28": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_28.json"
      },
      "6.22.29": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_29.json"
      },
      "6.22.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_3.json"
      },
      "6.22.30": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_30.json"
      },
      "6.22.31": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_31.json"
      },
      "6.22.32": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_32.json"
      },
      "6.22.33": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_33.json"
      },
      "6.22.34": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_34.json"
      },
      "6.22.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_4.json"
      },
      "6.22.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_5.json"
      },
      "6.22.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_6.json"
      },
      "6.22.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_7.json"
      },
      "6.22.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_8.json"
      },
      "6.22.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_9.json"
      },
      "6.23.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_23_1.json"
      },
      "6.23.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_23_2.json"
      },
      "6.23.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_23_3.json"
      },
      "6.23.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_23_4.json"
      },
      "6.23.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_23_5.json"
      },
      "6.23.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_23_6.json"
      },
      "6.23.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_23_7.json"
      },
      "6.3.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_3_1.json"
      },
      "6.3.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_3_2.json"
      },
      "6.4.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1002,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_4_1.json"
      },
      "6.4.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1002,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_4_2.json"
      },
      "6.4.3": {
         "behavior": "NON-STRICT",
         "behaviorClose": "OK",
         "duration": 2002,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_4_3.json"
      },
      "6.4.4": {
         "behavior": "NON-STRICT",
         "behaviorClose": "OK",
         "duration": 2002,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_4_4.json"
      },
      "6.5.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_5_1.json"
      },
      "6.5.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_5_2.json"
      },
      "6.5.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_5_3.json"
      },
      "6.5.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_5_4.json"
      },
      "6.5.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 6,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_5_5.json"
      },
      "6.6.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_6_1.json"
      },
      "6.6.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_6_10.json"
      },
      "6.6.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_6_11.json"
      },
      "6.6.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_6_2.json"
      },
      "6.6.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_6_3.json"
      },
      "6.6.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_6_4.json"
      },
      "6.6.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_6_5.json"
      },
      "6.6.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_6_6.json"
      },
      "6.6.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_6_7.json"
      },
      "6.6.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_6_8.json"
      },
      "6.6.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_6_9.json"
      },
      "6.7.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_7_1.json"
      },
      "6.7.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_7_2.json"
      },
      "6.7.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_7_3.json"
      },
      "6.7.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_7_4.json"
      },
      "6.8.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_8_1.json"
      },
      "6.8.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_8_2.json"
      },
      "6.9.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_9_1.json"
      },
      "6.9.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_9_2.json"
      },
      "6.9.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_9_3.json"
      },
      "6.9.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_9_4.json"
      },
      "7.1.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_1_1.json"
      },
      "7.1.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_1_2.json"
      },
      "7.1.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_1_3.json"
      },
      "7.1.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_1_4.json"
      },
      "7.1.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_1_5.json"
      },
      "7.1.6": {
         "behavior": "INFORMATIONAL",
         "behaviorClose": "INFORMATIONAL",
         "duration": 19,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_1_6.json"
      },
      "7.13.1": {
         "behavior": "INFORMATIONAL",
         "behaviorClose": "INFORMATIONAL",
         "duration": 2,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_13_1.json"
      },
      "7.13.2": {
         "behavior": "INFORMATIONAL",
         "behaviorClose": "INFORMATIONAL",
         "duration": 0,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_13_2.json"
      },
      "7.3.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_7_3_1.json"
      },
      "7.3.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_7_3_2.json"
      },
      "7.3.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_3_3.json"
      },
      "7.3.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_3_4.json"
      },
      "7.3.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_3_5.json"
      },
      "7.3.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_7_3_6.json"
      },
      "7.5.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_7_5_1.json"
      },
      "7.7.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_1.json"
      },
      "7.7.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_10.json"
      },
      "7.7.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_11.json"
      },
      "7.7.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_12.json"
      },
      "7.7.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_13.json"
      },
      "7.7.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_2.json"
      },
      "7.7.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_3.json"
      },
      "7.7.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_4.json"
      },
      "7.7.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_5.json"
      },
      "7.7.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_6.json"
      },
      "7.7.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_7.json"
      },
      "7.7.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_8.json"
      },
      "7.7.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_9.json"
      },
      "7.9.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_1.json"
      },
      "7.9.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_2.json"
      },
      "7.9.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_3.json"
      },
      "7.9.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_4.json"
      },
      "7.9.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_5.json"
      },
      "7.9.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_6.json"
      },
      "7.9.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_7.json"
      },
      "7.9.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_8.json"
      },
      "7.9.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_9.json"
      },
      "9.1.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 4,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_1_1.json"
      },
      "9.1.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 18,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_1_2.json"
      },
      "9.1.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 76,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_1_3.json"
      },
      "9.1.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 285,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_1_4.json"
      },
      "9.1.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 531,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_1_5.json"
      },
      "9.1.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1063,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_1_6.json"
      },
      "9.2.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_2_1.json"
      },
      "9.2.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 21,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_2_2.json"
      },
      "9.2.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 69,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_2_3.json"
      },
      "9.2.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 275,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_2_4.json"
      },
      "9.2.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 554,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_2_5.json"
      },
      "9.2.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1115,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_2_6.json"
      },
      "9.3.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 978,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_1.json"
      },
      "9.3.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 555,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_2.json"
      },
      "9.3.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 446,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_3.json"
      },
      "9.3.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 419,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_4.json"
      },
      "9.3.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 393,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_5.json"
      },
      "9.3.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 389,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_6.json"
      },
      "9.3.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 387,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_7.json"
      },
      "9.3.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 350,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_8.json"
      },
      "9.3.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 231,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_9.json"
      },
      "9.4.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 947,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_1.json"
      },
      "9.4.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 553,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_2.json"
      },
      "9.4.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 433,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_3.json"
      },
      "9.4.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 412,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_4.json"
      },
      "9.4.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 394,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_5.json"
      },
      "9.4.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 391,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_6.json"
      },
      "9.4.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 388,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_7.json"
      },
      "9.4.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 348,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_8.json"
      },
      "9.4.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 227,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_9.json"
      },
      "9.5.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 599,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_5_1.json"
      },
      "9.5.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 322,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_5_2.json"
      },
      "9.5.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 183,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_5_3.json"
      },
      "9.5.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 114,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_5_4.json"
      },
      "9.5.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 79,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_5_5.json"
      },
      "9.5.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 64,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_5_6.json"
      },
      "9.6.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 593,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_6_1.json"
      },
      "9.6.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 322,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_6_2.json"
      },
      "9.6.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 199,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_6_3.json"
      },
      "9.6.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 128,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_6_4.json"
      },
      "9.6.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 90,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_6_5.json"
      },
      "9.6.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 77,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_6_6.json"
      },
      "9.7.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 86,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_7_1.json"
      },
      "9.7.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 90,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_7_2.json"
      },
      "9.7.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 99,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_7_3.json"
      },
      "9.7.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 124,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_7_4.json"
      },
      "9.7.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 167,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_7_5.json"
      },
      "9.7.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 500,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_7_6.json"
      },
      "9.8.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 83,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_8_1.json"
      },
      "9.8.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 97,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_8_2.json"
      },
      "9.8.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 136,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_8_3.json"
      },
      "9.8.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 123,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_8_4.json"
      },
      "9.8.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 175,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_8_5.json"
      },
      "9.8.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 495,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_8_6.json"
      }
   }
}