pattern

var (
	// NK1 is the NK1 deferred pattern.
	NK1 Pattern = &builtIn{
		name: "NK1",
		preMessages: []Message{
			nil,
			{Token_s},
		},
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee, Token_es},
		},
	}

	// NX1 is the NX1 deferred pattern.
	NX1 Pattern = &builtIn{
		name: "NX1",
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee, Token_s},
			{Token_es},
		},
	}

	// X1N is the X1N deferred pattern.
	X1N Pattern = &builtIn{
		name: "X1N",
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee},
			{Token_s},
			{Token_se},
		},
	}

	// X1K is the X1K deferred pattern.
	X1K Pattern = &builtIn{
		name: "X1K",
		preMessages: []Message{
			nil,
			{Token_s},
		},
		messages: []Message{
			{Token_e, Token_es},
			{Token_e, Token_ee},
			{Token_s},
			{Token_se},
		},
	}

	// XK1 is the XK1 deferred pattern.
	XK1 Pattern = &builtIn{
		name: "XK1",
		preMessages: []Message{
			nil,
			{Token_s},
		},
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee, Token_es},
			{Token_s, Token_se},
		},
	}

	// X1K1 is the X1K1 deferred pattern.
	X1K1 Pattern = &builtIn{
		name: "X1K1",
		preMessages: []Message{
			nil,
			{Token_s},
		},
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee, Token_es},
			{Token_s},
			{Token_se},
		},
	}

	// X1X is the X1X deferred pattern.
	X1X Pattern = &builtIn{
		name: "X1X",
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee, Token_s, Token_es},
			{Token_s},
			{Token_se},
		},
	}

	// XX1 is the XX1 deferred pattern.
	XX1 Pattern = &builtIn{
		name: "XX1",
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee, Token_s},
			{Token_es, Token_s, Token_se},
		},
	}

	// X1X1 is the X1X1 deferred pattern.
	X1X1 Pattern = &builtIn{
		name: "X1X1",
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee, Token_s},
			{Token_es, Token_s},
			{Token_se},
		},
	}

	// K1N is the K1N deferred pattern.
	K1N Pattern = &builtIn{
		name: "K1N",
		preMessages: []Message{
			{Token_s},
		},
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee},
			{Token_se},
		},
	}

	// K1K is the K1K deferred pattern.
	K1K Pattern = &builtIn{
		name: "K1K",
		preMessages: []Message{
			{Token_s},
			{Token_s},
		},
		messages: []Message{
			{Token_e, Token_es},
			{Token_e, Token_ee},
			{Token_se},
		},
	}

	// KK1 is the KK1 deferred pattern.
	KK1 Pattern = &builtIn{
		name: "KK1",
		preMessages: []Message{
			{Token_s},
			{Token_s},
		},
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee, Token_se, Token_es},
		},
	}

	// K1K1 is the K1K1 deferred pattern.
	K1K1 Pattern = &builtIn{
		name: "K1K1",
		preMessages: []Message{
			{Token_s},
			{Token_s},
		},
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee, Token_es},
			{Token_se},
		},
	}

	// K1X is the K1X deferred pattern.
	K1X Pattern = &builtIn{
		name: "K1X",
		preMessages: []Message{
			{Token_s},
		},
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee, Token_s, Token_es},
			{Token_se},
		},
	}

	// KX1 is the KX1 deferred pattern.
	KX1 Pattern = &builtIn{
		name: "KX1",
		preMessages: []Message{
			{Token_s},
		},
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee, Token_se, Token_s},
			{Token_es},
		},
	}

	// K1X1 is the K1X1 deferred pattern.
	K1X1 Pattern = &builtIn{
		name: "K1X1",
		preMessages: []Message{
			{Token_s},
		},
		messages: []Message{
			{Token_e},
			{Token_e, Token_ee, Token_s},
			{Token_se, Token_es},
		},
	}

	// I1N is the I1N deferred pattern.
	I1N Pattern = &builtIn{
		name: "I1N",
		messages: []Message{
			{Token_e, Token_s},
			{Token_e, Token_ee},
			{Token_se},
		},
	}

	// I1K is the I1K deferred pattern.
	I1K Pattern = &builtIn{
		name: "I1K",
		preMessages: []Message{
			nil,
			{Token_s},
		},
		messages: []Message{
			{Token_e, Token_es, Token_s},
			{Token_e, Token_ee},
			{Token_se},
		},
	}

	// IK1 is the IK1 deferred pattern.
	IK1 Pattern = &builtIn{
		name: "IK1",
		preMessages: []Message{
			nil,
			{Token_s},
		},
		messages: []Message{
			{Token_e, Token_s},
			{Token_e, Token_ee, Token_se, Token_es},
		},
	}

	// I1K1 is the I1K1 deferred pattern.
	I1K1 Pattern = &builtIn{
		name: "I1K1",
		preMessages: []Message{
			nil,
			{Token_s},
		},
		messages: []Message{
			{Token_e, Token_s},
			{Token_e, Token_ee, Token_es},
			{Token_se},
		},
	}

	// I1X is the I1X deferred pattern.
	I1X Pattern = &builtIn{
		name: "I1X",
		messages: []Message{
			{Token_e, Token_s},
			{Token_e, Token_ee, Token_s, Token_es},
			{Token_se},
		},
	}

	// IX1 is the IX1 deferred pattern.
	IX1 Pattern = &builtIn{
		name: "IX1",
		messages: []Message{
			{Token_e, Token_s},
			{Token_e, Token_ee, Token_se, Token_s},
			{Token_es},
		},
	}

	// I1X1 is the I1X1 deferred pattern.
	I1X1 Pattern = &builtIn{
		name: "I1X1",
		messages: []Message{
			{Token_e, Token_s},
			{Token_e, Token_ee, Token_s},
			{Token_se, Token_es},
		},
	}
)

