var ifaceNumAsFloat64 = map[string]any{
	"k1": float64(1),
	"k2": "s",
	"k3": []any{float64(1), float64(2.0), float64(3e-3)},
	"k4": map[string]any{"kk1": "s", "kk2": float64(2)},
}

var ifaceNumAsNumber = map[string]any{
	"k1": Number("1"),
	"k2": "s",
	"k3": []any{Number("1"), Number("2.0"), Number("3e-3")},
	"k4": map[string]any{"kk1": "s", "kk2": Number("2")},
}

type tx struct {
	x int
}

type u8 uint8

			continue
		}
		a[i+9] = i
		a[i+10] = i // ERROR "(\([0-9]+\) )?Proved IsInBounds$"
		a[i+11] = i
	}
	return a
}

func k4(a [100]int) [100]int {
	min := (-1) << 63
	for i := min; i < min+50; i++ { // ERROR "Induction variable: limits \[-9223372036854775808,-9223372036854775758\), increment 1$"
		a[i-min] = i // ERROR "(\([0-9]+\) )?Proved IsInBounds$"

00000300  4b b4 68 70 f5 a3 31 36  52 8d af ab d1 ac f6 28  |K.hp..16R......(|
00000310  2e 18 bc 4f 1b 7c a8 ad  c3 1f 2f 70 a6 c4 39 c6  |...O.|..../p..9.|
00000320  ae 0f 2e b7 58 c9 c0 2a  4b 34 c2 42 12 e3 5d ed  |....X..*K4.B..].|
00000330  d1 ac e1 f1 14 66 d4 09  1c a0 99 82 d3 04 13 2a  |.....f.........*|
00000340  a4 20 c4 e7 38 1e 0a 02  4e 96 02 71 9d f6 f7 86  |. ..8...N..q....|

DATA K256<>+0x04(SB)/4, $0x71374491 // k2
DATA K256<>+0x08(SB)/4, $0xb5c0fbcf // k3
DATA K256<>+0x0c(SB)/4, $0xe9b5dba5 // k4
DATA K256<>+0x10(SB)/4, $0x428a2f98 // k1
DATA K256<>+0x14(SB)/4, $0x71374491 // k2
DATA K256<>+0x18(SB)/4, $0xb5c0fbcf // k3
DATA K256<>+0x1c(SB)/4, $0xe9b5dba5 // k4

DATA K256<>+0x20(SB)/4, $0x3956c25b // k5 - k8
DATA K256<>+0x24(SB)/4, $0x59f111f1
DATA K256<>+0x28(SB)/4, $0x923f82a4

00000250  10 77 6f d1 96 86 84 63  fd 27 8e b9 54 da 4b b5  |.wo....c.'..T.K.|
00000260  56 f0 50 8a aa c7 e1 b3  cb 9c 36 9e ec 38 31 39  |V.P.......6..819|
00000270  78 ec ea 34 8a 87 cf 6b  34 fd 5e 81 92 81 61 f1  |x..4...k4.^...a.|
00000280  88 e7 50 62 2e 58 0b d9  b9 ca f3 ed 79 a9 9a 01  |..Pb.X......y...|
00000290  80 9d 7f 84 ae de fb 51  ac 0f 6b b9 76 fd 68 d4  |.......Q..k.v.h.|

github.com/go-openapi/strfmt v0.23.0 h1:nlUS6BCqcnAk0pyhi9Y+kdDVZdZMHfEKQiS4HaMgO/c=
github.com/go-openapi/strfmt v0.23.0/go.mod h1:NrtIpfKtWIygRkKVsxh7XQMDQW5HKQl6S5ik2elW+K4=
github.com/go-openapi/swag v0.23.0 h1:vsEVJDUo2hPJ2tu0/Xc+4noaxyEffXNIs3cOULZ+GrE=
github.com/go-openapi/swag v0.23.0/go.mod h1:esZ8ITTYEsH1V2trKHjAN8Ai7xHb8RV+YSZ577vPjgQ=

�6� �`-7��w6y���m�)�ZsHs�YeIO&���\ ��� u�־C�c)�r�;�$w�8��q������v�Y�eX� �%I�H%)�)�0g���+� �nE�)�"S �tK�׏�'8ʳ��lN��i������yB9����w|�[�#���� ˸�k���x�q��� ��껂W��u�6���U���RJ�?��.�7n^S�c�R�E�(1J(F�RYI�z$F�'M"�L�Ĥ�� � ږC�*�)�ĉY�1��K4�{��9H�Ѡ�J�(%%q��(#hAR�
Ŕ(1J(F�RUI�����ݒ��hR�&/�7���f�R�m�@�F�`�D-騉S)E��m�Bx�� ����e{�͇���`����k��l�����ʪ6B�?��ð:��T|��p2���Xy�>�2�T;���n`�Պ�I�,˲6X^�q^����b�Q�X� )'�����(S-�͵���`m9��H�DkɁ��x�'�t1a���0�&�b����j����D�%R�EJlJ.�hn8�...

�K{�>���R�QZ�...

X*�ڕ*J��*�SjgMCqD�Db �QJ4�QM�1\�2�$��B#l�9�Dc���p��b24M#q&ȍ6L֍�7-e6�ւSl��6&&Ƅ6�"a[k���!*+nIhĖ���j�-ڶ�mC�q���n�#�7�̢�H�A�p�l#F���+I���S53PKH�ɖҍ6d�F�R�%j@L�jMd�%Y2�cE�2��ѲYL��H�ɖ�0J�)T��h�2UCl�n!ĩXp��&4�ۉD �4[g-� �)a�X�2f#"q�k4����д��K$��ZkDdF�B&"lܰ�Κ�e6Ʊ���Z5����n�p���lQ��
�{)A߶���������������������������������b�"��cF��ŌZ�Q�EY,�6m��"ՍU�lm�ƖZ��Q�űb��D��PT����F�Ѭ`�b�* Z��1AZŃV(�+b�J�[b���V��m��+� )klm�Q��Fص&��3V��f�J!�)??�I �I$�I4�I$�I$�I&�C$�� �I$�I$�I$�I$�...

330?F\273\\\020\251\210\324?\200\347\262\224\353*\260?\347\t\354K\351m\345?\3606\000q\370\235\315?nf\246\227=}\352?\220\trv\324\000\311?%\243\0317i\262\355?\330\007;\377R\353\335?4\217\367\226cN\334?t\001\035\334\260I\347?\\\215\302\200\262\262\337?K4\343\311r2\353?\032\n/|\366i\335?\r;x\355\023\366\353?H\341\225:\211M\301?\271=L\205\304z\344?\250\n\036nK\365\267?\200\003k\372\306\254\263?\362\207\315i+%\344?\213+\014\253\020&\347?\212\235\251A\017\267\354? \362\375\274\213\347\260?f\320\276\245...