+^45 118@119#@lconv
+*1 (Constant)
+^46 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
+*4 (Function)
+^52 122@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@19@3@0#setlocale
+^53 126$^@3@0@0#localeconv
+*3 (Variable)
+^54 5|@1|6@0@0@0@1#DBL_DIG
+^55 17|@1|6@0@0@0@1#DBL_EPSILON
+^56 5|@1|6@0@0@0@1#DBL_MANT_DIG
+^57 17|@1|6@0@0@0@1#DBL_MAX
+^58 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
+^60 17|@1|6@0@0@0@1#DBL_MIN
+^61 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
+^64 16|@1|6@0@0@0@1#FLT_EPSILON
+^65 5|@1|6@0@0@0@1#FLT_MANT_DIG
+^66 16|@1|6@0@0@0@1#FLT_MAX
+^67 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
+^69 16|@1|6@0@0@0@1#FLT_MIN
+^70 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
+*1 (Constant)
+^72 5$#FLT_RADIX
+*3 (Variable)
+^73 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
+^75 18|@1|6@0@0@0@1#LDBL_EPSILON
+^76 5|@1|6@0@0@0@1#LDBL_MANT_DIG
+^77 18|@1|6@0@0@0@1#LDBL_MAX
+^78 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
+^80 18|@1|6@0@0@0@1#LDBL_MIN
+^81 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
+*1 (Constant)
+^83 5$#CHAR_BIT
+^84 4$#CHAR_MAX#CHAR_MIN
+^86 5$#INT_MAX#INT_MIN
+^88 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
+^91 4$#SCHAR_MAX#SCHAR_MIN
+^93 7$#SHRT_MAX#SHRT_MIN
+^95 3$#UCHAR_MAX#UCHAR_MIN
+^97 6$#UINT_MAX
+^98 10$#ULONG_MAX
+^99 8$#USHRT_MAX
+^100 17$#HUGE_VAL
+*4 (Function)
+^101 128$^$@0#sin
+^102 130$^$@0#cos
+^103 132$^$@0#tan
+^104 134$@0@g22@6@0@1@g22$@0#asin
+^105 136$@0@g22@6@0@1@g22$@0#acos
+^106 138$^$@0#atan
+^107 140$^$@0#atan2
+^108 142$^$@0#sinh
+^109 144$@0@g22@6@0@1@g22$@0#cosh
+^110 146$^$@0#tanh
+^111 148$@0@g22@6@0@1@g22$@0#exp
+^112 150$@0@g22@6@0@1@g22$@0#ldexp
+^113 152$@0@@1@tp1$@0#frexp
+^114 154$@0@g22@6@0@1@g22$@0#log
+^115 156$@0@g22@6@0@1@g22$@0#log10
+^116 158$@0@g22@6@0@1@g22$@0#pow
+^117 160$@0@g22@6@0@1@g22$@0#sqrt
+^118 162$^$@0#ceil
+^119 164$^$@0#floor
+^120 166$^$@0#fabs
+^121 168$@0@@1@tp1$@0#modf
+^122 170$^$@0#fmod
+*0 (Datatype)
+^123 20@+@+@0@0@0@0@171#jmp_buf
+*4 (Function)
+^124 173$@0@@1@p0$@0#setjmp
+^125 175@6@0@5@0@0^$@0#longjmp
+*1 (Constant)
+^126 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
+*0 (Datatype)
+^132 13@-@-@0@0@0@0@176#sig_atomic_t
+*1 (Constant)
+^133 180$#SIG_DFL
+^134 184$#SIG_ERR
+^135 188$#SIG_IGN
+*4 (Function)
+^136 201@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22$@0#signal
+^137 203@6@0@5@0@0$$@0#raise
+*0 (Datatype)
+^138 20@+@+@0@0@0@0@204#va_list
+*4 (Function)
+^139 206$@0@@1@p0$@0#va_start
+^140 208$@0@@1@p0$@0#va_end
+*0 (Datatype)
+^141 20@+@+@0@0@0@0@209#FILE
+^142 20@+@+@0@0@0@0@210#fpos_t
+*1 (Constant)
+^143 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
+*3 (Variable)
+^155 211|@1|6@0@0@0@1#stderr
+*4 (Function)
+^156 213$@0@s3,g22@6@0@1@s3,g22$@0#remove
+^157 215$@0@s3,g22@6@0@1@s3,g22$@0#rename
+^158 218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
+^159 221$@0@s1@1@tp0,s1@19@3@0#tmpnam
+^160 223$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
+^161 225$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
+^162 228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
+^163 231@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
+^164 233$@0@s3@1@s3,tp0,tp1$@0#setbuf
+^165 235$@0@s3@1@s3,tp0,tp1$@0#setvbuf
+^166 239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
+^167 241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
+^168 244@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
+^169 246@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf
+^170 249@6@0@1@1@0@0@@1@tp0$@0#sprintf
+^171 251@6@0@1@2@0^$@0#sscanf
+^172 253$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
+^173 255$@1@g18@6@0,s3@1@s3,p1,tg18$@0#vprintf
+^174 257$@0@@1@tp0,p2$@0#vsprintf
+^175 259$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
+^176 262@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
+^177 265$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
+^178 267$@0@s3@1@s3,tp1$@0#fputs
+^179 269$@0@s3@1@s3,tp0$@0#getc
+^180 271$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
+^181 274@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead.##gets
+^182 276$@0@s3@1@s3,tp1$@0#putc
+^183 278$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
+^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#puts
+^185 282$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
+^186 284$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
+^187 286$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
+^188 289$@0@g22@6@0@1@tp1,g22$@0#fgetpos
+^189 291$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
+^190 293$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
+^191 295$@0@g22@6@0@1@g22$@0#ftell
+^192 297$@0@@1@tp0$@0#rewind
+^193 299$@0@@1@tp0$@0#clearerr
+^194 301$@0@g22@6@0@1@g22$@0#feof
+^195 303$@0@g22@6@0@1@g22$@0#ferror
+^196 305$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
+^197 307$^$@0#atof
+^198 309$^$@0#atoi
+^199 311$^$@0#atol
+^200 315$@0@g22@6@0@1@tp1,g22$@0#strtod
+^201 317$@0@g22@6@0@1@tp1,g22$@0#strtol
+^202 319$@0@g22@6@0@1@tp1,g22$@0#strtoul
+*1 (Constant)
+^203 5$#RAND_MAX
+*4 (Function)
+^204 321$@0@s1@1@s1$@0#rand
+^205 323$@0@s1@1@s1$@0#srand
+^206 326@6@5@1@0@0^@2@0@0#calloc
+^207 329@4@5@1@0@0^@2@0@0#malloc
+^208 332@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
+^209 334$@0@@1@tp0$@0#free
+*1 (Constant)
+^210 5$#EXIT_FAILURE#EXIT_SUCCESS
+*4 (Function)
+^212 336@6@0@6@0@0^$@0#abort
+^213 338@6@0@6@0@0^$@0#exit
+^214 344$@0@s1@1@s1$@0#atexit
+^215 347@6@5@1@0@0^@19@3@0#getenv
+^216 349$@0@s3@1@s3$@0#system
+^217 356@6@5@1@0@0^@18@0@0#bsearch
+^218 362$@0@g22@6@0@1@tp0,g22$@0#qsort
+^219 364$^$@0#abs
+*7 (Struct tag)
+^220 365@366#@!2
+*0 (Datatype)
+^221 365@-@-@0@0@0@0@367#div_t
+*4 (Function)
+^222 369$^$@0#div
+^223 371$^$@0#labs
+*7 (Struct tag)
+^224 372@373#@!3
+*0 (Datatype)
+^225 372@-@-@0@0@0@0@374#ldiv_t
+*4 (Function)
+^226 376$^$@0#ldiv
+*1 (Constant)
+^227 63$#MB_CUR_MAX
+^228 5$#WCHAR_MAX#WCHAR_MIN
+^230 66$#WEOF
+*4 (Function)
+^231 378$^$@0#btowc
+^232 380$@0@s3@1@s3,tp0$@0#fgetwc
+^233 384@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
+^234 386$@0@s3@1@s3,tp1$@0#fputwc
+^235 388$@0@s3@1@s3,tp1$@0#fputws
+^236 390$^$@0#fwide
+^237 392@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
+^238 394@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
+^239 396$@0@s3@1@s3,tp0$@0#getwc
+^240 398$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar
+^241 401$^$@0#mbrlen
+^242 403$@0@@1@tp0$@0#mbrtowc
+^243 405$^$@0#mbsinit
+^244 407$@0@@1@tp0$@0#mbsrtowcs
+^245 409$@0@s3@1@s3,tp1$@0#putwc
+^246 411$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar
+^247 413@6@0@1@1@0@0@@1@tp0$@0#swprintf
+^248 415@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf
+^249 417$@0@s3@1@s3,tp1$@0#ungetwc
+^250 419$@0@s3@1@s3,tp0$@0#vfwprintf
+^251 421$@0@@1@tp0$@0#vswprintf
+^252 423$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf
+^253 425$@0@@1@tp0$@0#wcrtomb
+^254 429$@0@@1@tp0$@0#wcscat
+^255 432@6@5@1@0@0^@19@2@0#wcschr
+^256 434$^$@0#wcscmp
+^257 436$^$@0#wcscoll
+^258 439$@0@@1@tp0$@0#wcscpy
+^259 441$^$@0#wcscspn
+*7 (Struct tag)
+^260 630@442#@tm
+*4 (Function)
+^261 445$@0@@1@tp0$@0#wcsftime
+^262 447$^$@0#wcslen
+^263 451$@0@@1@tp0$@0#wcsncat
+^264 453$^$@0#wcsncmp
+^265 456$@0@@1@tp0$@0#wcsncpy
+^266 459@6@5@1@0@0^$@0#wcspbrk
+^267 462@6@5@1@0@0^$@0#wcsrchr
+^268 465$@0@@1@tp1$@0#wcsrtombs
+^269 467$^$@0#wcsspn
+^270 470@6@5@1@0@0^@3@0@0#wcsstr
+^271 472$@0@@1@tp1$@0#wcstod
+^272 475@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
+^273 477$@0@@1@tp1$@0#wcstol
+^274 479$@0@@1@tp1$@0#wcstoul
+^275 481$@0@@1@tp0$@0#wcsxfrm
+^276 483$^$@0#wctob
+^277 486@6@5@1@0@0^@3@0@0#wmemchr
+^278 488$^$@0#wmemcmp
+^279 491$@0@@1@tp0$@0#wmemcpy
+^280 494$@0@@1@tp0$@0#wmemmove
+^281 497$@0@@1@tp0$@0#wmemset
+^282 499@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf
+^283 501@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf
+*0 (Datatype)
+^284 13@-@-@0@0@0@0@502#wctype_t
+^285 13@-@-@0@0@0@0@503#wctrans_t
+*4 (Function)
+^286 507$^$@0#iswalnum
+^287 510$^$@0#iswalpha
+^288 513$^$@0#iswcntrl
+^289 516$^$@0#iswctype
+^290 519$^$@0#iswdigit
+^291 523$^$@0#iswgraph
+^292 526$^$@0#iswlower
+^293 529$^$@0#iswprint
+^294 532$^$@0#iswpunct
+^295 535$^$@0#iswspace
+^296 538$^$@0#iswupper
+^297 542$^$@0#iswxdigit
+^298 546$^$@0#towctrans
+^299 549$^$@0#towlower
+^300 552$^$@0#towupper
+^301 554$^$@0#wctrans
+^302 556$^$@0#wctype
+^303 558$^$@0#mblen
+^304 560$@0@@1@tp0$@0#mbtowc
+^305 562$@0@@1@tp0$@0#wctomb
+^306 564$@0@@1@tp0$@0#mbstowcs
+^307 566$@0@@1@tp0$@0#wcstombs
+^308 570$@0@@1@tp0$@0#memcpy
+^309 573$@0@@1@tp0$@0#memmove
+^310 577$@0@@1@tp0$@0#strcpy
+^311 580$@0@@1@tp0$@0#strncpy
+^312 583$@0@@1@tp0$@0#strcat
+^313 586$@0@@1@tp0$@0#strncat
+^314 588$^$@0#memcmp
+^315 590$^$@0#strcmp
+^316 592$^$@0#strcoll
+^317 594$^$@0#strncmp
+^318 596$@0@@1@tp0$@0#strxfrm
+^319 599@6@5@1@0@0^@3@0@0#memchr
+^320 602@6@5@1@0@0^@19@2@0#strchr
+^321 604$^$@0#strcspn
+^322 607@6@5@1@0@0^@19@2@0#strpbrk
+^323 610@6@5@1@0@0^@19@2@0#strrchr
+^324 612$^$@0#strspn
+^325 615@6@5@1@0@0^@19@2@0#strstr
+^326 618@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok
+^327 622$@0@@1@tp0$@0#memset
+^328 625$^@19@3@0#strerror
+^329 627$^$@0#strlen
+*1 (Constant)
+^330 5$#CLOCKS_PER_SEC
+*0 (Datatype)
+^331 13@-@-@0@0@0@0@628#clock_t
+^332 13@-@-@0@0@0@0@629#time_t
+*4 (Function)
+^333 632$@0@s1@1@s1$@0#clock
+^334 634$^$@0#difftime
+^335 636$^$@0#mktime
+^336 639$@0@@1@tp0$@0#time
+^337 642$@0@g22@6@0@1@g22@19@3@0#asctime
+^338 645$^@19@3@0#ctime
+^339 648@6@5@1@0@0^@19@3@0#gmtime
+^340 651@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
+^341 653$@0@@1@tp0$@0#strftime
+^342 657$$$@0#test1
+^343 660$$$@0#test2
+;; Library constraints
+fgets
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 5 1
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 0
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 5 1
+e2
+2
+3
+-1
+;; end precondition constraints
+calloc
+pre:
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 0
+e2
+2
+3
+-1
+;; end precondition constraints
+malloc
+pre:
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 0
+e2
+2
+3
+-1
+;; end precondition constraints
+realloc
+pre:
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
+memcpy
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 0
+r
+2
+2
+Param 63 2
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 1
+r
+2
+2
+Param 63 2
+;; end precondition constraints
+post:
+;; end precondition constraints
+memmove
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 0
+r
+2
+2
+Param 63 2
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 1
+r
+2
+2
+Param 63 2
+;; end precondition constraints
+post:
+;; end precondition constraints
+strcpy
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 1
+C
+0@1@4
+l
+1
+3
+2
+2
+Param 23 0
+r
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+strncpy
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@1
+l
+1
+3
+2
+2
+Param 23 0
+r
+2
+2
+Param 63 2
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 1
+r
+1
+3
+2
+2
+Param 23 0
+;; end precondition constraints
+strcat
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+strncat
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+2
+2
+Param 5 2
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+2
+2
+Param 5 2
+;; end precondition constraints
+strchr
+pre:
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+strrchr
+pre:
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+strstr
+pre:
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+memset
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+strlen
+pre:
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+;; end precondition constraints
+asctime
+pre:
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+25
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+25
+;; end precondition constraints
+ctime
+pre:
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+25
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+25
+;; end precondition constraints