var (
	// PqNN is the pqNN interactive (fundemental) pattern.
	PqNN Pattern = &builtIn{
		name: "pqNN",
		messages: []Message{
			{Token_e},
			{Token_ekem},
		},
		isKEM: true,
	}

	// PqNK is the pqNK interactive (fundemental) pattern.
	PqNK Pattern = &builtIn{
		name: "pqNK",
		preMessages: []Message{
			nil,
			{Token_s},
		},
		messages: []Message{
			{Token_skem, Token_e},
			{Token_ekem},
		},
		isKEM: true,
	}

	// PqNX is the pqNX interactive (fundemental) pattern.
	PqNX Pattern = &builtIn{
		name: "pqNX",
		messages: []Message{
			{Token_e},
			{Token_ekem, Token_s},
			{Token_skem},
		},
		isKEM: true,
	}

	// PqXN is the pqXN interactive (fundemental) pattern.
	PqXN Pattern = &builtIn{
		name: "pqXN",
		messages: []Message{
			{Token_e},
			{Token_ekem},
			{Token_s},
			{Token_skem},
		},
		isKEM: true,
	}

	// PqXK is the pqXK interactive (fundemental) pattern.
	PqXK Pattern = &builtIn{
		name: "pqXK",
		preMessages: []Message{
			nil,
			{Token_s},
		},
		messages: []Message{
			{Token_skem, Token_e},
			{Token_ekem},
			{Token_s},
			{Token_skem},
		},
		isKEM: true,
	}

	// PqXX is the pqXX interactive (fundemental) pattern.
	PqXX Pattern = &builtIn{
		name: "pqXX",
		messages: []Message{
			{Token_e},
			{Token_ekem, Token_s},
			{Token_skem, Token_s},
			{Token_skem},
		},
		isKEM: true,
	}

	// PqKN is the pqKN interactive (fundemental) pattern.
	PqKN Pattern = &builtIn{
		name: "pqKN",
		preMessages: []Message{
			{Token_s},
		},
		messages: []Message{
			{Token_e},
			{Token_ekem, Token_skem},
		},
		isKEM: true,
	}

	// PqKK is the pqKK interactive (fundemental) pattern.
	PqKK Pattern = &builtIn{
		name: "pqKK",
		preMessages: []Message{
			{Token_s},
			{Token_s},
		},
		messages: []Message{
			{Token_skem, Token_e},
			{Token_ekem, Token_skem},
		},
		isKEM: true,
	}

	// PqKX is the pqKX interactive (fundemental) pattern.
	PqKX Pattern = &builtIn{
		name: "pqKX",
		preMessages: []Message{
			{Token_s},
		},
		messages: []Message{
			{Token_e},
			{Token_ekem, Token_skem, Token_s},
			{Token_skem},
		},
		isKEM: true,
	}

	// PqIN is the pqIN interactive (fundemental) pattern.
	PqIN Pattern = &builtIn{
		name: "pqIN",
		messages: []Message{
			{Token_e, Token_s},
			{Token_ekem, Token_skem},
		},
		isKEM: true,
	}

	// PqIK is the pqIK interactive (fundemental) pattern.
	PqIK Pattern = &builtIn{
		name: "pqIK",
		preMessages: []Message{
			nil,
			{Token_s},
		},
		messages: []Message{
			{Token_skem, Token_e, Token_s},
			{Token_ekem, Token_skem},
		},
		isKEM: true,
	}

	// PqIX is the PqIX interactive (fundemental) pattern.
	PqIX Pattern = &builtIn{
		name: "pqIX",
		messages: []Message{
			{Token_e, Token_s},
			{Token_ekem, Token_skem, Token_s},
			{Token_skem},
		},
		isKEM: true,
	}
)

var PqN Pattern = &builtIn{
	name: "pqN",
	preMessages: []Message{
		nil,
		{Token_s},
	},
	messages: []Message{
		{Token_skem},
	},
	isKEM: true,
}