ering","textlength","type","u1","u2","unicode","values","viewbox","visibility","version","vert-adv-y","vert-origin-x","vert-origin-y","width","word-spacing","wrap","writing-mode","xchannelselector","ychannelselector","x","x1","x2","xmlns","y","y1","y2","z","zoomandpan"]),F=i(["accent","accentunder","align","bevelled","close","columnsalign","columnlines","columnspan","denomalign","depth","dir","display","displaystyle","encoding","fence","frame","height","href","id","largeop","length","linethickne...

	VPMADD52LUQ Y3, Y9, K1, Y2                         // 62f2b529b4d3
	VPMADD52LUQ Y2, Y9, K1, Y2                         // 62f2b529b4d2
	VPMADD52LUQ Y9, Y9, K1, Y2                         // 62d2b529b4d1
	VPMADD52LUQ 17(SP)(BP*1), Y9, K1, Y2               // 62f2b529b4942c11000000
	VPMADD52LUQ -7(CX)(DX*8), Y9, K1, Y2               // 62f2b529b494d1f9ffffff
	VPMADD52LUQ Y3, Y1, K1, Y2                         // 62f2f529b4d3

	VPERMI2B Y9, Y22, K2, Y2                           // 62d24d2275d1
	VPERMI2B 15(R8)(R14*1), Y22, K2, Y2                // 62924d227594300f000000
	VPERMI2B 15(R8)(R14*2), Y22, K2, Y2                // 62924d227594700f000000
	VPERMI2B Y18, Y20, K2, Y2                          // 62b25d2275d2
	VPERMI2B Y24, Y20, K2, Y2                          // 62925d2275d0

    /*
     * For an explanation of the basic principle behind this check, see
     * https://stackoverflow.com/a/35754308/28465
     *
     * In that explanation's notation, our `overlap` check would be `x1 < y2 && y1 < x2`. We've
     * flipped one part of the check so that we're using "less than" in both cases (rather than a
     * mix of "less than" and "greater than"). We've also switched to "strictly less than" rather

	VAESDECLAST Y31, Y27, Y2                           // 62922520dfd7 or 6292a520dfd7
	VAESDECLAST Y3, Y27, Y2                            // 62f22520dfd3 or 62f2a520dfd3
	VAESDECLAST Y14, Y27, Y2                           // 62d22520dfd6 or 62d2a520dfd6
	VAESDECLAST -17(BP)(SI*8), Y27, Y2                 // 62f22520df94f5efffffff or 62f2a520df94f5efffffff
	VAESDECLAST (R15), Y27, Y2                         // 62d22520df17 or 62d2a520df17

	VPSHUFBITQMB Y14, Y2, K3, K6                       // 62d26d2b8ff6
	VPSHUFBITQMB Y8, Y2, K3, K6                        // 62d26d2b8ff0
	VPSHUFBITQMB Y20, Y2, K3, K6                       // 62b26d2b8ff4
	VPSHUFBITQMB -17(BP), Y2, K3, K6                   // 62f26d2b8fb5efffffff
	VPSHUFBITQMB -15(R14)(R15*8), Y2, K3, K6           // 62926d2b8fb4fef1ffffff

	VPDPWSSD Y8, Y2, K3, Y14                           // 62526d2b52f0
	VPDPWSSD Y9, Y2, K3, Y14                           // 62526d2b52f1
	VPDPWSSD Y22, Y2, K3, Y14                          // 62326d2b52f6
	VPDPWSSD 15(R8)(R14*4), Y2, K3, Y14                // 62126d2b52b4b00f000000
	VPDPWSSD -7(CX)(DX*4), Y2, K3, Y14                 // 62726d2b52b491f9ffffff

    /*
     * For an explanation of the basic principle behind this check, see
     * https://stackoverflow.com/a/35754308/28465
     *
     * In that explanation's notation, our `overlap` check would be `x1 < y2 && y1 < x2`. We've
     * flipped one part of the check so that we're using "less than" in both cases (rather than a
     * mix of "less than" and "greater than"). We've also switched to "strictly less than" rather

	VGF2P8MULB Y2, Y28, K1, Y31                        // 62621d21cffa
	VGF2P8MULB Y21, Y28, K1, Y31                       // 62221d21cffd
	VGF2P8MULB Y12, Y28, K1, Y31                       // 62421d21cffc
	VGF2P8MULB (R8), Y28, K1, Y31                      // 62421d21cf38
	VGF2P8MULB 15(DX)(BX*2), Y28, K1, Y31              // 62621d21cfbc5a0f000000
	VGF2P8MULB Y2, Y13, K1, Y31                        // 62621529cffa

	VPCONFLICTD (BP), K6, X28                          // 62627d0ec46500
	VPCONFLICTD Y14, K3, Y2                            // 62d27d2bc4d6
	VPCONFLICTD Y8, K3, Y2                             // 62d27d2bc4d0
	VPCONFLICTD Y20, K3, Y2                            // 62b27d2bc4d4
	VPCONFLICTD -7(CX), K3, Y2                         // 62f27d2bc491f9ffffff
	VPCONFLICTD 15(DX)(BX*4), K3, Y2                   // 62f27d2bc4949a0f000000