ErrorTest{"int8 0/0", func() { use(i8 / j8) }, "divide"},
	ErrorTest{"int16 0/0", func() { use(i16 / j16) }, "divide"},
	ErrorTest{"int32 0/0", func() { use(i32 / j32) }, "divide"},
	ErrorTest{"int64 0/0", func() { use(i64 / j64) }, "divide"},

	ErrorTest{"int 1/0", func() { use(k / j) }, "divide"},
	ErrorTest{"int8 1/0", func() { use(k8 / j8) }, "divide"},
	ErrorTest{"int16 1/0", func() { use(k16 / j16) }, "divide"},

// through value-preserving sign/zero extensions of index values (issue #26292).

// Look through all extensions
func signExtNto64(x []int, j8 int8, j16 int16, j32 int32) int {
	if len(x) < 22 {
		return 0
	}
	if j8 >= 0 && j8 < 22 {
		return x[j8] // ERROR "Proved IsInBounds$"
	}
	if j16 >= 0 && j16 < 22 {
		return x[j16] // ERROR "Proved IsInBounds$"
	}
	if j32 >= 0 && j32 < 22 {

000002b0  11 02 17 2c 39 b6 28 6c  ec de 12 bf 22 91 3d 06  |...,9.(l....".=.|
000002c0  ac 8e 0a 92 b1 46 69 86  44 02 42 01 fd 70 6e 63  |.....Fi.D.B..pnc|
000002d0  1b 2a 21 47 9b 42 9c d4  4a 38 20 dd 94 05 c4 0f  |.*!G.B..J8 .....|
000002e0  5d b2 48 c8 17 90 01 4d  4f 7e 7a ef bb b2 5b 26  |].H....MO~z...[&|
000002f0  7e e1 24 f5 80 93 69 72  3f cf bb 5d 52 ee ec b4  |~.$...ir?..]R...|

00000150  a4 d7 fa 84 dd 4f a4 44  2f d2 b7 4f 5e ab a2 0e  |.....O.D/..O^...|
00000160  86 ab 65 8d 3c 63 a2 e4  55 ce b5 72 3f 77 e8 a7  |..e.<c..U..r?w..|
00000170  40 c7 04 4d a8 4a 38 a4  5c 6d 15 a1 3b 0c cc 2a  |@..M.J8.\m..;..*|
00000180  7e 67 02 3b 58 95 bc e8  85 6c 81 45 81 44 a9 dd  |~g.;X....l.E.D..|
00000190  b0 26 71 73 29 a6 1a 40  2f 5c 81 af f0 cc 2d bf  |.&qs)..@/\....-.|

XL2 
��;�$����,�J8���!;o���|>���e�����
�
���Type
�V2Obj��ID���,�J8���!;o���DDir��z���Jj���i�[�EcAlgo
�EcM�EcN�EcBSize��EcIndex�EcDist�	
L2:

�CSumAlgo
�PartNums�#8
	

"ٯf��b5�cQj� ��-lmR2�9��ni���"hE2�C$Z4��RHƨ��5�U��ER�J�(�bX4��q�����Z���UJ0h%�ST
J��'*9�efT�����2d��o���ZԷ֒G��F�]+u��@�YiIM�l�d��I"4A4L�m4�h��h���`F޵��(1^�����Pɚ""!���B���Um���m*�h�4hѵ������p����u�d��$�b&&���6n�Eb����5p�7q�-Z�j8�NS �*a����N1NUfM�q6m7r���&#- �x�������X���$�VeK� �e��abe+La�YfEfJ�� Ɇ4hm������ɋ1FL*r�!����+$�iK��4�Id�[06$3b@TF�*�0�3 �4lSm�lUb11S)!���`�)[l#L&aɍ���mTQ�5T؛a4a1"����Ԕ�ќp��sRp�����&�J�"țcsT eM6Զ�RZ[L�gn8��o2F�ILK)�X�,b�&...

WIÖvqAI²HsG@mÎܾg`qe}1x¬ØÈ·¹«8¿Ru^ãhE¦ rGåY~[MNØÜŸ²"sÕxªA^f„UÐaDEDKG¤QZªk |{ywH’}nTû cn%1òr² p ¢ ) ª¿E"³²zaöñ q„ãZ`\Agzc¨Üyª|\ir VgYò°¼8ïvNo^]}Z{¾zìûzf€GN[Ö9~s þû\²xFñ&{gzQUx )lRiJ ò}spXMªmãÌÖ]O_¦Gw{tyrcWûòr²~kÕ 2J­²*}yFºÈøq¬ÖÇôgGGCªTñ|eq 0cJòIûT 5Œ´Bóê \e>Ö }J8/Ö=_pOŠGxËæAXcÖ=@e ŒNrA,ÿ°S}€TÅ>ôkDyó~¾ÈgMY]Èues`B>Dc¼u`÷HCfK¢tc¾hEÂiK@¦\O\Iý_K¢yzUx:iDgDW®Ê \u{Óý2¬+U÷u¾reôi}OO¸}KA zoZŠ|e¼~m\}D îˆtÚ÷ cYr¾sqPwÐÚ² RoUJt‹8wÖGFgò3²L /ìAyÜ×Ùè¤}ZÚ DmziATÜE¾yZT÷ågK{ NevC2ö§ª›0²W# ZDitŠts¤G_ï¬Di K|}û~¾GHrMNsn4Ês#ÆÏÅ PVW...

github.com/go-openapi/runtime v0.19.4/go.mod h1:X277bwSUBxVlCYR3r7xgZZGKVvBd/29gLDlFGtJ8NL4=
github.com/go-openapi/spec v0.0.0-20160808142527-6aced65f8501/go.mod h1:J8+jY1nAiCcj+friV/PDoE1/3eeccG9LYBs0tYvLOWc=
github.com/go-openapi/spec v0.17.0/go.mod h1:XkF/MOi14NmjsfZ8VtAKf8pIlbZzyoTvZsdfssdxcBI=
github.com/go-openapi/spec v0.18.0/go.mod h1:XkF/MOi14NmjsfZ8VtAKf8pIlbZzyoTvZsdfssdxcBI=

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: BCPG v1.68

mQENBFPKf7UBCADNQuTp5/kBaFdYHW5kY28Kb6N3NOX66V6YeemQtuk+v7nUCL7A
RP351Y5Laz3UmhzxMJCq4OCEDX75Ujb8B+N/o9ubgINfRROF4T1ALtbjakqUl/J8
qM69BLy2btLRw/NdZbW6gMnaW8RQ51Z3uvG2KyjS2hS3v4TL2z3VpURhtQ8ZGaZZ
dVxgHPhXvSMwtZFrImNjaDbAMpYLjklLIk8urhL5G0O5XMzTIUtiC9o2YzD//sz/
bdCDA3vXAIgnshQGdeIuwXGWeiD/uig1Fxq/Y6tHttZuwbJGYftVKQs+M6Q9TeD2

\373\331\036\305\353?\266veT\202\365\352?\252\316\n\266\234~\332?\340T\001\027+\324\327?\234\375\240%\233\220\330?\014!f\373Qd\357?\0009k\372\374$\243?\244\t\022T\t\231\333?\351:@\362F\371\341?\002\035\305\007\223\364\320?\330\222\324\277\\\325\324?J8\002\200\305\333\346? \212tJ\346&\340?\250\260\014&\025\'\314?\300\277\"\031\355\300\254?+\016\220\236*c\347?\361\261\023\360\254\361\354?fe\331\203\025\032\326?hL\344\312\331\344\267?\323Yt\273\365\350\346?\254!{\352g\224\343?\316\375\236\222u\035\...