expected-results.json

{
   "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": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_1_6.json"
      },
      "1.1.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "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": 2,
         "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": 31,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_2_6.json"
      },
      "1.2.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 26,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_2_7.json"
      },
      "1.2.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 36,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_1_2_8.json"
      },
      "10.1.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_10_1_1.json"
      },
      "12.1.1": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_1.json"
      },
      "12.1.10": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_10.json"
      },
      "12.1.11": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_11.json"
      },
      "12.1.12": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_12.json"
      },
      "12.1.13": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_13.json"
      },
      "12.1.14": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_14.json"
      },
      "12.1.15": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_15.json"
      },
      "12.1.16": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_16.json"
      },
      "12.1.17": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_17.json"
      },
      "12.1.18": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_18.json"
      },
      "12.1.2": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_2.json"
      },
      "12.1.3": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_3.json"
      },
      "12.1.4": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_4.json"
      },
      "12.1.5": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_5.json"
      },
      "12.1.6": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_6.json"
      },
      "12.1.7": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_7.json"
      },
      "12.1.8": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_8.json"
      },
      "12.1.9": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_1_9.json"
      },
      "12.2.1": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_1.json"
      },
      "12.2.10": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_10.json"
      },
      "12.2.11": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_11.json"
      },
      "12.2.12": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_12.json"
      },
      "12.2.13": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_13.json"
      },
      "12.2.14": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_14.json"
      },
      "12.2.15": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_15.json"
      },
      "12.2.16": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_16.json"
      },
      "12.2.17": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_17.json"
      },
      "12.2.18": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_18.json"
      },
      "12.2.2": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_2.json"
      },
      "12.2.3": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_3.json"
      },
      "12.2.4": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_4.json"
      },
      "12.2.5": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_5.json"
      },
      "12.2.6": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_6.json"
      },
      "12.2.7": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_7.json"
      },
      "12.2.8": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_8.json"
      },
      "12.2.9": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_2_9.json"
      },
      "12.3.1": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_1.json"
      },
      "12.3.10": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_10.json"
      },
      "12.3.11": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_11.json"
      },
      "12.3.12": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_12.json"
      },
      "12.3.13": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_13.json"
      },
      "12.3.14": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_14.json"
      },
      "12.3.15": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_15.json"
      },
      "12.3.16": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_16.json"
      },
      "12.3.17": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_17.json"
      },
      "12.3.18": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_18.json"
      },
      "12.3.2": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_2.json"
      },
      "12.3.3": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_3.json"
      },
      "12.3.4": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_4.json"
      },
      "12.3.5": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_5.json"
      },
      "12.3.6": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_6.json"
      },
      "12.3.7": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_7.json"
      },
      "12.3.8": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_8.json"
      },
      "12.3.9": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_3_9.json"
      },
      "12.4.1": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_1.json"
      },
      "12.4.10": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_10.json"
      },
      "12.4.11": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_11.json"
      },
      "12.4.12": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_12.json"
      },
      "12.4.13": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_13.json"
      },
      "12.4.14": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_14.json"
      },
      "12.4.15": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_15.json"
      },
      "12.4.16": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_16.json"
      },
      "12.4.17": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_17.json"
      },
      "12.4.18": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_18.json"
      },
      "12.4.2": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_2.json"
      },
      "12.4.3": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_3.json"
      },
      "12.4.4": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_4.json"
      },
      "12.4.5": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_5.json"
      },
      "12.4.6": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_6.json"
      },
      "12.4.7": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_7.json"
      },
      "12.4.8": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_8.json"
      },
      "12.4.9": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_4_9.json"
      },
      "12.5.1": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_1.json"
      },
      "12.5.10": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_10.json"
      },
      "12.5.11": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_11.json"
      },
      "12.5.12": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_12.json"
      },
      "12.5.13": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_13.json"
      },
      "12.5.14": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_14.json"
      },
      "12.5.15": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_15.json"
      },
      "12.5.16": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_16.json"
      },
      "12.5.17": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_17.json"
      },
      "12.5.18": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_18.json"
      },
      "12.5.2": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_2.json"
      },
      "12.5.3": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_3.json"
      },
      "12.5.4": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_4.json"
      },
      "12.5.5": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_5.json"
      },
      "12.5.6": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_6.json"
      },
      "12.5.7": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_7.json"
      },
      "12.5.8": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_8.json"
      },
      "12.5.9": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_12_5_9.json"
      },
      "13.1.1": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_1.json"
      },
      "13.1.10": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_10.json"
      },
      "13.1.11": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_11.json"
      },
      "13.1.12": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_12.json"
      },
      "13.1.13": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_13.json"
      },
      "13.1.14": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_14.json"
      },
      "13.1.15": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_15.json"
      },
      "13.1.16": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_16.json"
      },
      "13.1.17": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_17.json"
      },
      "13.1.18": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_18.json"
      },
      "13.1.2": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_2.json"
      },
      "13.1.3": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_3.json"
      },
      "13.1.4": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_4.json"
      },
      "13.1.5": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_5.json"
      },
      "13.1.6": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_6.json"
      },
      "13.1.7": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_7.json"
      },
      "13.1.8": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_8.json"
      },
      "13.1.9": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_1_9.json"
      },
      "13.2.1": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_1.json"
      },
      "13.2.10": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_10.json"
      },
      "13.2.11": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_11.json"
      },
      "13.2.12": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_12.json"
      },
      "13.2.13": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_13.json"
      },
      "13.2.14": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_14.json"
      },
      "13.2.15": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_15.json"
      },
      "13.2.16": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 4,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_16.json"
      },
      "13.2.17": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_17.json"
      },
      "13.2.18": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_18.json"
      },
      "13.2.2": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_2.json"
      },
      "13.2.3": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_3.json"
      },
      "13.2.4": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_4.json"
      },
      "13.2.5": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_5.json"
      },
      "13.2.6": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_6.json"
      },
      "13.2.7": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_7.json"
      },
      "13.2.8": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_8.json"
      },
      "13.2.9": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_2_9.json"
      },
      "13.3.1": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_1.json"
      },
      "13.3.10": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_10.json"
      },
      "13.3.11": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_11.json"
      },
      "13.3.12": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_12.json"
      },
      "13.3.13": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_13.json"
      },
      "13.3.14": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_14.json"
      },
      "13.3.15": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_15.json"
      },
      "13.3.16": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_16.json"
      },
      "13.3.17": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_17.json"
      },
      "13.3.18": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_18.json"
      },
      "13.3.2": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_2.json"
      },
      "13.3.3": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_3.json"
      },
      "13.3.4": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_4.json"
      },
      "13.3.5": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_5.json"
      },
      "13.3.6": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_6.json"
      },
      "13.3.7": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_7.json"
      },
      "13.3.8": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_8.json"
      },
      "13.3.9": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_3_9.json"
      },
      "13.4.1": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_1.json"
      },
      "13.4.10": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_10.json"
      },
      "13.4.11": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_11.json"
      },
      "13.4.12": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_12.json"
      },
      "13.4.13": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_13.json"
      },
      "13.4.14": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_14.json"
      },
      "13.4.15": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_15.json"
      },
      "13.4.16": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_16.json"
      },
      "13.4.17": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_17.json"
      },
      "13.4.18": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_18.json"
      },
      "13.4.2": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_2.json"
      },
      "13.4.3": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_3.json"
      },
      "13.4.4": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_4.json"
      },
      "13.4.5": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_5.json"
      },
      "13.4.6": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_6.json"
      },
      "13.4.7": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_7.json"
      },
      "13.4.8": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_8.json"
      },
      "13.4.9": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_4_9.json"
      },
      "13.5.1": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_1.json"
      },
      "13.5.10": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_10.json"
      },
      "13.5.11": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_11.json"
      },
      "13.5.12": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_12.json"
      },
      "13.5.13": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_13.json"
      },
      "13.5.14": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_14.json"
      },
      "13.5.15": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_15.json"
      },
      "13.5.16": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_16.json"
      },
      "13.5.17": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_17.json"
      },
      "13.5.18": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_18.json"
      },
      "13.5.2": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_2.json"
      },
      "13.5.3": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_3.json"
      },
      "13.5.4": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_4.json"
      },
      "13.5.5": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_5.json"
      },
      "13.5.6": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_6.json"
      },
      "13.5.7": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_7.json"
      },
      "13.5.8": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_8.json"
      },
      "13.5.9": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_5_9.json"
      },
      "13.6.1": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_1.json"
      },
      "13.6.10": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_10.json"
      },
      "13.6.11": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_11.json"
      },
      "13.6.12": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_12.json"
      },
      "13.6.13": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_13.json"
      },
      "13.6.14": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_14.json"
      },
      "13.6.15": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_15.json"
      },
      "13.6.16": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_16.json"
      },
      "13.6.17": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_17.json"
      },
      "13.6.18": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_18.json"
      },
      "13.6.2": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_2.json"
      },
      "13.6.3": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_3.json"
      },
      "13.6.4": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_4.json"
      },
      "13.6.5": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_5.json"
      },
      "13.6.6": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_6.json"
      },
      "13.6.7": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_7.json"
      },
      "13.6.8": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_8.json"
      },
      "13.6.9": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_6_9.json"
      },
      "13.7.1": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_1.json"
      },
      "13.7.10": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_10.json"
      },
      "13.7.11": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_11.json"
      },
      "13.7.12": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_12.json"
      },
      "13.7.13": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_13.json"
      },
      "13.7.14": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_14.json"
      },
      "13.7.15": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_15.json"
      },
      "13.7.16": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_16.json"
      },
      "13.7.17": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_17.json"
      },
      "13.7.18": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_18.json"
      },
      "13.7.2": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_2.json"
      },
      "13.7.3": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_3.json"
      },
      "13.7.4": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_4.json"
      },
      "13.7.5": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_5.json"
      },
      "13.7.6": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_6.json"
      },
      "13.7.7": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_7.json"
      },
      "13.7.8": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_8.json"
      },
      "13.7.9": {
         "behavior": "UNIMPLEMENTED",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_13_7_9.json"
      },
      "2.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_1.json"
      },
      "2.10": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_10.json"
      },
      "2.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 10,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_11.json"
      },
      "2.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_2.json"
      },
      "2.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_3.json"
      },
      "2.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_4.json"
      },
      "2.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_2_5.json"
      },
      "2.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 9,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_6.json"
      },
      "2.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_2_7.json"
      },
      "2.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "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": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_3_2.json"
      },
      "3.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_3_3.json"
      },
      "3.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_3_4.json"
      },
      "3.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_3_5.json"
      },
      "3.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_3_6.json"
      },
      "3.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "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": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_1_3.json"
      },
      "4.1.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_1_4.json"
      },
      "4.1.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "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": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_2_3.json"
      },
      "4.2.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_4_2_4.json"
      },
      "4.2.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "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": 2,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_11.json"
      },
      "5.12": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_12.json"
      },
      "5.13": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "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": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_5_16.json"
      },
      "5.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "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": 1005,
         "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": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_5_5.json"
      },
      "5.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_5_6.json"
      },
      "5.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_5_7.json"
      },
      "5.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 17,
         "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": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_1_1.json"
      },
      "6.1.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_1_2.json"
      },
      "6.1.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "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": 1,
         "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": 0,
         "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": 1,
         "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": 0,
         "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": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_14_9.json"
      },
      "6.15.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_15_1.json"
      },
      "6.16.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_16_1.json"
      },
      "6.16.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_16_2.json"
      },
      "6.16.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_16_3.json"
      },
      "6.17.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_17_1.json"
      },
      "6.17.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_17_2.json"
      },
      "6.17.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_17_3.json"
      },
      "6.17.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "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": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_18_2.json"
      },
      "6.18.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "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": 2,
         "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": 2,
         "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": 0,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_20_5.json"
      },
      "6.20.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "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": 0,
         "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": 1,
         "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": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_16.json"
      },
      "6.22.17": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "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": 2,
         "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": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_24.json"
      },
      "6.22.25": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 3,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_25.json"
      },
      "6.22.26": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "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": 3,
         "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": 4,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_22_4.json"
      },
      "6.22.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "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": 1,
         "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": 2,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_3_2.json"
      },
      "6.4.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1001,
         "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": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_5_1.json"
      },
      "6.5.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_5_2.json"
      },
      "6.5.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_5_3.json"
      },
      "6.5.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_5_4.json"
      },
      "6.5.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "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": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_6_10.json"
      },
      "6.6.11": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_6_11.json"
      },
      "6.6.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "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": 2,
         "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": 2,
         "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": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_6_6_9.json"
      },
      "6.7.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "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": 1,
         "remoteCloseCode": null,
         "reportfile": "tungstenite_case_6_8_1.json"
      },
      "6.8.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "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": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_1_2.json"
      },
      "7.1.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "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": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_1_5.json"
      },
      "7.1.6": {
         "behavior": "INFORMATIONAL",
         "behaviorClose": "INFORMATIONAL",
         "duration": 16,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_1_6.json"
      },
      "7.13.1": {
         "behavior": "INFORMATIONAL",
         "behaviorClose": "INFORMATIONAL",
         "duration": 1,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_13_1.json"
      },
      "7.13.2": {
         "behavior": "INFORMATIONAL",
         "behaviorClose": "INFORMATIONAL",
         "duration": 2,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_13_2.json"
      },
      "7.3.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "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": 1,
         "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": 1,
         "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": 1,
         "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": 1,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_4.json"
      },
      "7.7.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_5.json"
      },
      "7.7.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_7_7_6.json"
      },
      "7.7.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 0,
         "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": 1,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_2.json"
      },
      "7.9.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_3.json"
      },
      "7.9.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "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": 1,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_8.json"
      },
      "7.9.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 1,
         "remoteCloseCode": 1002,
         "reportfile": "tungstenite_case_7_9_9.json"
      },
      "9.1.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 5,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_1_1.json"
      },
      "9.1.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 6,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_1_2.json"
      },
      "9.1.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 22,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_1_3.json"
      },
      "9.1.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 110,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_1_4.json"
      },
      "9.1.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 205,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_1_5.json"
      },
      "9.1.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 320,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_1_6.json"
      },
      "9.2.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 2,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_2_1.json"
      },
      "9.2.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 6,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_2_2.json"
      },
      "9.2.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 16,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_2_3.json"
      },
      "9.2.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 123,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_2_4.json"
      },
      "9.2.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 169,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_2_5.json"
      },
      "9.2.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 360,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_2_6.json"
      },
      "9.3.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 638,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_1.json"
      },
      "9.3.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 209,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_2.json"
      },
      "9.3.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 93,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_3.json"
      },
      "9.3.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 64,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_4.json"
      },
      "9.3.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 43,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_5.json"
      },
      "9.3.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 50,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_6.json"
      },
      "9.3.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 45,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_7.json"
      },
      "9.3.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 51,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_8.json"
      },
      "9.3.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 57,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_3_9.json"
      },
      "9.4.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 608,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_1.json"
      },
      "9.4.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 192,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_2.json"
      },
      "9.4.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 75,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_3.json"
      },
      "9.4.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 44,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_4.json"
      },
      "9.4.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 29,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_5.json"
      },
      "9.4.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 39,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_6.json"
      },
      "9.4.7": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 35,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_7.json"
      },
      "9.4.8": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 24,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_8.json"
      },
      "9.4.9": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 29,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_4_9.json"
      },
      "9.5.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 795,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_5_1.json"
      },
      "9.5.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 425,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_5_2.json"
      },
      "9.5.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 228,
         "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": 84,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_5_5.json"
      },
      "9.5.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 51,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_5_6.json"
      },
      "9.6.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 799,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_6_1.json"
      },
      "9.6.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 429,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_6_2.json"
      },
      "9.6.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 214,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_6_3.json"
      },
      "9.6.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 127,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_6_4.json"
      },
      "9.6.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 80,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_6_5.json"
      },
      "9.6.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 57,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_6_6.json"
      },
      "9.7.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 127,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_7_1.json"
      },
      "9.7.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 121,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_7_2.json"
      },
      "9.7.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 124,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_7_3.json"
      },
      "9.7.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 146,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_7_4.json"
      },
      "9.7.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 196,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_7_5.json"
      },
      "9.7.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 351,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_7_6.json"
      },
      "9.8.1": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 95,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_8_1.json"
      },
      "9.8.2": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 119,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_8_2.json"
      },
      "9.8.3": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 115,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_8_3.json"
      },
      "9.8.4": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 134,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_8_4.json"
      },
      "9.8.5": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 187,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_8_5.json"
      },
      "9.8.6": {
         "behavior": "OK",
         "behaviorClose": "OK",
         "duration": 328,
         "remoteCloseCode": 1000,
         "reportfile": "tungstenite_case_9_8_6.json"
      }
   }
}