haal-models-0.1.0.0: src/Haal/Models/DTLS/ScandiumV2V0V0EcdheCertNreq.hs
-- Generated by haal-gen. Do not edit manually.
module Haal.Models.DTLS.ScandiumV2V0V0EcdheCertNreq
( ScandiumV2V0V0EcdheCertNreqInput (..)
, ScandiumV2V0V0EcdheCertNreqOutput (..)
, scandiumV2V0V0EcdheCertNreq
) where
import qualified Data.Set as Set
import Haal.Automaton.MealyAutomaton (MealyAutomaton, mkMealyAutomaton)
data ScandiumV2V0V0EcdheCertNreqInput
= In_ECDH_CLIENT_HELLO
| In_ECDH_CLIENT_KEY_EXCHANGE
| In_CHANGE_CIPHER_SPEC
| In_FINISHED
| In_APPLICATION
| In_CERTIFICATE
| In_EMPTY_CERTIFICATE
| In_CERTIFICATE_VERIFY
| In_Alert_WARNING_CLOSE_NOTIFY
| In_Alert_FATAL_UNEXPECTED_MESSAGE
deriving (Show, Eq, Ord, Enum, Bounded)
data ScandiumV2V0V0EcdheCertNreqOutput
= Out_HELLO_VERIFY_REQUEST
| Out_TIMEOUT
| Out_SERVER_HELLO_CERTIFICATE_ECDHE_SERVER_KEY_EXCHANGE_CERTIFICATE_REQUEST_SERVER_HELLO_DONE
| Out_Alert_FATAL_INTERNAL_ERROR
| Out_Alert_WARNING_CLOSE_NOTIFY
| Out_SERVER_HELLO_DONE
| Out_CERTIFICATE_REQUEST_SERVER_HELLO_DONE
| Out_ECDHE_SERVER_KEY_EXCHANGE_CERTIFICATE_REQUEST_SERVER_HELLO_DONE
| Out_CERTIFICATE_ECDHE_SERVER_KEY_EXCHANGE_CERTIFICATE_REQUEST_SERVER_HELLO_DONE
| Out_CHANGE_CIPHER_SPEC_FINISHED
| Out_Alert_WARNING_NO_RENEGOTIATION
| Out_APPLICATION
| Out_Alert_FATAL_HANDSHAKE_FAILURE
| Out_CHANGE_CIPHER_SPEC_FINISHED_APPLICATION
deriving (Show, Eq, Ord, Enum, Bounded)
scandiumV2V0V0EcdheCertNreq :: MealyAutomaton Int ScandiumV2V0V0EcdheCertNreqInput ScandiumV2V0V0EcdheCertNreqOutput
scandiumV2V0V0EcdheCertNreq = mkMealyAutomaton delta lambda (Set.fromList [0..44]) 0
where
delta 0 In_ECDH_CLIENT_HELLO = 1
delta 0 In_ECDH_CLIENT_KEY_EXCHANGE = 2
delta 0 In_CHANGE_CIPHER_SPEC = 2
delta 0 In_FINISHED = 2
delta 0 In_APPLICATION = 0
delta 0 In_CERTIFICATE = 2
delta 0 In_EMPTY_CERTIFICATE = 2
delta 0 In_CERTIFICATE_VERIFY = 2
delta 0 In_Alert_WARNING_CLOSE_NOTIFY = 0
delta 0 In_Alert_FATAL_UNEXPECTED_MESSAGE = 0
delta 2 In_ECDH_CLIENT_HELLO = 2
delta 2 In_ECDH_CLIENT_KEY_EXCHANGE = 2
delta 2 In_CHANGE_CIPHER_SPEC = 2
delta 2 In_FINISHED = 2
delta 2 In_APPLICATION = 2
delta 2 In_CERTIFICATE = 2
delta 2 In_EMPTY_CERTIFICATE = 2
delta 2 In_CERTIFICATE_VERIFY = 2
delta 2 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 2 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 1 In_ECDH_CLIENT_HELLO = 3
delta 1 In_ECDH_CLIENT_KEY_EXCHANGE = 4
delta 1 In_CHANGE_CIPHER_SPEC = 2
delta 1 In_FINISHED = 4
delta 1 In_APPLICATION = 1
delta 1 In_CERTIFICATE = 4
delta 1 In_EMPTY_CERTIFICATE = 4
delta 1 In_CERTIFICATE_VERIFY = 4
delta 1 In_Alert_WARNING_CLOSE_NOTIFY = 1
delta 1 In_Alert_FATAL_UNEXPECTED_MESSAGE = 1
delta 4 In_ECDH_CLIENT_HELLO = 5
delta 4 In_ECDH_CLIENT_KEY_EXCHANGE = 4
delta 4 In_CHANGE_CIPHER_SPEC = 2
delta 4 In_FINISHED = 4
delta 4 In_APPLICATION = 4
delta 4 In_CERTIFICATE = 4
delta 4 In_EMPTY_CERTIFICATE = 4
delta 4 In_CERTIFICATE_VERIFY = 4
delta 4 In_Alert_WARNING_CLOSE_NOTIFY = 4
delta 4 In_Alert_FATAL_UNEXPECTED_MESSAGE = 4
delta 5 In_ECDH_CLIENT_HELLO = 6
delta 5 In_ECDH_CLIENT_KEY_EXCHANGE = 4
delta 5 In_CHANGE_CIPHER_SPEC = 2
delta 5 In_FINISHED = 4
delta 5 In_APPLICATION = 5
delta 5 In_CERTIFICATE = 7
delta 5 In_EMPTY_CERTIFICATE = 8
delta 5 In_CERTIFICATE_VERIFY = 4
delta 5 In_Alert_WARNING_CLOSE_NOTIFY = 4
delta 5 In_Alert_FATAL_UNEXPECTED_MESSAGE = 4
delta 3 In_ECDH_CLIENT_HELLO = 9
delta 3 In_ECDH_CLIENT_KEY_EXCHANGE = 10
delta 3 In_CHANGE_CIPHER_SPEC = 2
delta 3 In_FINISHED = 10
delta 3 In_APPLICATION = 3
delta 3 In_CERTIFICATE = 11
delta 3 In_EMPTY_CERTIFICATE = 12
delta 3 In_CERTIFICATE_VERIFY = 10
delta 3 In_Alert_WARNING_CLOSE_NOTIFY = 13
delta 3 In_Alert_FATAL_UNEXPECTED_MESSAGE = 13
delta 13 In_ECDH_CLIENT_HELLO = 14
delta 13 In_ECDH_CLIENT_KEY_EXCHANGE = 10
delta 13 In_CHANGE_CIPHER_SPEC = 2
delta 13 In_FINISHED = 10
delta 13 In_APPLICATION = 13
delta 13 In_CERTIFICATE = 10
delta 13 In_EMPTY_CERTIFICATE = 10
delta 13 In_CERTIFICATE_VERIFY = 10
delta 13 In_Alert_WARNING_CLOSE_NOTIFY = 13
delta 13 In_Alert_FATAL_UNEXPECTED_MESSAGE = 13
delta 10 In_ECDH_CLIENT_HELLO = 14
delta 10 In_ECDH_CLIENT_KEY_EXCHANGE = 15
delta 10 In_CHANGE_CIPHER_SPEC = 2
delta 10 In_FINISHED = 15
delta 10 In_APPLICATION = 10
delta 10 In_CERTIFICATE = 15
delta 10 In_EMPTY_CERTIFICATE = 15
delta 10 In_CERTIFICATE_VERIFY = 15
delta 10 In_Alert_WARNING_CLOSE_NOTIFY = 10
delta 10 In_Alert_FATAL_UNEXPECTED_MESSAGE = 10
delta 15 In_ECDH_CLIENT_HELLO = 14
delta 15 In_ECDH_CLIENT_KEY_EXCHANGE = 16
delta 15 In_CHANGE_CIPHER_SPEC = 2
delta 15 In_FINISHED = 16
delta 15 In_APPLICATION = 15
delta 15 In_CERTIFICATE = 16
delta 15 In_EMPTY_CERTIFICATE = 16
delta 15 In_CERTIFICATE_VERIFY = 16
delta 15 In_Alert_WARNING_CLOSE_NOTIFY = 15
delta 15 In_Alert_FATAL_UNEXPECTED_MESSAGE = 15
delta 16 In_ECDH_CLIENT_HELLO = 14
delta 16 In_ECDH_CLIENT_KEY_EXCHANGE = 1
delta 16 In_CHANGE_CIPHER_SPEC = 2
delta 16 In_FINISHED = 1
delta 16 In_APPLICATION = 16
delta 16 In_CERTIFICATE = 1
delta 16 In_EMPTY_CERTIFICATE = 1
delta 16 In_CERTIFICATE_VERIFY = 1
delta 16 In_Alert_WARNING_CLOSE_NOTIFY = 16
delta 16 In_Alert_FATAL_UNEXPECTED_MESSAGE = 16
delta 7 In_ECDH_CLIENT_HELLO = 6
delta 7 In_ECDH_CLIENT_KEY_EXCHANGE = 17
delta 7 In_CHANGE_CIPHER_SPEC = 2
delta 7 In_FINISHED = 4
delta 7 In_APPLICATION = 7
delta 7 In_CERTIFICATE = 4
delta 7 In_EMPTY_CERTIFICATE = 4
delta 7 In_CERTIFICATE_VERIFY = 4
delta 7 In_Alert_WARNING_CLOSE_NOTIFY = 4
delta 7 In_Alert_FATAL_UNEXPECTED_MESSAGE = 4
delta 6 In_ECDH_CLIENT_HELLO = 6
delta 6 In_ECDH_CLIENT_KEY_EXCHANGE = 6
delta 6 In_CHANGE_CIPHER_SPEC = 2
delta 6 In_FINISHED = 6
delta 6 In_APPLICATION = 6
delta 6 In_CERTIFICATE = 6
delta 6 In_EMPTY_CERTIFICATE = 6
delta 6 In_CERTIFICATE_VERIFY = 6
delta 6 In_Alert_WARNING_CLOSE_NOTIFY = 4
delta 6 In_Alert_FATAL_UNEXPECTED_MESSAGE = 4
delta 9 In_ECDH_CLIENT_HELLO = 18
delta 9 In_ECDH_CLIENT_KEY_EXCHANGE = 18
delta 9 In_CHANGE_CIPHER_SPEC = 2
delta 9 In_FINISHED = 18
delta 9 In_APPLICATION = 9
delta 9 In_CERTIFICATE = 18
delta 9 In_EMPTY_CERTIFICATE = 18
delta 9 In_CERTIFICATE_VERIFY = 18
delta 9 In_Alert_WARNING_CLOSE_NOTIFY = 10
delta 9 In_Alert_FATAL_UNEXPECTED_MESSAGE = 10
delta 18 In_ECDH_CLIENT_HELLO = 19
delta 18 In_ECDH_CLIENT_KEY_EXCHANGE = 19
delta 18 In_CHANGE_CIPHER_SPEC = 2
delta 18 In_FINISHED = 19
delta 18 In_APPLICATION = 18
delta 18 In_CERTIFICATE = 19
delta 18 In_EMPTY_CERTIFICATE = 19
delta 18 In_CERTIFICATE_VERIFY = 19
delta 18 In_Alert_WARNING_CLOSE_NOTIFY = 15
delta 18 In_Alert_FATAL_UNEXPECTED_MESSAGE = 15
delta 19 In_ECDH_CLIENT_HELLO = 20
delta 19 In_ECDH_CLIENT_KEY_EXCHANGE = 20
delta 19 In_CHANGE_CIPHER_SPEC = 2
delta 19 In_FINISHED = 20
delta 19 In_APPLICATION = 19
delta 19 In_CERTIFICATE = 20
delta 19 In_EMPTY_CERTIFICATE = 20
delta 19 In_CERTIFICATE_VERIFY = 20
delta 19 In_Alert_WARNING_CLOSE_NOTIFY = 16
delta 19 In_Alert_FATAL_UNEXPECTED_MESSAGE = 16
delta 20 In_ECDH_CLIENT_HELLO = 6
delta 20 In_ECDH_CLIENT_KEY_EXCHANGE = 6
delta 20 In_CHANGE_CIPHER_SPEC = 2
delta 20 In_FINISHED = 6
delta 20 In_APPLICATION = 20
delta 20 In_CERTIFICATE = 6
delta 20 In_EMPTY_CERTIFICATE = 6
delta 20 In_CERTIFICATE_VERIFY = 6
delta 20 In_Alert_WARNING_CLOSE_NOTIFY = 1
delta 20 In_Alert_FATAL_UNEXPECTED_MESSAGE = 1
delta 11 In_ECDH_CLIENT_HELLO = 18
delta 11 In_ECDH_CLIENT_KEY_EXCHANGE = 21
delta 11 In_CHANGE_CIPHER_SPEC = 2
delta 11 In_FINISHED = 15
delta 11 In_APPLICATION = 11
delta 11 In_CERTIFICATE = 15
delta 11 In_EMPTY_CERTIFICATE = 15
delta 11 In_CERTIFICATE_VERIFY = 15
delta 11 In_Alert_WARNING_CLOSE_NOTIFY = 10
delta 11 In_Alert_FATAL_UNEXPECTED_MESSAGE = 10
delta 21 In_ECDH_CLIENT_HELLO = 22
delta 21 In_ECDH_CLIENT_KEY_EXCHANGE = 16
delta 21 In_CHANGE_CIPHER_SPEC = 2
delta 21 In_FINISHED = 16
delta 21 In_APPLICATION = 21
delta 21 In_CERTIFICATE = 16
delta 21 In_EMPTY_CERTIFICATE = 16
delta 21 In_CERTIFICATE_VERIFY = 23
delta 21 In_Alert_WARNING_CLOSE_NOTIFY = 15
delta 21 In_Alert_FATAL_UNEXPECTED_MESSAGE = 15
delta 23 In_ECDH_CLIENT_HELLO = 24
delta 23 In_ECDH_CLIENT_KEY_EXCHANGE = 1
delta 23 In_CHANGE_CIPHER_SPEC = 25
delta 23 In_FINISHED = 1
delta 23 In_APPLICATION = 23
delta 23 In_CERTIFICATE = 1
delta 23 In_EMPTY_CERTIFICATE = 1
delta 23 In_CERTIFICATE_VERIFY = 1
delta 23 In_Alert_WARNING_CLOSE_NOTIFY = 16
delta 23 In_Alert_FATAL_UNEXPECTED_MESSAGE = 16
delta 25 In_ECDH_CLIENT_HELLO = 2
delta 25 In_ECDH_CLIENT_KEY_EXCHANGE = 2
delta 25 In_CHANGE_CIPHER_SPEC = 2
delta 25 In_FINISHED = 26
delta 25 In_APPLICATION = 27
delta 25 In_CERTIFICATE = 2
delta 25 In_EMPTY_CERTIFICATE = 2
delta 25 In_CERTIFICATE_VERIFY = 2
delta 25 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 25 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 26 In_ECDH_CLIENT_HELLO = 26
delta 26 In_ECDH_CLIENT_KEY_EXCHANGE = 26
delta 26 In_CHANGE_CIPHER_SPEC = 2
delta 26 In_FINISHED = 26
delta 26 In_APPLICATION = 28
delta 26 In_CERTIFICATE = 26
delta 26 In_EMPTY_CERTIFICATE = 26
delta 26 In_CERTIFICATE_VERIFY = 26
delta 26 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 26 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 12 In_ECDH_CLIENT_HELLO = 18
delta 12 In_ECDH_CLIENT_KEY_EXCHANGE = 29
delta 12 In_CHANGE_CIPHER_SPEC = 2
delta 12 In_FINISHED = 15
delta 12 In_APPLICATION = 12
delta 12 In_CERTIFICATE = 15
delta 12 In_EMPTY_CERTIFICATE = 15
delta 12 In_CERTIFICATE_VERIFY = 15
delta 12 In_Alert_WARNING_CLOSE_NOTIFY = 10
delta 12 In_Alert_FATAL_UNEXPECTED_MESSAGE = 10
delta 29 In_ECDH_CLIENT_HELLO = 30
delta 29 In_ECDH_CLIENT_KEY_EXCHANGE = 16
delta 29 In_CHANGE_CIPHER_SPEC = 25
delta 29 In_FINISHED = 16
delta 29 In_APPLICATION = 29
delta 29 In_CERTIFICATE = 16
delta 29 In_EMPTY_CERTIFICATE = 16
delta 29 In_CERTIFICATE_VERIFY = 16
delta 29 In_Alert_WARNING_CLOSE_NOTIFY = 15
delta 29 In_Alert_FATAL_UNEXPECTED_MESSAGE = 15
delta 17 In_ECDH_CLIENT_HELLO = 31
delta 17 In_ECDH_CLIENT_KEY_EXCHANGE = 4
delta 17 In_CHANGE_CIPHER_SPEC = 2
delta 17 In_FINISHED = 4
delta 17 In_APPLICATION = 17
delta 17 In_CERTIFICATE = 4
delta 17 In_EMPTY_CERTIFICATE = 4
delta 17 In_CERTIFICATE_VERIFY = 4
delta 17 In_Alert_WARNING_CLOSE_NOTIFY = 4
delta 17 In_Alert_FATAL_UNEXPECTED_MESSAGE = 4
delta 28 In_ECDH_CLIENT_HELLO = 28
delta 28 In_ECDH_CLIENT_KEY_EXCHANGE = 28
delta 28 In_CHANGE_CIPHER_SPEC = 2
delta 28 In_FINISHED = 28
delta 28 In_APPLICATION = 28
delta 28 In_CERTIFICATE = 28
delta 28 In_EMPTY_CERTIFICATE = 28
delta 28 In_CERTIFICATE_VERIFY = 28
delta 28 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 28 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 24 In_ECDH_CLIENT_HELLO = 32
delta 24 In_ECDH_CLIENT_KEY_EXCHANGE = 33
delta 24 In_CHANGE_CIPHER_SPEC = 34
delta 24 In_FINISHED = 33
delta 24 In_APPLICATION = 24
delta 24 In_CERTIFICATE = 33
delta 24 In_EMPTY_CERTIFICATE = 33
delta 24 In_CERTIFICATE_VERIFY = 33
delta 24 In_Alert_WARNING_CLOSE_NOTIFY = 1
delta 24 In_Alert_FATAL_UNEXPECTED_MESSAGE = 1
delta 34 In_ECDH_CLIENT_HELLO = 2
delta 34 In_ECDH_CLIENT_KEY_EXCHANGE = 34
delta 34 In_CHANGE_CIPHER_SPEC = 2
delta 34 In_FINISHED = 34
delta 34 In_APPLICATION = 34
delta 34 In_CERTIFICATE = 34
delta 34 In_EMPTY_CERTIFICATE = 34
delta 34 In_CERTIFICATE_VERIFY = 34
delta 34 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 34 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 8 In_ECDH_CLIENT_HELLO = 6
delta 8 In_ECDH_CLIENT_KEY_EXCHANGE = 35
delta 8 In_CHANGE_CIPHER_SPEC = 2
delta 8 In_FINISHED = 4
delta 8 In_APPLICATION = 8
delta 8 In_CERTIFICATE = 4
delta 8 In_EMPTY_CERTIFICATE = 4
delta 8 In_CERTIFICATE_VERIFY = 4
delta 8 In_Alert_WARNING_CLOSE_NOTIFY = 4
delta 8 In_Alert_FATAL_UNEXPECTED_MESSAGE = 4
delta 22 In_ECDH_CLIENT_HELLO = 36
delta 22 In_ECDH_CLIENT_KEY_EXCHANGE = 36
delta 22 In_CHANGE_CIPHER_SPEC = 2
delta 22 In_FINISHED = 36
delta 22 In_APPLICATION = 22
delta 22 In_CERTIFICATE = 36
delta 22 In_EMPTY_CERTIFICATE = 36
delta 22 In_CERTIFICATE_VERIFY = 36
delta 22 In_Alert_WARNING_CLOSE_NOTIFY = 16
delta 22 In_Alert_FATAL_UNEXPECTED_MESSAGE = 16
delta 36 In_ECDH_CLIENT_HELLO = 31
delta 36 In_ECDH_CLIENT_KEY_EXCHANGE = 31
delta 36 In_CHANGE_CIPHER_SPEC = 2
delta 36 In_FINISHED = 31
delta 36 In_APPLICATION = 36
delta 36 In_CERTIFICATE = 31
delta 36 In_EMPTY_CERTIFICATE = 31
delta 36 In_CERTIFICATE_VERIFY = 31
delta 36 In_Alert_WARNING_CLOSE_NOTIFY = 1
delta 36 In_Alert_FATAL_UNEXPECTED_MESSAGE = 1
delta 31 In_ECDH_CLIENT_HELLO = 31
delta 31 In_ECDH_CLIENT_KEY_EXCHANGE = 31
delta 31 In_CHANGE_CIPHER_SPEC = 2
delta 31 In_FINISHED = 31
delta 31 In_APPLICATION = 31
delta 31 In_CERTIFICATE = 31
delta 31 In_EMPTY_CERTIFICATE = 31
delta 31 In_CERTIFICATE_VERIFY = 31
delta 31 In_Alert_WARNING_CLOSE_NOTIFY = 4
delta 31 In_Alert_FATAL_UNEXPECTED_MESSAGE = 4
delta 33 In_ECDH_CLIENT_HELLO = 33
delta 33 In_ECDH_CLIENT_KEY_EXCHANGE = 33
delta 33 In_CHANGE_CIPHER_SPEC = 2
delta 33 In_FINISHED = 33
delta 33 In_APPLICATION = 33
delta 33 In_CERTIFICATE = 33
delta 33 In_EMPTY_CERTIFICATE = 33
delta 33 In_CERTIFICATE_VERIFY = 33
delta 33 In_Alert_WARNING_CLOSE_NOTIFY = 4
delta 33 In_Alert_FATAL_UNEXPECTED_MESSAGE = 4
delta 35 In_ECDH_CLIENT_HELLO = 37
delta 35 In_ECDH_CLIENT_KEY_EXCHANGE = 4
delta 35 In_CHANGE_CIPHER_SPEC = 2
delta 35 In_FINISHED = 4
delta 35 In_APPLICATION = 35
delta 35 In_CERTIFICATE = 4
delta 35 In_EMPTY_CERTIFICATE = 4
delta 35 In_CERTIFICATE_VERIFY = 4
delta 35 In_Alert_WARNING_CLOSE_NOTIFY = 4
delta 35 In_Alert_FATAL_UNEXPECTED_MESSAGE = 4
delta 30 In_ECDH_CLIENT_HELLO = 24
delta 30 In_ECDH_CLIENT_KEY_EXCHANGE = 38
delta 30 In_CHANGE_CIPHER_SPEC = 34
delta 30 In_FINISHED = 38
delta 30 In_APPLICATION = 30
delta 30 In_CERTIFICATE = 38
delta 30 In_EMPTY_CERTIFICATE = 38
delta 30 In_CERTIFICATE_VERIFY = 38
delta 30 In_Alert_WARNING_CLOSE_NOTIFY = 16
delta 30 In_Alert_FATAL_UNEXPECTED_MESSAGE = 16
delta 38 In_ECDH_CLIENT_HELLO = 33
delta 38 In_ECDH_CLIENT_KEY_EXCHANGE = 33
delta 38 In_CHANGE_CIPHER_SPEC = 2
delta 38 In_FINISHED = 33
delta 38 In_APPLICATION = 38
delta 38 In_CERTIFICATE = 33
delta 38 In_EMPTY_CERTIFICATE = 33
delta 38 In_CERTIFICATE_VERIFY = 33
delta 38 In_Alert_WARNING_CLOSE_NOTIFY = 1
delta 38 In_Alert_FATAL_UNEXPECTED_MESSAGE = 1
delta 37 In_ECDH_CLIENT_HELLO = 37
delta 37 In_ECDH_CLIENT_KEY_EXCHANGE = 33
delta 37 In_CHANGE_CIPHER_SPEC = 2
delta 37 In_FINISHED = 33
delta 37 In_APPLICATION = 37
delta 37 In_CERTIFICATE = 33
delta 37 In_EMPTY_CERTIFICATE = 33
delta 37 In_CERTIFICATE_VERIFY = 33
delta 37 In_Alert_WARNING_CLOSE_NOTIFY = 4
delta 37 In_Alert_FATAL_UNEXPECTED_MESSAGE = 4
delta 14 In_ECDH_CLIENT_HELLO = 9
delta 14 In_ECDH_CLIENT_KEY_EXCHANGE = 10
delta 14 In_CHANGE_CIPHER_SPEC = 2
delta 14 In_FINISHED = 10
delta 14 In_APPLICATION = 14
delta 14 In_CERTIFICATE = 39
delta 14 In_EMPTY_CERTIFICATE = 40
delta 14 In_CERTIFICATE_VERIFY = 10
delta 14 In_Alert_WARNING_CLOSE_NOTIFY = 13
delta 14 In_Alert_FATAL_UNEXPECTED_MESSAGE = 13
delta 40 In_ECDH_CLIENT_HELLO = 18
delta 40 In_ECDH_CLIENT_KEY_EXCHANGE = 41
delta 40 In_CHANGE_CIPHER_SPEC = 2
delta 40 In_FINISHED = 15
delta 40 In_APPLICATION = 40
delta 40 In_CERTIFICATE = 15
delta 40 In_EMPTY_CERTIFICATE = 15
delta 40 In_CERTIFICATE_VERIFY = 15
delta 40 In_Alert_WARNING_CLOSE_NOTIFY = 10
delta 40 In_Alert_FATAL_UNEXPECTED_MESSAGE = 10
delta 41 In_ECDH_CLIENT_HELLO = 42
delta 41 In_ECDH_CLIENT_KEY_EXCHANGE = 16
delta 41 In_CHANGE_CIPHER_SPEC = 2
delta 41 In_FINISHED = 16
delta 41 In_APPLICATION = 41
delta 41 In_CERTIFICATE = 16
delta 41 In_EMPTY_CERTIFICATE = 16
delta 41 In_CERTIFICATE_VERIFY = 16
delta 41 In_Alert_WARNING_CLOSE_NOTIFY = 15
delta 41 In_Alert_FATAL_UNEXPECTED_MESSAGE = 15
delta 42 In_ECDH_CLIENT_HELLO = 43
delta 42 In_ECDH_CLIENT_KEY_EXCHANGE = 38
delta 42 In_CHANGE_CIPHER_SPEC = 2
delta 42 In_FINISHED = 38
delta 42 In_APPLICATION = 42
delta 42 In_CERTIFICATE = 38
delta 42 In_EMPTY_CERTIFICATE = 38
delta 42 In_CERTIFICATE_VERIFY = 38
delta 42 In_Alert_WARNING_CLOSE_NOTIFY = 16
delta 42 In_Alert_FATAL_UNEXPECTED_MESSAGE = 16
delta 32 In_ECDH_CLIENT_HELLO = 32
delta 32 In_ECDH_CLIENT_KEY_EXCHANGE = 33
delta 32 In_CHANGE_CIPHER_SPEC = 34
delta 32 In_FINISHED = 33
delta 32 In_APPLICATION = 32
delta 32 In_CERTIFICATE = 33
delta 32 In_EMPTY_CERTIFICATE = 33
delta 32 In_CERTIFICATE_VERIFY = 33
delta 32 In_Alert_WARNING_CLOSE_NOTIFY = 4
delta 32 In_Alert_FATAL_UNEXPECTED_MESSAGE = 4
delta 43 In_ECDH_CLIENT_HELLO = 37
delta 43 In_ECDH_CLIENT_KEY_EXCHANGE = 33
delta 43 In_CHANGE_CIPHER_SPEC = 2
delta 43 In_FINISHED = 33
delta 43 In_APPLICATION = 43
delta 43 In_CERTIFICATE = 33
delta 43 In_EMPTY_CERTIFICATE = 33
delta 43 In_CERTIFICATE_VERIFY = 33
delta 43 In_Alert_WARNING_CLOSE_NOTIFY = 1
delta 43 In_Alert_FATAL_UNEXPECTED_MESSAGE = 1
delta 27 In_ECDH_CLIENT_HELLO = 2
delta 27 In_ECDH_CLIENT_KEY_EXCHANGE = 2
delta 27 In_CHANGE_CIPHER_SPEC = 2
delta 27 In_FINISHED = 28
delta 27 In_APPLICATION = 27
delta 27 In_CERTIFICATE = 2
delta 27 In_EMPTY_CERTIFICATE = 2
delta 27 In_CERTIFICATE_VERIFY = 2
delta 27 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 27 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 39 In_ECDH_CLIENT_HELLO = 18
delta 39 In_ECDH_CLIENT_KEY_EXCHANGE = 44
delta 39 In_CHANGE_CIPHER_SPEC = 2
delta 39 In_FINISHED = 15
delta 39 In_APPLICATION = 39
delta 39 In_CERTIFICATE = 15
delta 39 In_EMPTY_CERTIFICATE = 15
delta 39 In_CERTIFICATE_VERIFY = 15
delta 39 In_Alert_WARNING_CLOSE_NOTIFY = 10
delta 39 In_Alert_FATAL_UNEXPECTED_MESSAGE = 10
delta 44 In_ECDH_CLIENT_HELLO = 22
delta 44 In_ECDH_CLIENT_KEY_EXCHANGE = 16
delta 44 In_CHANGE_CIPHER_SPEC = 2
delta 44 In_FINISHED = 16
delta 44 In_APPLICATION = 44
delta 44 In_CERTIFICATE = 16
delta 44 In_EMPTY_CERTIFICATE = 16
delta 44 In_CERTIFICATE_VERIFY = 16
delta 44 In_Alert_WARNING_CLOSE_NOTIFY = 15
delta 44 In_Alert_FATAL_UNEXPECTED_MESSAGE = 15
delta _ _ = error "haal-gen: undefined transition"
lambda 0 In_ECDH_CLIENT_HELLO = Out_HELLO_VERIFY_REQUEST
lambda 0 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 0 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 0 In_FINISHED = Out_TIMEOUT
lambda 0 In_APPLICATION = Out_TIMEOUT
lambda 0 In_CERTIFICATE = Out_TIMEOUT
lambda 0 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 0 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 0 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 0 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 2 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 2 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 2 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 2 In_FINISHED = Out_TIMEOUT
lambda 2 In_APPLICATION = Out_TIMEOUT
lambda 2 In_CERTIFICATE = Out_TIMEOUT
lambda 2 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 2 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 2 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 2 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 1 In_ECDH_CLIENT_HELLO = Out_SERVER_HELLO_CERTIFICATE_ECDHE_SERVER_KEY_EXCHANGE_CERTIFICATE_REQUEST_SERVER_HELLO_DONE
lambda 1 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 1 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 1 In_FINISHED = Out_TIMEOUT
lambda 1 In_APPLICATION = Out_TIMEOUT
lambda 1 In_CERTIFICATE = Out_TIMEOUT
lambda 1 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 1 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 1 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 1 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 4 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 4 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 4 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 4 In_FINISHED = Out_TIMEOUT
lambda 4 In_APPLICATION = Out_TIMEOUT
lambda 4 In_CERTIFICATE = Out_TIMEOUT
lambda 4 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 4 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 4 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 4 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 5 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 5 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 5 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 5 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 5 In_APPLICATION = Out_TIMEOUT
lambda 5 In_CERTIFICATE = Out_TIMEOUT
lambda 5 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 5 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 5 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 5 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 3 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 3 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 3 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 3 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 3 In_APPLICATION = Out_TIMEOUT
lambda 3 In_CERTIFICATE = Out_TIMEOUT
lambda 3 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 3 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 3 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 3 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 13 In_ECDH_CLIENT_HELLO = Out_SERVER_HELLO_DONE
lambda 13 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 13 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 13 In_FINISHED = Out_TIMEOUT
lambda 13 In_APPLICATION = Out_TIMEOUT
lambda 13 In_CERTIFICATE = Out_TIMEOUT
lambda 13 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 13 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 13 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 13 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 10 In_ECDH_CLIENT_HELLO = Out_CERTIFICATE_REQUEST_SERVER_HELLO_DONE
lambda 10 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 10 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 10 In_FINISHED = Out_TIMEOUT
lambda 10 In_APPLICATION = Out_TIMEOUT
lambda 10 In_CERTIFICATE = Out_TIMEOUT
lambda 10 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 10 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 10 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 10 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 15 In_ECDH_CLIENT_HELLO = Out_ECDHE_SERVER_KEY_EXCHANGE_CERTIFICATE_REQUEST_SERVER_HELLO_DONE
lambda 15 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 15 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 15 In_FINISHED = Out_TIMEOUT
lambda 15 In_APPLICATION = Out_TIMEOUT
lambda 15 In_CERTIFICATE = Out_TIMEOUT
lambda 15 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 15 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 15 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 15 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 16 In_ECDH_CLIENT_HELLO = Out_CERTIFICATE_ECDHE_SERVER_KEY_EXCHANGE_CERTIFICATE_REQUEST_SERVER_HELLO_DONE
lambda 16 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 16 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 16 In_FINISHED = Out_TIMEOUT
lambda 16 In_APPLICATION = Out_TIMEOUT
lambda 16 In_CERTIFICATE = Out_TIMEOUT
lambda 16 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 16 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 16 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 16 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 7 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 7 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 7 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 7 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 7 In_APPLICATION = Out_TIMEOUT
lambda 7 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 7 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 7 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 7 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 7 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 6 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 6 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 6 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 6 In_FINISHED = Out_TIMEOUT
lambda 6 In_APPLICATION = Out_TIMEOUT
lambda 6 In_CERTIFICATE = Out_TIMEOUT
lambda 6 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 6 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 6 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 6 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 9 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 9 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 9 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 9 In_FINISHED = Out_TIMEOUT
lambda 9 In_APPLICATION = Out_TIMEOUT
lambda 9 In_CERTIFICATE = Out_TIMEOUT
lambda 9 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 9 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 9 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 9 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 18 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 18 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 18 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 18 In_FINISHED = Out_TIMEOUT
lambda 18 In_APPLICATION = Out_TIMEOUT
lambda 18 In_CERTIFICATE = Out_TIMEOUT
lambda 18 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 18 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 18 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 18 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 19 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 19 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 19 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 19 In_FINISHED = Out_TIMEOUT
lambda 19 In_APPLICATION = Out_TIMEOUT
lambda 19 In_CERTIFICATE = Out_TIMEOUT
lambda 19 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 19 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 19 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 19 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 20 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 20 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 20 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 20 In_FINISHED = Out_TIMEOUT
lambda 20 In_APPLICATION = Out_TIMEOUT
lambda 20 In_CERTIFICATE = Out_TIMEOUT
lambda 20 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 20 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 20 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 20 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 11 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 11 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 11 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 11 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 11 In_APPLICATION = Out_TIMEOUT
lambda 11 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 11 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 11 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 11 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 11 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 21 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 21 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 21 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
lambda 21 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 21 In_APPLICATION = Out_TIMEOUT
lambda 21 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 21 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 21 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 21 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 21 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 23 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 23 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 23 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 23 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 23 In_APPLICATION = Out_TIMEOUT
lambda 23 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 23 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 23 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 23 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 23 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 25 In_ECDH_CLIENT_HELLO = Out_Alert_FATAL_INTERNAL_ERROR
lambda 25 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 25 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
lambda 25 In_FINISHED = Out_CHANGE_CIPHER_SPEC_FINISHED
lambda 25 In_APPLICATION = Out_TIMEOUT
lambda 25 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 25 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 25 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 25 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 25 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 26 In_ECDH_CLIENT_HELLO = Out_Alert_WARNING_NO_RENEGOTIATION
lambda 26 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 26 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
lambda 26 In_FINISHED = Out_TIMEOUT
lambda 26 In_APPLICATION = Out_APPLICATION
lambda 26 In_CERTIFICATE = Out_TIMEOUT
lambda 26 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 26 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 26 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 26 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 12 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 12 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 12 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 12 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 12 In_APPLICATION = Out_TIMEOUT
lambda 12 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 12 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 12 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 12 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 12 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 29 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 29 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 29 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 29 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 29 In_APPLICATION = Out_TIMEOUT
lambda 29 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 29 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 29 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 29 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 29 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 17 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 17 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 17 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
lambda 17 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 17 In_APPLICATION = Out_TIMEOUT
lambda 17 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 17 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 17 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_HANDSHAKE_FAILURE
lambda 17 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 17 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 28 In_ECDH_CLIENT_HELLO = Out_Alert_WARNING_NO_RENEGOTIATION
lambda 28 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 28 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 28 In_FINISHED = Out_TIMEOUT
lambda 28 In_APPLICATION = Out_APPLICATION
lambda 28 In_CERTIFICATE = Out_TIMEOUT
lambda 28 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 28 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 28 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 28 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 24 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 24 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 24 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 24 In_FINISHED = Out_TIMEOUT
lambda 24 In_APPLICATION = Out_TIMEOUT
lambda 24 In_CERTIFICATE = Out_TIMEOUT
lambda 24 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 24 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 24 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 24 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 34 In_ECDH_CLIENT_HELLO = Out_Alert_FATAL_INTERNAL_ERROR
lambda 34 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 34 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
lambda 34 In_FINISHED = Out_TIMEOUT
lambda 34 In_APPLICATION = Out_TIMEOUT
lambda 34 In_CERTIFICATE = Out_TIMEOUT
lambda 34 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 34 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 34 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 34 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 8 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 8 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 8 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 8 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 8 In_APPLICATION = Out_TIMEOUT
lambda 8 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 8 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 8 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 8 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 8 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 22 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 22 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 22 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
lambda 22 In_FINISHED = Out_TIMEOUT
lambda 22 In_APPLICATION = Out_TIMEOUT
lambda 22 In_CERTIFICATE = Out_TIMEOUT
lambda 22 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 22 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 22 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 22 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 36 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 36 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 36 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
lambda 36 In_FINISHED = Out_TIMEOUT
lambda 36 In_APPLICATION = Out_TIMEOUT
lambda 36 In_CERTIFICATE = Out_TIMEOUT
lambda 36 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 36 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 36 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 36 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 31 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 31 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 31 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
lambda 31 In_FINISHED = Out_TIMEOUT
lambda 31 In_APPLICATION = Out_TIMEOUT
lambda 31 In_CERTIFICATE = Out_TIMEOUT
lambda 31 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 31 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 31 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 31 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 33 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 33 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 33 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_HANDSHAKE_FAILURE
lambda 33 In_FINISHED = Out_TIMEOUT
lambda 33 In_APPLICATION = Out_TIMEOUT
lambda 33 In_CERTIFICATE = Out_TIMEOUT
lambda 33 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 33 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 33 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 33 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 35 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 35 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 35 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 35 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 35 In_APPLICATION = Out_TIMEOUT
lambda 35 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 35 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 35 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 35 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 35 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 30 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 30 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 30 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 30 In_FINISHED = Out_TIMEOUT
lambda 30 In_APPLICATION = Out_TIMEOUT
lambda 30 In_CERTIFICATE = Out_TIMEOUT
lambda 30 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 30 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 30 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 30 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 38 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 38 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 38 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_HANDSHAKE_FAILURE
lambda 38 In_FINISHED = Out_TIMEOUT
lambda 38 In_APPLICATION = Out_TIMEOUT
lambda 38 In_CERTIFICATE = Out_TIMEOUT
lambda 38 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 38 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 38 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 38 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 37 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 37 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 37 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 37 In_FINISHED = Out_TIMEOUT
lambda 37 In_APPLICATION = Out_TIMEOUT
lambda 37 In_CERTIFICATE = Out_TIMEOUT
lambda 37 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 37 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 37 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 37 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 14 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 14 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 14 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 14 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 14 In_APPLICATION = Out_TIMEOUT
lambda 14 In_CERTIFICATE = Out_TIMEOUT
lambda 14 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 14 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 14 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 14 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 40 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 40 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 40 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 40 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 40 In_APPLICATION = Out_TIMEOUT
lambda 40 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 40 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 40 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 40 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 40 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 41 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 41 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 41 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 41 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 41 In_APPLICATION = Out_TIMEOUT
lambda 41 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 41 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 41 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 41 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 41 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 42 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 42 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 42 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 42 In_FINISHED = Out_TIMEOUT
lambda 42 In_APPLICATION = Out_TIMEOUT
lambda 42 In_CERTIFICATE = Out_TIMEOUT
lambda 42 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 42 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 42 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 42 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 32 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 32 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 32 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 32 In_FINISHED = Out_TIMEOUT
lambda 32 In_APPLICATION = Out_TIMEOUT
lambda 32 In_CERTIFICATE = Out_TIMEOUT
lambda 32 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 32 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 32 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 32 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 43 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 43 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 43 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 43 In_FINISHED = Out_TIMEOUT
lambda 43 In_APPLICATION = Out_TIMEOUT
lambda 43 In_CERTIFICATE = Out_TIMEOUT
lambda 43 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 43 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 43 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 43 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 27 In_ECDH_CLIENT_HELLO = Out_Alert_FATAL_INTERNAL_ERROR
lambda 27 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 27 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
lambda 27 In_FINISHED = Out_CHANGE_CIPHER_SPEC_FINISHED_APPLICATION
lambda 27 In_APPLICATION = Out_TIMEOUT
lambda 27 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 27 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 27 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 27 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 27 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 39 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 39 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 39 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 39 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 39 In_APPLICATION = Out_TIMEOUT
lambda 39 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 39 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 39 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_INTERNAL_ERROR
lambda 39 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 39 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 44 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 44 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 44 In_CHANGE_CIPHER_SPEC = Out_Alert_FATAL_INTERNAL_ERROR
lambda 44 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 44 In_APPLICATION = Out_TIMEOUT
lambda 44 In_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 44 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_INTERNAL_ERROR
lambda 44 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_HANDSHAKE_FAILURE
lambda 44 In_Alert_WARNING_CLOSE_NOTIFY = Out_Alert_WARNING_CLOSE_NOTIFY
lambda 44 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda _ _ = error "haal-gen: undefined transition"