/* Generated by CIL v. 1.7.3 */ /* print_CIL_Input is false */ struct t___0 ; struct t___30 ; struct t___31 ; struct t___32 ; struct t___33 __attribute__((__packed__)) ; struct t___46 ; struct t___54 ; char o___57[22] ; void o___58(void) ; extern int pthread_cond_broadcast(int *cond ) ; char **o___59 = (char **)0; typedef struct t___46 o___60; char o___61[4] ; extern int getpagesize() ; extern int posix_memalign(void **memptr , unsigned int alignment , unsigned int size ) ; char o___62[3] ; void o___63(void *l___5132 , char *l___5133 , char const *l___5134 , char l___5135 , int l___5136 ) ; char o___64[4] ; typedef unsigned long o___65; extern __attribute__((__nothrow__)) int ( __attribute__((__nonnull__(1,2), __leaf__)) memcmp)(void const *__s1 , void const *__s2 , o___65 __n ) __attribute__((__pure__)) ; typedef unsigned long o___66; typedef o___66 o___67; __inline static o___67 load64(void const *l___5607 ) ; extern int pthread_barrier_destroy(int *barrier ) ; extern int pthread_mutex_init(int *mutex , int *attr ) ; int o___68(void *l___5410 , o___65 l___5411 , void const *l___5412 , o___65 l___5413 , void const *l___5414 , o___65 l___5415 ) ; int o___69(o___60 *l___5488 , void const *l___5489 , o___65 l___5490 ) ; void o___70(void) ; int o___71 = 0; int o___72(o___60 *l___5573 , void *l___5574 , o___65 l___5575 ) ; extern int scanf(char const *format , ...) ; void o___73(void) ; extern int raise(int sig ) ; void o___74(void) ; void o___75(void) ; extern int puts(char const *__s ) ; typedef struct t___0 o___76; extern char *fgets(char * __restrict __s , int __n , o___76 * __restrict __stream ) ; extern __attribute__((__nothrow__)) void *( __attribute__((__nonnull__(1,2), __leaf__)) memcpy)(void * __restrict __dest , void const * __restrict __src , o___65 __n ) ; char o___77[5] ; char o___78[4] ; extern void *dlsym(void *handle , char *symbol ) ; extern void abort() ; typedef struct t___33 o___79; extern int fprintf(struct t___0 *stream , char const *format , ...) ; extern void signal(int sig , void *func ) ; char o___80[32] ; typedef long o___81; void o___82(void) ; extern int close(int filedes ) ; extern int mprotect(void *addr , unsigned int len , int prot ) ; typedef unsigned char o___83; extern double strtod(char const *str , char const *endptr ) ; char o___84[3] ; extern double ceil(double x ) ; void o___85(void) ; extern int ( /* missing proto */ explicit_bzero)() ; void o___86(void) ; extern __attribute__((__nothrow__)) int ( __attribute__((__leaf__)) sscanf)(char const * __restrict __s , char const * __restrict __format , ...) __asm__("__isoc99_sscanf") ; void o___87(void) ; char o___88[21] ; int o___89(o___60 *l___5650 , o___79 const *l___5651 ) ; extern int fcntl(int filedes , int cmd , ...) ; void o___90(void) ; void o___91(void) ; char o___92[3] ; void o___93(void) ; extern int pthread_cond_wait(int *cond , int *mutex ) ; void o___94(void) ; extern int pthread_cond_init(int *cond , int *attr ) ; char o___95[21] ; void o___96(void) ; extern long clock(void) ; extern long time(long *tloc ) ; typedef o___83 o___97; static o___97 o___98[12][16] ; typedef void o___99; extern int strcmp(char const *a , char const *b ) ; char o___100[17] ; void o___101(void) ; char o___102[21] ; extern void *malloc(unsigned int size ) ; extern int snprintf(char *str , unsigned int size , char const *format , ...) ; static int o___103(o___60 const *l___5511 ) ; typedef long o___104; extern int pthread_mutex_unlock(int *mutex ) ; char o___105[20] ; char o___106[17] ; static void o___107(o___60 *l___5522 , o___97 const *l___5523 ) ; void o___108(void) ; void o___109(void) ; char o___110[21] ; int o___111(o___60 *l___5611 , o___65 l___5612 , void const *l___5613 , o___65 l___5614 ) ; extern int gettimeofday(struct t___54 *tv , void *tz ) ; typedef unsigned int o___112; typedef o___112 o___113; char o___114[5] ; struct t___46 { o___67 f___47[8] ; o___67 f___48[2] ; o___67 f___49[2] ; o___97 f___50[128] ; o___65 f___51 ; o___65 f___52 ; o___97 f___53 ; }; int o___115(o___60 *l___5544 , o___65 l___5545 ) ; __inline static void store32(void *l___5123 , o___113 l___5124 ) ; void o___116(void) ; extern int pthread_join(void *thread , void **value_ptr ) ; void o___117(void) ; char o___118[3] ; extern int open(char const *filename , int oflag , ...) ; extern __attribute__((__nothrow__)) o___65 ( __attribute__((__nonnull__(1), __leaf__)) strlen)(char const *__s ) __attribute__((__pure__)) ; extern int strncmp(char const *s1 , char const *s2 , unsigned int maxlen ) ; extern int printf(char const * __restrict __format , ...) ; char o___119[4] ; static void o___120(o___60 *l___5476 ) ; extern int pthread_cond_signal(int *cond ) ; __inline static void store64(void *l___5405 , o___67 l___5406 ) ; extern int pthread_barrier_init(int *barrier , int *attr , unsigned int count ) ; char **o___121 = (char **)0; static void o___122(o___60 *l___5662 ) ; extern int unlink(char const *filename ) ; void o___123(void) ; static void o___124(o___60 *l___5514 ) ; extern double difftime(long tv1 , long tv0 ) ; extern int pthread_barrier_wait(int *barrier ) ; extern int pthread_mutex_lock(int *mutex ) ; void o___125(int l___5517 , char l___5518[] ) ; char o___126[21] ; extern int gethostname(char *name , unsigned int namelen ) ; __inline static void secure_zero_memory(void *l___5128 , o___65 l___5129 ) ; extern unsigned long strtoul(char const *str , char const *endptr , int base ) ; extern void free(void *ptr ) ; char o___127[3] ; extern __attribute__((__nothrow__, __noreturn__)) void ( __attribute__((__leaf__)) exit)(int __status ) ; int main(int l___5117 , char **l___5118 , char **l___5119 ) ; char o___128[21] ; void o___129(void) ; extern double log(double x ) ; void o___130(void) ; char o___131[23] ; extern o___76 *stdin ; void o___132(void) ; void o___133(void) ; extern int fclose(void *stream ) ; struct t___33 { o___97 f___34 ; o___97 f___35 ; o___97 f___36 ; o___97 f___37 ; o___113 f___38 ; o___113 f___39 ; o___113 f___40 ; o___97 f___41 ; o___97 f___42 ; o___97 f___43[14] ; o___97 f___44[16] ; o___97 f___45[16] ; } __attribute__((__packed__)) ; void o___134(void) ; extern void perror(char const *str ) ; extern int write(int filedes , void *buf , unsigned int nbyte ) ; static o___67 o___135[8] ; extern int ptrace(int request , void *pid , void *addr , int data ) ; extern float strtof(char const *str , char const *endptr ) ; extern unsigned int strnlen(char const *s , unsigned int maxlen ) ; struct t___54 { long f___55 ; long f___56 ; }; int o___136(void *l___5560 , o___65 l___5561 , void const *l___5562 , o___65 l___5563 , void const *l___5564 , o___65 l___5565 ) ; __inline static o___67 rotr64(o___67 const l___5484 , unsigned int const l___5485 ) ; extern void qsort(void *base , unsigned int nel , unsigned int width , int (*compar)(void *a , void *b ) ) ; static void o___137(o___60 *l___5569 , o___67 const l___5570 ) ; char o___138[3] ; void o___139(void) ; extern int rand() ; extern int read(int filedes , void *buf , unsigned int nbyte ) ; extern void *fopen(char const *filename , char const *mode ) ; char o___140[3] ; void o___141(void) ; void o___142(void) ; extern double sqrt(double x ) ; struct t___0 { int f___1 ; char *f___2 ; char *f___3 ; char *f___4 ; char *f___5 ; char *f___6 ; char *f___7 ; char *f___8 ; char *f___9 ; char *f___10 ; char *f___11 ; char *f___12 ; struct t___31 *f___13 ; struct t___0 *f___14 ; int f___15 ; int f___16 ; o___104 f___17 ; unsigned short f___18 ; signed char f___19 ; char f___20[1] ; o___99 *f___21 ; o___81 f___22 ; struct t___30 *f___23 ; struct t___32 *f___24 ; struct t___0 *f___25 ; void *f___26 ; o___65 f___27 ; int f___28 ; char f___29[(15U * sizeof(int ) - 4U * sizeof(void *)) - sizeof(o___65 )] ; }; extern long strtol(char const *str , char const *endptr , int base ) ; extern __attribute__((__nothrow__)) void *( __attribute__((__nonnull__(1), __leaf__)) memset)(void *__s , int __c , o___65 __n ) ; extern int nanosleep(int *rqtp , int *rmtp ) ; char o___143[6] ; extern int pthread_create(void *thread , void *attr , void *start_routine , void *arg ) ; extern int atoi(char const *s ) ; extern int fseek(struct t___0 *stream , long offs , int whence ) ; void o___144(void) ; extern int fscanf(struct t___0 *stream , char const *format , ...) ; char o___145[9] ; void o___146(void) ; void o___125(int l___5517 , char l___5518[] ) { int l___5520 ; unsigned long l___5521 ; { { l___5521 = 15UL; } while (1) { switch (l___5521) { case 55: l___5518[l___5520] = 87; l___5520 ++; l___5518[l___5520] = 114; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 110; l___5520 ++; l___5518[l___5520] = 103; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 112; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 119; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 114; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 33; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 23: l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 5: l___5518[l___5520] = 82; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 119; l___5520 ++; l___5518[l___5520] = 63; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 17: ; return; break; case 39: l___5518[l___5520] = 124; l___5520 ++; l___5518[l___5520] = 45; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 56: l___5518[l___5520] = 45; l___5520 ++; l___5518[l___5520] = 45; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 1: l___5518[l___5520] = 45; l___5520 ++; l___5518[l___5520] = 45; l___5520 ++; l___5518[l___5520] = 43; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 18: ; switch (l___5517) { case 20: { l___5521 = 4UL; } break; case 2: { l___5521 = 44UL; } break; case 7: { l___5521 = 40UL; } break; case 0: { l___5521 = 23UL; } break; case 10: { l___5521 = 1UL; } break; case 5: { l___5521 = 42UL; } break; case 22: { l___5521 = 37UL; } break; case 6: { l___5521 = 49UL; } break; case 17: { l___5521 = 16UL; } break; case 19: { l___5521 = 2UL; } break; case 13: { l___5521 = 22UL; } break; case 9: { l___5521 = 56UL; } break; case 11: { l___5521 = 41UL; } break; case 26: { l___5521 = 25UL; } break; case 21: { l___5521 = 3UL; } break; case 24: { l___5521 = 55UL; } break; case 16: { l___5521 = 11UL; } break; case 3: { l___5521 = 39UL; } break; case 23: { l___5521 = 45UL; } break; case 1: { l___5521 = 51UL; } break; case 8: { l___5521 = 35UL; } break; case 12: { l___5521 = 5UL; } break; case 15: { l___5521 = 28UL; } break; case 14: { l___5521 = 24UL; } break; case 4: { l___5521 = 36UL; } break; case 25: { l___5521 = 19UL; } break; case 18: { l___5521 = 21UL; } break; default: { l___5521 = 17UL; } break; } break; case 51: l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 37; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 45: l___5518[l___5520] = 69; l___5520 ++; l___5518[l___5520] = 110; l___5520 ++; l___5518[l___5520] = 116; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 114; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 112; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 119; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 114; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 58; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 2: l___5518[l___5520] = 37; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 19: l___5518[l___5520] = 84; l___5520 ++; l___5518[l___5520] = 104; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 103; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 109; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 119; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 116; l___5520 ++; l___5518[l___5520] = 105; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 46; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 4: l___5518[l___5520] = 89; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 102; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 110; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 116; l___5520 ++; l___5518[l___5520] = 104; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 99; l___5520 ++; l___5518[l___5520] = 114; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 116; l___5520 ++; l___5518[l___5520] = 33; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 15: l___5520 = 0; { l___5521 = 18UL; } break; case 11: l___5518[l___5520] = 83; l___5520 ++; l___5518[l___5520] = 112; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 99; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 116; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 102; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 98; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 110; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 3: l___5518[l___5520] = 37; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 41: l___5518[l___5520] = 77; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 118; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 102; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 114; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 112; l___5520 ++; l___5518[l___5520] = 108; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 121; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 114; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 37; l___5520 ++; l___5518[l___5520] = 99; l___5520 ++; l___5518[l___5520] = 58; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 24: l___5518[l___5520] = 83; l___5520 ++; l___5518[l___5520] = 112; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 99; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 116; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 102; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 98; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 110; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 22: l___5518[l___5520] = 67; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 108; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 109; l___5520 ++; l___5518[l___5520] = 110; l___5520 ++; l___5518[l___5520] = 63; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 49: l___5518[l___5520] = 124; l___5520 ++; l___5518[l___5520] = 37; l___5520 ++; l___5518[l___5520] = 99; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 35: l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 43; l___5520 ++; l___5518[l___5520] = 45; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 21: l___5518[l___5520] = 84; l___5520 ++; l___5518[l___5520] = 104; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 116; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 112; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 99; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 105; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 108; l___5520 ++; l___5518[l___5520] = 114; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 121; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 99; l___5520 ++; l___5518[l___5520] = 99; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 112; l___5520 ++; l___5518[l___5520] = 105; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 36: l___5518[l___5520] = 124; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 37: l___5518[l___5520] = 73; l___5520 ++; l___5518[l___5520] = 110; l___5520 ++; l___5518[l___5520] = 118; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 108; l___5520 ++; l___5518[l___5520] = 105; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 105; l___5520 ++; l___5518[l___5520] = 110; l___5520 ++; l___5518[l___5520] = 112; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 116; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 39; l___5520 ++; l___5518[l___5520] = 37; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 39; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 42: l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 37; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 44: l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 16: l___5518[l___5520] = 83; l___5520 ++; l___5518[l___5520] = 112; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 99; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 116; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 102; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 98; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 110; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 25: l___5518[l___5520] = 84; l___5520 ++; l___5518[l___5520] = 104; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 119; l___5520 ++; l___5518[l___5520] = 105; l___5520 ++; l___5518[l___5520] = 110; l___5520 ++; l___5518[l___5520] = 110; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 114; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 119; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 39; l___5520 ++; l___5518[l___5520] = 37; l___5520 ++; l___5518[l___5520] = 99; l___5520 ++; l___5518[l___5520] = 39; l___5520 ++; l___5518[l___5520] = 46; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 28: l___5518[l___5520] = 83; l___5520 ++; l___5518[l___5520] = 112; l___5520 ++; l___5518[l___5520] = 97; l___5520 ++; l___5518[l___5520] = 99; l___5520 ++; l___5518[l___5520] = 101; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 116; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 102; l___5520 ++; l___5518[l___5520] = 32; l___5520 ++; l___5518[l___5520] = 98; l___5520 ++; l___5518[l___5520] = 111; l___5520 ++; l___5518[l___5520] = 117; l___5520 ++; l___5518[l___5520] = 110; l___5520 ++; l___5518[l___5520] = 100; l___5520 ++; l___5518[l___5520] = 115; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; case 40: l___5518[l___5520] = 124; l___5520 ++; l___5518[l___5520] = 10; l___5520 ++; l___5518[l___5520] = 0; l___5520 ++; { l___5521 = 17UL; } break; } } } } void o___144(void) { { } } void o___134(void) { { } } void o___87(void) { { } } void o___63(void *l___5132 , char *l___5133 , char const *l___5134 , char l___5135 , int l___5136 ) { int l___5138 ; char l___5139 ; int l___5140 ; int l___5141 ; int l___5142 ; char l___5143 ; int l___5144 ; int l___5145 ; char l___5146 ; int l___5147 ; int l___5148 ; char l___5149 ; int l___5150 ; int l___5151 ; int l___5152 ; unsigned char l___5153[8] ; unsigned char l___5154[8] ; o___60 l___5155 ; o___65 l___5156 ; o___60 l___5157 ; char l___5158[256] ; unsigned long l___5159 ; unsigned long l___5160 ; unsigned long l___5161 ; int l___5162 ; int l___5163 ; void *l___5164 ; unsigned long l___5165 ; unsigned long l___5166 ; int l___5167 ; int l___5168 ; void *l___5169 ; unsigned long l___5170 ; unsigned long l___5171 ; int l___5172 ; int l___5173 ; void *l___5174 ; unsigned long l___5175 ; unsigned long l___5176 ; int l___5177 ; int l___5178 ; void *l___5179 ; unsigned long l___5180 ; unsigned long l___5181 ; int l___5182 ; int l___5183 ; void *l___5184 ; unsigned long l___5185 ; unsigned long l___5186 ; int l___5187 ; int l___5188 ; void *l___5189 ; unsigned long l___5190 ; unsigned long l___5191 ; int l___5192 ; int l___5193 ; void *l___5194 ; unsigned long l___5195 ; unsigned long l___5196 ; int l___5197 ; int l___5198 ; void *l___5199 ; unsigned long l___5200 ; unsigned long l___5201 ; int l___5202 ; int l___5203 ; void *l___5204 ; unsigned long l___5205 ; unsigned long l___5206 ; int l___5207 ; int l___5208 ; void *l___5209 ; unsigned long l___5210 ; unsigned long l___5211 ; int l___5212 ; int l___5213 ; void *l___5214 ; unsigned long l___5215 ; unsigned long l___5216 ; int l___5217 ; int l___5218 ; void *l___5219 ; unsigned long l___5220 ; unsigned long l___5221 ; int l___5222 ; int l___5223 ; void *l___5224 ; unsigned long l___5225 ; unsigned long l___5226 ; int l___5227 ; int l___5228 ; void *l___5229 ; unsigned long l___5230 ; unsigned long l___5231 ; int l___5232 ; int l___5233 ; void *l___5234 ; unsigned long l___5235 ; unsigned long l___5236 ; int l___5237 ; int l___5238 ; void *l___5239 ; unsigned long l___5240 ; unsigned long l___5241 ; int l___5242 ; int l___5243 ; void *l___5244 ; unsigned long l___5245 ; unsigned long l___5246 ; int l___5247 ; int l___5248 ; void *l___5249 ; unsigned long l___5250 ; unsigned long l___5251 ; int l___5252 ; int l___5253 ; void *l___5254 ; unsigned long l___5255 ; unsigned long l___5256 ; int l___5257 ; int l___5258 ; void *l___5259 ; unsigned long l___5260 ; unsigned long l___5261 ; int l___5262 ; int l___5263 ; void *l___5264 ; unsigned long l___5265 ; unsigned long l___5266 ; int l___5267 ; int l___5268 ; void *l___5269 ; unsigned long l___5270 ; unsigned long l___5271 ; int l___5272 ; int l___5273 ; void *l___5274 ; unsigned long l___5275 ; unsigned long l___5276 ; int l___5277 ; int l___5278 ; void *l___5279 ; unsigned long l___5280 ; unsigned long l___5281 ; int l___5282 ; int l___5283 ; void *l___5284 ; unsigned long l___5285 ; unsigned long l___5286 ; int l___5287 ; int l___5288 ; void *l___5289 ; unsigned long l___5290 ; unsigned long l___5291 ; int l___5292 ; int l___5293 ; void *l___5294 ; unsigned long l___5295 ; unsigned long l___5296 ; int l___5297 ; int l___5298 ; void *l___5299 ; unsigned long l___5300 ; unsigned long l___5301 ; int l___5302 ; int l___5303 ; void *l___5304 ; unsigned long l___5305 ; unsigned long l___5306 ; int l___5307 ; int l___5308 ; void *l___5309 ; unsigned long l___5310 ; unsigned long l___5311 ; int l___5312 ; int l___5313 ; void *l___5314 ; unsigned long l___5315 ; unsigned long l___5316 ; int l___5317 ; int l___5318 ; void *l___5319 ; unsigned long l___5320 ; unsigned long l___5321 ; int l___5322 ; int l___5323 ; void *l___5324 ; unsigned long l___5325 ; unsigned long l___5326 ; int l___5327 ; int l___5328 ; void *l___5329 ; unsigned long l___5330 ; unsigned long l___5331 ; int l___5332 ; int l___5333 ; void *l___5334 ; unsigned long l___5335 ; unsigned long l___5336 ; int l___5337 ; int l___5338 ; void *l___5339 ; unsigned long l___5340 ; unsigned long l___5341 ; int l___5342 ; int l___5343 ; void *l___5344 ; unsigned long l___5345 ; unsigned long l___5346 ; int l___5347 ; int l___5348 ; void *l___5349 ; unsigned long l___5350 ; unsigned long l___5351 ; int l___5352 ; int l___5353 ; void *l___5354 ; unsigned long l___5355 ; unsigned long l___5356 ; int l___5357 ; int l___5358 ; void *l___5359 ; unsigned long l___5360 ; unsigned long l___5361 ; int l___5362 ; int l___5363 ; void *l___5364 ; unsigned long l___5365 ; unsigned long l___5366 ; int l___5367 ; int l___5368 ; void *l___5369 ; unsigned long l___5370 ; unsigned long l___5371 ; int l___5372 ; int l___5373 ; void *l___5374 ; unsigned long l___5375 ; unsigned long l___5376 ; int l___5377 ; int l___5378 ; void *l___5379 ; unsigned long l___5380 ; unsigned long l___5381 ; int l___5382 ; int l___5383 ; void *l___5384 ; unsigned long l___5385 ; unsigned long l___5386 ; int l___5387 ; int l___5388 ; void *l___5389 ; unsigned long l___5390 ; unsigned long l___5391 ; int l___5392 ; int l___5393 ; void *l___5394 ; unsigned long l___5395 ; unsigned long l___5396 ; int l___5397 ; int l___5398 ; void *l___5399 ; unsigned long l___5400 ; unsigned long l___5401 ; int l___5402 ; int l___5403 ; void *l___5404 ; { { l___5159 = 85UL; } while (1) { switch (l___5159) { case 56: o___125(15, o___88); printf((char const */* __restrict */)(o___88)); { l___5159 = 82UL; } break; case 22: o___125(6, o___61); printf((char const */* __restrict */)(o___61), (int )*(l___5133 + (*((int *)(l___5154)) * 3 + l___5140))); l___5140 ++; { l___5159 = 92UL; } break; case 170: l___5144 = 0; { l___5159 = 103UL; } break; case 129: l___5139 = (char)88; { l___5159 = 153UL; } break; case 6: ; l___5162 = (*((int *)(l___5154)) < 3) != 0; l___5163 = ! l___5162; l___5160 = 100UL; l___5161 = 37UL; l___5164 = (void *)(l___5162 * l___5160 + l___5163 * l___5161); { l___5159 = l___5164; } break; case 38: ; l___5167 = (1 == *((int *)(& l___5156))) != 0; l___5168 = ! l___5167; l___5165 = 101UL; l___5166 = 118UL; l___5169 = (void *)(l___5167 * l___5165 + l___5168 * l___5166); { l___5159 = l___5169; } break; case 143: o___125(16, o___110); printf((char const */* __restrict */)(o___110)); { l___5159 = 82UL; } break; case 73: ; l___5172 = ((int )l___5139 == 88) != 0; l___5173 = ! l___5172; l___5170 = 104UL; l___5171 = 129UL; l___5174 = (void *)(l___5172 * l___5170 + l___5173 * l___5171); { l___5159 = l___5174; } break; case 64: (*((char (*)[256])(l___5158)))[*((unsigned int *)(l___5154))] = (char)0; (*((unsigned int *)(l___5154))) ++; { l___5159 = 138UL; } break; case 98: l___5141 ++; { l___5159 = 57UL; } break; case 95: o___125(19, o___140); printf((char const */* __restrict */)(o___140), l___5134); (*((char (*)[256])(l___5158)))[0] = (char)0; *((unsigned int *)(l___5154)) = 1U; { l___5159 = 138UL; } break; case 58: (*((char (*)[128])(& l___5155)))[0] = (char)0; *((unsigned int *)(& l___5144)) = 1U; { l___5159 = 4UL; } break; case 123: ; l___5177 = ((int )l___5139 == 32) != 0; l___5178 = ! l___5177; l___5175 = 135UL; l___5176 = 15UL; l___5179 = (void *)(l___5177 * l___5175 + l___5178 * l___5176); { l___5159 = l___5179; } break; case 43: ; l___5182 = l___5147 != 0; l___5183 = ! l___5182; l___5180 = 70UL; l___5181 = 169UL; l___5184 = (void *)(l___5182 * l___5180 + l___5183 * l___5181); { l___5159 = l___5184; } break; case 108: o___115(& l___5157, 8UL); *((o___65 *)(l___5153)) = strlen(l___5134); o___69(& l___5157, (void const *)l___5134, *((o___65 *)(l___5153)) - 1UL); o___72(& l___5157, (void *)(*((unsigned char (*)[8])(& l___5155))), 8UL); l___5145 = memcmp((void const *)(*((unsigned char (*)[8])(& l___5155))), (void const *)(*((unsigned char (*)[8])(l___5154))), 8UL); *((int *)l___5132) = l___5145 == 0; { l___5159 = 86UL; } break; case 75: ; l___5187 = ((int )l___5139 != (int )*(l___5133 + (l___5138 * 3 + l___5141))) != 0; l___5188 = ! l___5187; l___5185 = 44UL; l___5186 = 98UL; l___5189 = (void *)(l___5187 * l___5185 + l___5188 * l___5186); { l___5159 = l___5189; } break; case 175: ; l___5192 = l___5140 != 0; l___5193 = ! l___5192; l___5190 = 119UL; l___5191 = 127UL; l___5194 = (void *)(l___5192 * l___5190 + l___5193 * l___5191); { l___5159 = l___5194; } break; case 16: l___5148 ++; { l___5159 = 59UL; } break; case 67: ; l___5197 = (l___5147 < 0) != 0; l___5198 = ! l___5197; l___5195 = 143UL; l___5196 = 80UL; l___5199 = (void *)(l___5197 * l___5195 + l___5198 * l___5196); { l___5159 = l___5199; } break; case 28: o___125(9, o___118); printf((char const */* __restrict */)(o___118)); l___5144 ++; { l___5159 = 61UL; } break; case 155: l___5150 = 0; { l___5159 = 114UL; } break; case 139: *((int *)(& l___5157)) = 0; o___125(21, o___92); *((int *)(& l___5156)) = sscanf((char const */* __restrict */)(*((char (*)[256])(l___5158))), (char const */* __restrict */)(o___92), & *((int *)(& l___5157))); { l___5159 = 38UL; } break; case 4: ; l___5202 = (*((unsigned int *)(& l___5144)) >= 128U) != 0; l___5203 = ! l___5202; l___5200 = 13UL; l___5201 = 69UL; l___5204 = (void *)(l___5202 * l___5200 + l___5203 * l___5201); { l___5159 = l___5204; } break; case 94: ; return; break; case 39: l___5145 = 1; { l___5159 = 154UL; } break; case 112: ; return; break; case 59: ; l___5207 = (l___5148 < 3) != 0; l___5208 = ! l___5207; l___5205 = 47UL; l___5206 = 152UL; l___5209 = (void *)(l___5207 * l___5205 + l___5208 * l___5206); { l___5159 = l___5209; } break; case 80: ; l___5212 = (l___5147 > 3) != 0; l___5213 = ! l___5212; l___5210 = 97UL; l___5211 = 82UL; l___5214 = (void *)(l___5212 * l___5210 + l___5213 * l___5211); { l___5159 = l___5214; } break; case 7: o___125(7, o___127); printf((char const */* __restrict */)(o___127)); o___125(8, o___77); printf((char const */* __restrict */)(o___77)); l___5144 = 1; { l___5159 = 61UL; } break; case 33: ; l___5217 = (l___5148 < 0) != 0; l___5218 = ! l___5217; l___5215 = 31UL; l___5216 = 18UL; l___5219 = (void *)(l___5217 * l___5215 + l___5218 * l___5216); { l___5159 = l___5219; } break; case 93: ; l___5222 = ((int const )*l___5134 == 0) != 0; l___5223 = ! l___5222; l___5220 = 171UL; l___5221 = 137UL; l___5224 = (void *)(l___5222 * l___5220 + l___5223 * l___5221); { l___5159 = l___5224; } break; case 8: ; return; break; case 165: l___5152 ++; { l___5159 = 17UL; } break; case 103: ; l___5227 = l___5144 != 0; l___5228 = ! l___5227; l___5225 = 40UL; l___5226 = 172UL; l___5229 = (void *)(l___5227 * l___5225 + l___5228 * l___5226); { l___5159 = l___5229; } break; case 101: *((int *)l___5132) = *((int *)(& l___5157)); { l___5159 = 8UL; } break; case 149: ; l___5232 = (l___5142 < 3) != 0; l___5233 = ! l___5232; l___5230 = 9UL; l___5231 = 90UL; l___5234 = (void *)(l___5232 * l___5230 + l___5233 * l___5231); { l___5159 = l___5234; } break; case 157: o___125(20, o___131); printf((char const */* __restrict */)(o___131)); exit(0); break; case 115: ; return; break; case 78: l___5147 = 1; l___5148 = 1; { l___5159 = 59UL; } break; case 124: o___125(4, o___62); printf((char const */* __restrict */)(o___62)); *((int *)(l___5154)) = 0; { l___5159 = 6UL; } break; case 159: o___125(25, o___102); printf((char const */* __restrict */)(o___102)); { l___5159 = 113UL; } break; case 132: *((o___65 *)(& l___5155)) = strlen((char const *)(*((char (*)[256])(l___5158)))); (*((char (*)[256])(l___5158)))[*((o___65 *)(& l___5155)) - 1UL] = (char)0; { l___5159 = 52UL; } break; case 153: o___63((char *)(& l___5141), *((char (*)[9])(l___5158)), l___5134, l___5139, 0); { l___5159 = 128UL; } break; case 30: ; l___5237 = (l___5136 == 1) != 0; l___5238 = ! l___5237; l___5235 = 121UL; l___5236 = 63UL; l___5239 = (void *)(l___5237 * l___5235 + l___5238 * l___5236); { l___5159 = l___5239; } break; case 147: *((int *)l___5132) = 0; { l___5159 = 112UL; } break; case 160: ; l___5242 = ((int )l___5143 != (int )*(l___5133 + (l___5145 * 3 + l___5142))) != 0; l___5243 = ! l___5242; l___5240 = 170UL; l___5241 = 89UL; l___5244 = (void *)(l___5242 * l___5240 + l___5243 * l___5241); { l___5159 = l___5244; } break; case 171: *((int *)l___5132) = 0; { l___5159 = 94UL; } break; case 74: ; l___5247 = ((int const )*l___5134 == 0) != 0; l___5248 = ! l___5247; l___5245 = 147UL; l___5246 = 108UL; l___5249 = (void *)(l___5247 * l___5245 + l___5248 * l___5246); { l___5159 = l___5249; } break; case 40: *((char *)l___5132) = l___5143; { l___5159 = 41UL; } break; case 128: ; l___5252 = ((int )*((char *)(& l___5141)) == 0) != 0; l___5253 = ! l___5252; l___5250 = 84UL; l___5251 = 174UL; l___5254 = (void *)(l___5252 * l___5250 + l___5253 * l___5251); { l___5159 = l___5254; } break; case 13: o___125(23, o___106); puts(o___106); fgets((char */* __restrict */)(*((char (*)[128])(& l___5155))), 128, (o___76 */* __restrict */)stdin); o___63(& l___5147, l___5133, (char const *)(*((char (*)[128])(& l___5155))), l___5149, 1); { l___5159 = 43UL; } break; case 70: o___63(0, l___5133, l___5134, l___5149, 7); { l___5159 = 162UL; } break; case 17: ; l___5257 = (l___5152 < 3) != 0; l___5258 = ! l___5257; l___5255 = 5UL; l___5256 = 19UL; l___5259 = (void *)(l___5257 * l___5255 + l___5258 * l___5256); { l___5159 = l___5259; } break; case 140: ; l___5262 = ((int )*(l___5133 + (l___5151 * 3 + ((3 - l___5151) - 1))) != (int )l___5149) != 0; l___5263 = ! l___5262; l___5260 = 155UL; l___5261 = 126UL; l___5264 = (void *)(l___5262 * l___5260 + l___5263 * l___5261); { l___5159 = l___5264; } break; case 158: ; { l___5159 = 35UL; } break; case 172: l___5142 ++; { l___5159 = 149UL; } break; case 105: o___125(11, o___95); printf((char const */* __restrict */)(o___95), (int )l___5135); o___125(12, o___143); o___63(& l___5150, l___5133, o___143, l___5139, 5); l___5148 = l___5150 - 1; o___125(13, o___145); o___63((int *)(& l___5155), l___5133, o___145, l___5135, 5); l___5147 = *((int *)(& l___5155)) - 1; { l___5159 = 33UL; } break; case 152: ; l___5267 = l___5147 != 0; l___5268 = ! l___5267; l___5265 = 148UL; l___5266 = 54UL; l___5269 = (void *)(l___5267 * l___5265 + l___5268 * l___5266); { l___5159 = l___5269; } break; case 92: ; l___5272 = (l___5140 < 3) != 0; l___5273 = ! l___5272; l___5270 = 22UL; l___5271 = 7UL; l___5274 = (void *)(l___5272 * l___5270 + l___5273 * l___5271); { l___5159 = l___5274; } break; case 69: (*((char (*)[128])(& l___5155)))[*((unsigned int *)(& l___5144))] = (char)0; (*((unsigned int *)(& l___5144))) ++; { l___5159 = 4UL; } break; case 19: *((char *)l___5132) = (char)32; { l___5159 = 36UL; } break; case 62: o___125(18, o___80); printf((char const */* __restrict */)(o___80)); { l___5159 = 105UL; } break; case 162: *((int *)l___5132) = 0; { l___5159 = 32UL; } break; case 63: ; l___5277 = (l___5136 == 2) != 0; l___5278 = ! l___5277; l___5275 = 161UL; l___5276 = 45UL; l___5279 = (void *)(l___5277 * l___5275 + l___5278 * l___5276); { l___5159 = l___5279; } break; case 106: memset((void *)(*((char (*)[9])(l___5158))), 32, 9UL); l___5139 = (char)88; { l___5159 = 153UL; } break; case 126: l___5151 ++; { l___5159 = 146UL; } break; case 57: ; l___5282 = (l___5141 < 3) != 0; l___5283 = ! l___5282; l___5280 = 75UL; l___5281 = 175UL; l___5284 = (void *)(l___5282 * l___5280 + l___5283 * l___5281); { l___5159 = l___5284; } break; case 144: ; return; break; case 35: ; return; break; case 89: l___5145 ++; { l___5159 = 154UL; } break; case 9: l___5143 = *(l___5133 + l___5142); l___5144 = 1; { l___5159 = 151UL; } break; case 130: ; return; break; case 49: ; l___5287 = l___5141 != 0; l___5288 = ! l___5287; l___5285 = 157UL; l___5286 = 139UL; l___5289 = (void *)(l___5287 * l___5285 + l___5288 * l___5286); { l___5159 = l___5289; } break; case 125: o___125(10, o___114); printf((char const */* __restrict */)(o___114)); (*((int *)(l___5154))) ++; { l___5159 = 6UL; } break; case 138: ; l___5292 = (*((unsigned int *)(l___5154)) >= 256U) != 0; l___5293 = ! l___5292; l___5290 = 25UL; l___5291 = 64UL; l___5294 = (void *)(l___5292 * l___5290 + l___5293 * l___5291); { l___5159 = l___5294; } break; case 11: o___125(0, o___138); printf((char const */* __restrict */)(o___138)); *((int *)(l___5153)) = 0; { l___5159 = 71UL; } break; case 104: l___5139 = (char)79; { l___5159 = 153UL; } break; case 41: ; return; break; case 174: ; l___5297 = ((int )*((char *)(& l___5141)) == 32) != 0; l___5298 = ! l___5297; l___5295 = 159UL; l___5296 = 55UL; l___5299 = (void *)(l___5297 * l___5295 + l___5298 * l___5296); { l___5159 = l___5299; } break; case 45: ; l___5302 = (l___5136 == 3) != 0; l___5303 = ! l___5302; l___5300 = 11UL; l___5301 = 65UL; l___5304 = (void *)(l___5302 * l___5300 + l___5303 * l___5301); { l___5159 = l___5304; } break; case 166: o___125(1, o___64); printf((char const */* __restrict */)(o___64), *((int *)(l___5153)) + 1); (*((int *)(l___5153))) ++; { l___5159 = 71UL; } break; case 136: ; return; break; case 119: *((char *)l___5132) = l___5139; { l___5159 = 136UL; } break; case 118: ; l___5307 = (*((char (*)[256])(l___5158)))[0] != 0; l___5308 = ! l___5307; l___5305 = 132UL; l___5306 = 52UL; l___5309 = (void *)(l___5307 * l___5305 + l___5308 * l___5306); { l___5159 = l___5309; } break; case 113: ; return; break; case 54: l___5149 = *(l___5133 + 2); { l___5159 = 131UL; } break; case 154: ; l___5312 = (l___5145 < 3) != 0; l___5313 = ! l___5312; l___5310 = 160UL; l___5311 = 103UL; l___5314 = (void *)(l___5312 * l___5310 + l___5313 * l___5311); { l___5159 = l___5314; } break; case 151: ; l___5317 = ((int )l___5143 == 32) != 0; l___5318 = ! l___5317; l___5315 = 90UL; l___5316 = 39UL; l___5319 = (void *)(l___5317 * l___5315 + l___5318 * l___5316); { l___5159 = l___5319; } break; case 23: *((char *)l___5132) = l___5149; { l___5159 = 115UL; } break; case 127: l___5138 ++; { l___5159 = 111UL; } break; case 167: ; l___5322 = (l___5136 == 6) != 0; l___5323 = ! l___5322; l___5320 = 58UL; l___5321 = 134UL; l___5324 = (void *)(l___5322 * l___5320 + l___5323 * l___5321); { l___5159 = l___5324; } break; case 161: (*((unsigned char (*)[8])(l___5154)))[0] = (unsigned char)133; (*((unsigned char (*)[8])(l___5154)))[1] = (unsigned char)129; (*((unsigned char (*)[8])(l___5154)))[2] = (unsigned char)120; (*((unsigned char (*)[8])(l___5154)))[3] = (unsigned char)37; (*((unsigned char (*)[8])(l___5154)))[4] = (unsigned char)86; (*((unsigned char (*)[8])(l___5154)))[5] = (unsigned char)51; (*((unsigned char (*)[8])(l___5154)))[6] = (unsigned char)131; (*((unsigned char (*)[8])(l___5154)))[7] = (unsigned char)51; { l___5159 = 74UL; } break; case 146: ; l___5327 = (l___5151 < 3) != 0; l___5328 = ! l___5327; l___5325 = 140UL; l___5326 = 114UL; l___5329 = (void *)(l___5327 * l___5325 + l___5328 * l___5326); { l___5159 = l___5329; } break; case 107: l___5152 = 0; { l___5159 = 17UL; } break; case 86: ; return; break; case 61: ; l___5332 = (l___5144 < 2) != 0; l___5333 = ! l___5332; l___5330 = 28UL; l___5331 = 125UL; l___5334 = (void *)(l___5332 * l___5330 + l___5333 * l___5331); { l___5159 = l___5334; } break; case 1: ; return; break; case 135: l___5142 = 0; { l___5159 = 149UL; } break; case 137: o___115(& l___5155, 8UL); l___5156 = strlen(l___5134); o___69(& l___5155, (void const *)l___5134, l___5156 - 1UL); o___72(& l___5155, (void *)(*((unsigned char (*)[8])(l___5153))), 8UL); l___5144 = memcmp((void const *)(*((unsigned char (*)[8])(l___5153))), (void const *)(*((unsigned char (*)[8])(l___5154))), 8UL); *((int *)l___5132) = l___5144 == 0; { l___5159 = 130UL; } break; case 79: ; return; break; case 85: ; l___5337 = (l___5136 == 0) != 0; l___5338 = ! l___5337; l___5335 = 87UL; l___5336 = 30UL; l___5339 = (void *)(l___5337 * l___5335 + l___5338 * l___5336); { l___5159 = l___5339; } break; case 148: *((char *)l___5132) = l___5146; { l___5159 = 1UL; } break; case 27: *(l___5133 + (l___5148 * 3 + l___5147)) = l___5135; { l___5159 = 144UL; } break; case 31: o___125(14, o___128); printf((char const */* __restrict */)(o___128)); { l___5159 = 82UL; } break; case 102: ; l___5342 = ((int )l___5146 != 32) != 0; l___5343 = ! l___5342; l___5340 = 78UL; l___5341 = 54UL; l___5344 = (void *)(l___5342 * l___5340 + l___5343 * l___5341); { l___5159 = l___5344; } break; case 60: l___5150 = 1; l___5151 = 1; { l___5159 = 146UL; } break; case 82: ; l___5347 = ((int )*(l___5133 + (l___5148 * 3 + l___5147)) != 32) != 0; l___5348 = ! l___5347; l___5345 = 62UL; l___5346 = 27UL; l___5349 = (void *)(l___5347 * l___5345 + l___5348 * l___5346); { l___5159 = l___5349; } break; case 52: o___125(22, o___105); printf((char const */* __restrict */)(o___105), *((char (*)[256])(l___5158))); { l___5159 = 95UL; } break; case 36: ; return; break; case 68: ; l___5352 = (l___5141 < 3) != 0; l___5353 = ! l___5352; l___5350 = 141UL; l___5351 = 124UL; l___5354 = (void *)(l___5352 * l___5350 + l___5353 * l___5351); { l___5159 = l___5354; } break; case 44: l___5140 = 0; { l___5159 = 175UL; } break; case 25: fgets((char */* __restrict */)(*((char (*)[256])(l___5158))), 256, (o___76 */* __restrict */)stdin); o___63(& l___5141, l___5133, (char const *)(*((char (*)[256])(l___5158))), l___5135, 2); { l___5159 = 49UL; } break; case 15: l___5141 = 1; { l___5159 = 57UL; } break; case 142: o___125(2, o___119); printf((char const */* __restrict */)(o___119)); l___5141 = 0; { l___5159 = 68UL; } break; case 65: ; l___5357 = (l___5136 == 4) != 0; l___5358 = ! l___5357; l___5355 = 105UL; l___5356 = 46UL; l___5359 = (void *)(l___5357 * l___5355 + l___5358 * l___5356); { l___5159 = l___5359; } break; case 111: ; l___5362 = (l___5138 < 3) != 0; l___5363 = ! l___5362; l___5360 = 76UL; l___5361 = 135UL; l___5364 = (void *)(l___5362 * l___5360 + l___5363 * l___5361); { l___5159 = l___5364; } break; case 37: ; return; break; case 81: l___5147 = 0; { l___5159 = 152UL; } break; case 46: ; l___5367 = (l___5136 == 5) != 0; l___5368 = ! l___5367; l___5365 = 95UL; l___5366 = 167UL; l___5369 = (void *)(l___5367 * l___5365 + l___5368 * l___5366); { l___5159 = l___5369; } break; case 114: ; l___5372 = l___5150 != 0; l___5373 = ! l___5372; l___5370 = 23UL; l___5371 = 107UL; l___5374 = (void *)(l___5372 * l___5370 + l___5373 * l___5371); { l___5159 = l___5374; } break; case 55: o___125(26, o___57); printf((char const */* __restrict */)(o___57), (int )*((char *)(& l___5141))); { l___5159 = 113UL; } break; case 87: l___5138 = 0; { l___5159 = 111UL; } break; case 97: o___125(17, o___126); printf((char const */* __restrict */)(o___126)); { l___5159 = 82UL; } break; case 84: o___63(0, *((char (*)[9])(l___5158)), l___5134, l___5143, 3); o___63(0, *((char (*)[9])(l___5158)), l___5134, l___5139, 4); { l___5159 = 73UL; } break; case 100: o___125(5, o___78); printf((char const */* __restrict */)(o___78), *((int *)(l___5154)) + 1); l___5140 = 0; { l___5159 = 92UL; } break; case 134: ; l___5377 = (l___5136 == 7) != 0; l___5378 = ! l___5377; l___5375 = 106UL; l___5376 = 158UL; l___5379 = (void *)(l___5377 * l___5375 + l___5378 * l___5376); { l___5159 = l___5379; } break; case 32: ; return; break; case 76: l___5139 = *(l___5133 + l___5138 * 3); l___5140 = 1; { l___5159 = 123UL; } break; case 164: *((char *)l___5132) = (char)0; { l___5159 = 79UL; } break; case 169: o___125(24, o___100); printf((char const */* __restrict */)(o___100)); { l___5159 = 162UL; } break; case 90: l___5146 = *(l___5133 + 0); { l___5159 = 102UL; } break; case 71: ; l___5382 = (*((int *)(l___5153)) < 3) != 0; l___5383 = ! l___5382; l___5380 = 166UL; l___5381 = 142UL; l___5384 = (void *)(l___5382 * l___5380 + l___5383 * l___5381); { l___5159 = l___5384; } break; case 18: ; l___5387 = (l___5148 > 3) != 0; l___5388 = ! l___5387; l___5385 = 56UL; l___5386 = 67UL; l___5389 = (void *)(l___5387 * l___5385 + l___5388 * l___5386); { l___5159 = l___5389; } break; case 141: o___125(3, o___84); printf((char const */* __restrict */)(o___84)); l___5141 ++; { l___5159 = 68UL; } break; case 131: ; l___5392 = ((int )l___5149 != 32) != 0; l___5393 = ! l___5392; l___5390 = 60UL; l___5391 = 107UL; l___5394 = (void *)(l___5392 * l___5390 + l___5393 * l___5391); { l___5159 = l___5394; } break; case 5: ; l___5397 = ((int )*(l___5133 + l___5152) == 32) != 0; l___5398 = ! l___5397; l___5395 = 164UL; l___5396 = 165UL; l___5399 = (void *)(l___5397 * l___5395 + l___5398 * l___5396); { l___5159 = l___5399; } break; case 121: (*((unsigned char (*)[8])(l___5154)))[0] = (unsigned char)105; (*((unsigned char (*)[8])(l___5154)))[1] = (unsigned char)66; (*((unsigned char (*)[8])(l___5154)))[2] = (unsigned char)188; (*((unsigned char (*)[8])(l___5154)))[3] = (unsigned char)210; (*((unsigned char (*)[8])(l___5154)))[4] = (unsigned char)232; (*((unsigned char (*)[8])(l___5154)))[5] = (unsigned char)162; (*((unsigned char (*)[8])(l___5154)))[6] = (unsigned char)206; (*((unsigned char (*)[8])(l___5154)))[7] = (unsigned char)192; { l___5159 = 93UL; } break; case 47: ; l___5402 = ((int )*(l___5133 + (l___5148 * 3 + l___5148)) != (int )l___5146) != 0; l___5403 = ! l___5402; l___5400 = 81UL; l___5401 = 16UL; l___5404 = (void *)(l___5402 * l___5400 + l___5403 * l___5401); { l___5159 = l___5404; } break; } } } } __inline static o___67 rotr64(o___67 const l___5484 , unsigned int const l___5485 ) { unsigned long l___5487 ; { { l___5487 = 0UL; } while (1) { switch (l___5487) { case 0: ; return ((o___67 )((l___5484 >> l___5485) | (l___5484 << (64U - l___5485)))); break; } } } } int o___89(o___60 *l___5650 , o___79 const *l___5651 ) { o___97 const *l___5653 ; o___65 l___5654 ; o___67 l___5655 ; unsigned long l___5656 ; unsigned long l___5657 ; unsigned long l___5658 ; int l___5659 ; int l___5660 ; void *l___5661 ; { { l___5656 = 5UL; } while (1) { switch (l___5656) { case 4: ; return (0); break; case 1: l___5655 = load64((void const *)(l___5653 + 8UL * l___5654)); l___5650->f___47[l___5654] ^= l___5655; l___5654 ++; { l___5656 = 3UL; } break; case 5: l___5653 = (o___97 const *)l___5651; o___122(l___5650); l___5654 = 0UL; { l___5656 = 3UL; } break; case 3: ; l___5659 = (l___5654 < 8UL) != 0; l___5660 = ! l___5659; l___5657 = 1UL; l___5658 = 0UL; l___5661 = (void *)(l___5659 * l___5657 + l___5660 * l___5658); { l___5656 = l___5661; } break; case 0: l___5650->f___52 = (o___65 )l___5651->f___34; { l___5656 = 4UL; } break; } } } } __inline static void store64(void *l___5405 , o___67 l___5406 ) { o___97 *l___5408 ; unsigned long l___5409 ; { { l___5409 = 1UL; } while (1) { switch (l___5409) { case 0: ; return; break; case 1: l___5408 = (o___97 *)l___5405; *(l___5408 + 0) = (o___97 )l___5406; *(l___5408 + 1) = (o___97 )(l___5406 >> 8); *(l___5408 + 2) = (o___97 )(l___5406 >> 16); *(l___5408 + 3) = (o___97 )(l___5406 >> 24); *(l___5408 + 4) = (o___97 )(l___5406 >> 32); *(l___5408 + 5) = (o___97 )(l___5406 >> 40); *(l___5408 + 6) = (o___97 )(l___5406 >> 48); *(l___5408 + 7) = (o___97 )(l___5406 >> 56); { l___5409 = 0UL; } break; } } } } void o___129(void) { { } } void o___139(void) { { } } static void o___120(o___60 *l___5476 ) { unsigned long l___5478 ; unsigned long l___5479 ; unsigned long l___5480 ; int l___5481 ; int l___5482 ; void *l___5483 ; { { l___5478 = 1UL; } while (1) { switch (l___5478) { case 3: l___5476->f___49[0] = 0xffffffffffffffffUL; { l___5478 = 2UL; } break; case 0: o___124(l___5476); { l___5478 = 3UL; } break; case 1: ; l___5481 = l___5476->f___53 != 0; l___5482 = ! l___5481; l___5479 = 0UL; l___5480 = 3UL; l___5483 = (void *)(l___5481 * l___5479 + l___5482 * l___5480); { l___5478 = l___5483; } break; case 2: ; return; break; } } } } int o___136(void *l___5560 , o___65 l___5561 , void const *l___5562 , o___65 l___5563 , void const *l___5564 , o___65 l___5565 ) { int l___5567 ; unsigned long l___5568 ; { { l___5568 = 1UL; } while (1) { switch (l___5568) { case 1: l___5567 = o___68(l___5560, l___5561, l___5562, l___5563, l___5564, l___5565); { l___5568 = 0UL; } break; case 0: ; return (l___5567); break; } } } } int o___111(o___60 *l___5611 , o___65 l___5612 , void const *l___5613 , o___65 l___5614 ) { o___79 l___5616[1] ; int l___5617 ; o___97 l___5618[128] ; unsigned long l___5619 ; unsigned long l___5620 ; unsigned long l___5621 ; int l___5622 ; int l___5623 ; void *l___5624 ; unsigned long l___5625 ; unsigned long l___5626 ; int l___5627 ; int l___5628 ; void *l___5629 ; unsigned long l___5630 ; unsigned long l___5631 ; int l___5632 ; int l___5633 ; void *l___5634 ; unsigned long l___5635 ; unsigned long l___5636 ; int l___5637 ; int l___5638 ; void *l___5639 ; unsigned long l___5640 ; unsigned long l___5641 ; int l___5642 ; int l___5643 ; void *l___5644 ; unsigned long l___5645 ; unsigned long l___5646 ; int l___5647 ; int l___5648 ; void *l___5649 ; { { l___5619 = 13UL; } while (1) { switch (l___5619) { case 6: ; return (-1); break; case 2: ; l___5622 = ! l___5613 != 0; l___5623 = ! l___5622; l___5620 = 6UL; l___5621 = 3UL; l___5624 = (void *)(l___5622 * l___5620 + l___5623 * l___5621); { l___5619 = l___5624; } break; case 12: ; return (-1); break; case 11: ; l___5627 = (l___5612 > 64UL) != 0; l___5628 = ! l___5627; l___5625 = 0UL; l___5626 = 2UL; l___5629 = (void *)(l___5627 * l___5625 + l___5628 * l___5626); { l___5619 = l___5629; } break; case 4: ; return (-1); break; case 9: l___5616[0].f___34 = (o___97 )l___5612; l___5616[0].f___35 = (o___97 )l___5614; l___5616[0].f___36 = (unsigned char)1; l___5616[0].f___37 = (unsigned char)1; store32((void *)(& l___5616[0].f___38), 0U); store32((void *)(& l___5616[0].f___39), 0U); store32((void *)(& l___5616[0].f___40), 0U); l___5616[0].f___41 = (unsigned char)0; l___5616[0].f___42 = (unsigned char)0; memset((void *)(l___5616[0].f___43), 0, 14UL); memset((void *)(l___5616[0].f___44), 0, 16UL); memset((void *)(l___5616[0].f___45), 0, 16UL); l___5617 = o___89(l___5611, (o___79 const *)(l___5616)); { l___5619 = 7UL; } break; case 1: ; return (-1); break; case 8: ; l___5632 = (l___5614 > 64UL) != 0; l___5633 = ! l___5632; l___5630 = 4UL; l___5631 = 9UL; l___5634 = (void *)(l___5632 * l___5630 + l___5633 * l___5631); { l___5619 = l___5634; } break; case 10: ; return (-1); break; case 3: ; l___5637 = ! l___5614 != 0; l___5638 = ! l___5637; l___5635 = 12UL; l___5636 = 8UL; l___5639 = (void *)(l___5637 * l___5635 + l___5638 * l___5636); { l___5619 = l___5639; } break; case 7: ; l___5642 = (l___5617 < 0) != 0; l___5643 = ! l___5642; l___5640 = 10UL; l___5641 = 5UL; l___5644 = (void *)(l___5642 * l___5640 + l___5643 * l___5641); { l___5619 = l___5644; } break; case 0: ; return (-1); break; case 13: ; l___5647 = ! l___5612 != 0; l___5648 = ! l___5647; l___5645 = 1UL; l___5646 = 11UL; l___5649 = (void *)(l___5647 * l___5645 + l___5648 * l___5646); { l___5619 = l___5649; } break; case 5: memset((void *)(l___5618), 0, 128UL); memcpy((void */* __restrict */)(l___5618), (void const */* __restrict */)l___5613, l___5614); o___69(l___5611, (void const *)(l___5618), 128UL); secure_zero_memory((void *)(l___5618), 128UL); { l___5619 = 14UL; } break; case 14: ; return (0); break; } } } } void o___130(void) { { } } void o___116(void) { { } } void o___94(void) { { } } static void o___107(o___60 *l___5522 , o___97 const *l___5523 ) { o___67 l___5525[16] ; o___67 l___5526[16] ; o___65 l___5527 ; unsigned long l___5528 ; unsigned long l___5529 ; unsigned long l___5530 ; int l___5531 ; int l___5532 ; void *l___5533 ; unsigned long l___5534 ; unsigned long l___5535 ; int l___5536 ; int l___5537 ; void *l___5538 ; unsigned long l___5539 ; unsigned long l___5540 ; int l___5541 ; int l___5542 ; void *l___5543 ; { { l___5528 = 158UL; } while (1) { switch (l___5528) { case 43: l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[2][8]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 32U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 24U); l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[2][9]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 16U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 63U); { l___5528 = 276UL; } break; case 196: l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[4][6]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 32U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 24U); l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[4][7]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 16U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 63U); { l___5528 = 316UL; } break; case 266: l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[7][6]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 32U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 24U); l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[7][7]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 16U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 63U); { l___5528 = 245UL; } break; case 131: l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[10][2]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 32U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 24U); l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[10][3]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 16U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 63U); { l___5528 = 237UL; } break; case 10: l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[9][0]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 32U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 24U); l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[9][1]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 16U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 63U); { l___5528 = 56UL; } break; case 270: l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[8][6]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 32U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 24U); l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[8][7]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 16U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 63U); { l___5528 = 109UL; } break; case 222: l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[10][12]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 32U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 24U); l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[10][13]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 16U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 63U); { l___5528 = 91UL; } break; case 308: l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[4][4]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 32U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 24U); l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[4][5]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 16U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 63U); { l___5528 = 196UL; } break; case 291: l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[7][4]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 32U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 24U); l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[7][5]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 16U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 63U); { l___5528 = 266UL; } break; case 58: l___5525[l___5527] = load64((void const *)(l___5523 + l___5527 * 8UL)); l___5527 ++; { l___5528 = 41UL; } break; case 144: l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[8][4]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 32U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 24U); l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[8][5]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 16U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 63U); { l___5528 = 270UL; } break; case 324: l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[10][0]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 32U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 24U); l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[10][1]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 16U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 63U); { l___5528 = 131UL; } break; case 93: l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[7][0]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 32U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 24U); l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[7][1]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 16U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 63U); { l___5528 = 210UL; } break; case 280: l___5526[l___5527] = l___5522->f___47[l___5527]; l___5527 ++; { l___5528 = 32UL; } break; case 258: l___5526[8] = (o___67 )o___135[0]; l___5526[9] = (o___67 )o___135[1]; l___5526[10] = (o___67 )o___135[2]; l___5526[11] = (o___67 )o___135[3]; l___5526[12] = (o___67 )(o___135[4] ^ (unsigned long const )l___5522->f___48[0]); l___5526[13] = (o___67 )(o___135[5] ^ (unsigned long const )l___5522->f___48[1]); l___5526[14] = (o___67 )(o___135[6] ^ (unsigned long const )l___5522->f___49[0]); l___5526[15] = (o___67 )(o___135[7] ^ (unsigned long const )l___5522->f___49[1]); { l___5528 = 220UL; } break; case 121: l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[5][12]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 32U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 24U); l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[5][13]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 16U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 63U); { l___5528 = 239UL; } break; case 23: l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[10][10]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 32U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 24U); l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[10][11]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 16U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 63U); { l___5528 = 222UL; } break; case 239: l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[5][14]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 32U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 24U); l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[5][15]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 16U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 63U); { l___5528 = 265UL; } break; case 306: l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[9][14]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 32U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 24U); l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[9][15]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 16U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 63U); { l___5528 = 324UL; } break; case 38: l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[2][6]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 32U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 24U); l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[2][7]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 16U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 63U); { l___5528 = 43UL; } break; case 86: l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[0][12]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 32U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 24U); l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[0][13]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 16U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 63U); { l___5528 = 50UL; } break; case 245: l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[7][8]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 32U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 24U); l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[7][9]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 16U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 63U); { l___5528 = 312UL; } break; case 158: l___5527 = 0UL; { l___5528 = 41UL; } break; case 255: ; return; break; case 153: ; l___5531 = (l___5527 < 8UL) != 0; l___5532 = ! l___5531; l___5529 = 294UL; l___5530 = 255UL; l___5533 = (void *)(l___5531 * l___5529 + l___5532 * l___5530); { l___5528 = l___5533; } break; case 109: l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[8][8]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 32U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 24U); l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[8][9]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 16U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 63U); { l___5528 = 173UL; } break; case 293: l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[3][10]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 32U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 24U); l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[3][11]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 16U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 63U); { l___5528 = 181UL; } break; case 137: l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[6][4]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 32U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 24U); l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[6][5]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 16U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 63U); { l___5528 = 6UL; } break; case 80: l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[8][14]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 32U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 24U); l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[8][15]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 16U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 63U); { l___5528 = 10UL; } break; case 210: l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[7][2]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 32U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 24U); l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[7][3]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 16U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 63U); { l___5528 = 291UL; } break; case 195: l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[4][0]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 32U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 24U); l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[4][1]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 16U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 63U); { l___5528 = 284UL; } break; case 237: l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[10][4]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 32U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 24U); l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[10][5]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 16U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 63U); { l___5528 = 313UL; } break; case 295: l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[1][4]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 32U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 24U); l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[1][5]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 16U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 63U); { l___5528 = 45UL; } break; case 85: l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[9][8]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 32U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 24U); l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[9][9]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 16U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 63U); { l___5528 = 129UL; } break; case 162: l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[1][14]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 32U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 24U); l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[1][15]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 16U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 63U); { l___5528 = 12UL; } break; case 284: l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[4][2]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 32U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 24U); l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[4][3]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 16U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 63U); { l___5528 = 308UL; } break; case 36: l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[2][12]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 32U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 24U); l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[2][13]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 16U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 63U); { l___5528 = 219UL; } break; case 51: l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[3][6]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 32U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 24U); l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[3][7]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 16U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 63U); { l___5528 = 194UL; } break; case 220: l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[0][0]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 32U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 24U); l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[0][1]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 16U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 63U); { l___5528 = 46UL; } break; case 26: l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[0][4]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 32U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 24U); l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[0][5]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 16U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 63U); { l___5528 = 241UL; } break; case 167: l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[7][12]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 32U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 24U); l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[7][13]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 16U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 63U); { l___5528 = 3UL; } break; case 115: l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[0][8]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 32U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 24U); l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[0][9]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 16U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 63U); { l___5528 = 207UL; } break; case 12: l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[2][0]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 32U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 24U); l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[2][1]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 16U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 63U); { l___5528 = 132UL; } break; case 129: l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[9][10]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 32U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 24U); l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[9][11]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 16U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 63U); { l___5528 = 136UL; } break; case 139: l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[8][2]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 32U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 24U); l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[8][3]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 16U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 63U); { l___5528 = 144UL; } break; case 276: l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[2][10]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 32U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 24U); l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[2][11]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 16U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 63U); { l___5528 = 36UL; } break; case 189: l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[6][8]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 32U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 24U); l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[6][9]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 16U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 63U); { l___5528 = 2UL; } break; case 3: l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[7][14]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 32U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 24U); l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[7][15]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 16U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 63U); { l___5528 = 256UL; } break; case 40: l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[1][8]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 32U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 24U); l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[1][9]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 16U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 63U); { l___5528 = 166UL; } break; case 16: l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[3][2]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 32U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 24U); l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[3][3]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 16U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 63U); { l___5528 = 209UL; } break; case 256: l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[8][0]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 32U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 24U); l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[8][1]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 16U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 63U); { l___5528 = 139UL; } break; case 41: ; l___5536 = (l___5527 < 16UL) != 0; l___5537 = ! l___5536; l___5534 = 58UL; l___5535 = 78UL; l___5538 = (void *)(l___5536 * l___5534 + l___5537 * l___5535); { l___5528 = l___5538; } break; case 274: l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[11][4]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 32U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 24U); l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[11][5]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 16U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 63U); { l___5528 = 140UL; } break; case 91: l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[10][14]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 32U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 24U); l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[10][15]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 16U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 63U); { l___5528 = 149UL; } break; case 2: l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[6][10]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 32U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 24U); l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[6][11]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 16U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 63U); { l___5528 = 228UL; } break; case 272: l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[8][12]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 32U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 24U); l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[8][13]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 16U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 63U); { l___5528 = 80UL; } break; case 55: l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[3][14]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 32U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 24U); l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[3][15]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 16U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 63U); { l___5528 = 195UL; } break; case 24: l___5527 = 0UL; { l___5528 = 153UL; } break; case 194: l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[3][8]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 32U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 24U); l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[3][9]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 16U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 63U); { l___5528 = 293UL; } break; case 302: l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[9][6]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 32U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 24U); l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[9][7]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 16U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 63U); { l___5528 = 85UL; } break; case 77: l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[11][14]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 32U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 24U); l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[11][15]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 16U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 63U); { l___5528 = 24UL; } break; case 132: l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[2][2]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 32U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 24U); l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[2][3]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 16U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 63U); { l___5528 = 54UL; } break; case 219: l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[2][14]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 32U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 24U); l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[2][15]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 16U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 63U); { l___5528 = 5UL; } break; case 111: l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[5][6]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 32U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 24U); l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[5][7]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 16U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 63U); { l___5528 = 221UL; } break; case 230: l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[5][0]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 32U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 24U); l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[5][1]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 16U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 63U); { l___5528 = 39UL; } break; case 294: l___5522->f___47[l___5527] = (l___5522->f___47[l___5527] ^ l___5526[l___5527]) ^ l___5526[l___5527 + 8UL]; l___5527 ++; { l___5528 = 153UL; } break; case 147: l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[1][12]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 32U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 24U); l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[1][13]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 16U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 63U); { l___5528 = 162UL; } break; case 78: l___5527 = 0UL; { l___5528 = 32UL; } break; case 102: l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[4][12]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 32U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 24U); l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[4][13]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 16U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 63U); { l___5528 = 74UL; } break; case 5: l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[3][0]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 32U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 24U); l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[3][1]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 16U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 63U); { l___5528 = 16UL; } break; case 39: l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[5][2]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 32U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 24U); l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[5][3]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 16U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 63U); { l___5528 = 318UL; } break; case 316: l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[4][8]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 32U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 24U); l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[4][9]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 16U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 63U); { l___5528 = 296UL; } break; case 221: l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[5][8]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 32U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 24U); l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[5][9]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 16U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 63U); { l___5528 = 83UL; } break; case 136: l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[9][12]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 32U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 24U); l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[9][13]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 16U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 63U); { l___5528 = 306UL; } break; case 318: l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[5][4]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 32U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 24U); l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[5][5]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 16U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 63U); { l___5528 = 111UL; } break; case 228: l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[6][12]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 32U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 24U); l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[6][13]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 16U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 63U); { l___5528 = 217UL; } break; case 301: l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[6][2]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 32U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 24U); l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[6][3]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 16U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 63U); { l___5528 = 137UL; } break; case 81: l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[11][2]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 32U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 24U); l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[11][3]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 16U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 63U); { l___5528 = 274UL; } break; case 105: l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[11][12]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 32U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 24U); l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[11][13]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 16U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 63U); { l___5528 = 77UL; } break; case 6: l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[6][6]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 32U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 24U); l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[6][7]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 16U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 63U); { l___5528 = 189UL; } break; case 54: l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[2][4]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 32U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 24U); l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[2][5]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 16U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 63U); { l___5528 = 38UL; } break; case 50: l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[0][14]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 32U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 24U); l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[0][15]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 16U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 63U); { l___5528 = 232UL; } break; case 46: l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[0][2]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 32U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 24U); l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[0][3]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 16U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 63U); { l___5528 = 26UL; } break; case 217: l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[6][14]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 32U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 24U); l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[6][15]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 16U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 63U); { l___5528 = 93UL; } break; case 32: ; l___5541 = (l___5527 < 8UL) != 0; l___5542 = ! l___5541; l___5539 = 280UL; l___5540 = 258UL; l___5543 = (void *)(l___5541 * l___5539 + l___5542 * l___5540); { l___5528 = l___5543; } break; case 181: l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[3][12]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 32U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 24U); l___5526[2] = (l___5526[2] + l___5526[7]) + l___5525[o___98[3][13]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[2]), 16U); l___5526[8] += l___5526[13]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[8]), 63U); { l___5528 = 55UL; } break; case 200: l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[11][10]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 32U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 24U); l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[11][11]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 16U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 63U); { l___5528 = 105UL; } break; case 296: l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[4][10]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 32U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 24U); l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[4][11]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 16U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 63U); { l___5528 = 102UL; } break; case 149: l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[11][0]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 32U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 24U); l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[11][1]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 16U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 63U); { l___5528 = 81UL; } break; case 241: l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[0][6]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 32U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 24U); l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[0][7]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 16U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 63U); { l___5528 = 115UL; } break; case 166: l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[1][10]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 32U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 24U); l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[1][11]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 16U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 63U); { l___5528 = 147UL; } break; case 303: l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[10][8]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 32U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 24U); l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[10][9]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 16U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 63U); { l___5528 = 23UL; } break; case 45: l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[1][6]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 32U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 24U); l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[1][7]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 16U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 63U); { l___5528 = 40UL; } break; case 56: l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[9][2]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 32U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 24U); l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[9][3]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 16U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 63U); { l___5528 = 146UL; } break; case 83: l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[5][10]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 32U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 24U); l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[5][11]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 16U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 63U); { l___5528 = 121UL; } break; case 282: l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[11][8]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 32U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 24U); l___5526[0] = (l___5526[0] + l___5526[5]) + l___5525[o___98[11][9]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[0]), 16U); l___5526[10] += l___5526[15]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[10]), 63U); { l___5528 = 200UL; } break; case 313: l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[10][6]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 32U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 24U); l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[10][7]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 16U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 63U); { l___5528 = 303UL; } break; case 146: l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[9][4]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 32U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 24U); l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[9][5]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 16U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 63U); { l___5528 = 302UL; } break; case 207: l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[0][10]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 32U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 24U); l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[0][11]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 16U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 63U); { l___5528 = 86UL; } break; case 232: l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[1][0]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 32U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 24U); l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[1][1]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 16U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 63U); { l___5528 = 249UL; } break; case 249: l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[1][2]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 32U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 24U); l___5526[1] = (l___5526[1] + l___5526[5]) + l___5525[o___98[1][3]]; l___5526[13] = rotr64((o___67 const )(l___5526[13] ^ l___5526[1]), 16U); l___5526[9] += l___5526[13]; l___5526[5] = rotr64((o___67 const )(l___5526[5] ^ l___5526[9]), 63U); { l___5528 = 295UL; } break; case 312: l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[7][10]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 32U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 24U); l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[7][11]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 16U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 63U); { l___5528 = 167UL; } break; case 265: l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[6][0]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 32U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 24U); l___5526[0] = (l___5526[0] + l___5526[4]) + l___5525[o___98[6][1]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[0]), 16U); l___5526[8] += l___5526[12]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[8]), 63U); { l___5528 = 301UL; } break; case 173: l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[8][10]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 32U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 24U); l___5526[1] = (l___5526[1] + l___5526[6]) + l___5525[o___98[8][11]]; l___5526[12] = rotr64((o___67 const )(l___5526[12] ^ l___5526[1]), 16U); l___5526[11] += l___5526[12]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[11]), 63U); { l___5528 = 272UL; } break; case 74: l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[4][14]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 32U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 24U); l___5526[3] = (l___5526[3] + l___5526[4]) + l___5525[o___98[4][15]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[3]), 16U); l___5526[9] += l___5526[14]; l___5526[4] = rotr64((o___67 const )(l___5526[4] ^ l___5526[9]), 63U); { l___5528 = 230UL; } break; case 140: l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[11][6]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 32U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 24U); l___5526[3] = (l___5526[3] + l___5526[7]) + l___5525[o___98[11][7]]; l___5526[15] = rotr64((o___67 const )(l___5526[15] ^ l___5526[3]), 16U); l___5526[11] += l___5526[15]; l___5526[7] = rotr64((o___67 const )(l___5526[7] ^ l___5526[11]), 63U); { l___5528 = 282UL; } break; case 209: l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[3][4]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 32U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 24U); l___5526[2] = (l___5526[2] + l___5526[6]) + l___5525[o___98[3][5]]; l___5526[14] = rotr64((o___67 const )(l___5526[14] ^ l___5526[2]), 16U); l___5526[10] += l___5526[14]; l___5526[6] = rotr64((o___67 const )(l___5526[6] ^ l___5526[10]), 63U); { l___5528 = 51UL; } break; } } } } void o___109(void) { { } } int o___115(o___60 *l___5544 , o___65 l___5545 ) { o___79 l___5547[1] ; int l___5548 ; unsigned long l___5549 ; unsigned long l___5550 ; unsigned long l___5551 ; int l___5552 ; int l___5553 ; void *l___5554 ; unsigned long l___5555 ; unsigned long l___5556 ; int l___5557 ; int l___5558 ; void *l___5559 ; { { l___5549 = 0UL; } while (1) { switch (l___5549) { case 2: ; return (l___5548); break; case 3: ; return (-1); break; case 0: ; l___5552 = ! l___5545 != 0; l___5553 = ! l___5552; l___5550 = 3UL; l___5551 = 5UL; l___5554 = (void *)(l___5552 * l___5550 + l___5553 * l___5551); { l___5549 = l___5554; } break; case 4: l___5547[0].f___34 = (o___97 )l___5545; l___5547[0].f___35 = (unsigned char)0; l___5547[0].f___36 = (unsigned char)1; l___5547[0].f___37 = (unsigned char)1; store32((void *)(& l___5547[0].f___38), 0U); store32((void *)(& l___5547[0].f___39), 0U); store32((void *)(& l___5547[0].f___40), 0U); l___5547[0].f___41 = (unsigned char)0; l___5547[0].f___42 = (unsigned char)0; memset((void *)(l___5547[0].f___43), 0, 14UL); memset((void *)(l___5547[0].f___44), 0, 16UL); memset((void *)(l___5547[0].f___45), 0, 16UL); l___5548 = o___89(l___5544, (o___79 const *)(l___5547)); { l___5549 = 2UL; } break; case 1: ; return (-1); break; case 5: ; l___5557 = (l___5545 > 64UL) != 0; l___5558 = ! l___5557; l___5555 = 1UL; l___5556 = 4UL; l___5559 = (void *)(l___5557 * l___5555 + l___5558 * l___5556); { l___5549 = l___5559; } break; } } } } void o___70(void) { { } } void o___141(void) { { } } void o___101(void) { { } } void o___123(void) { { } } void o___58(void) { { } } void o___133(void) { { o___135[0] = 7640891576956012808UL; o___135[1] = 0xbb67ae8584caa73bUL; o___135[2] = 4354685564936845355UL; o___135[3] = 0xa54ff53a5f1d36f1UL; o___135[4] = 5840696475078001361UL; o___135[5] = 0x9b05688c2b3e6c1fUL; o___135[6] = 2270897969802886507UL; o___135[7] = 6620516959819538809UL; } } void o___75(void) { { } } int o___68(void *l___5410 , o___65 l___5411 , void const *l___5412 , o___65 l___5413 , void const *l___5414 , o___65 l___5415 ) { o___60 l___5417[1] ; int l___5418 ; int l___5419 ; unsigned long l___5420 ; unsigned long l___5421 ; unsigned long l___5422 ; int l___5423 ; int l___5424 ; void *l___5425 ; unsigned long l___5426 ; unsigned long l___5427 ; int l___5428 ; int l___5429 ; void *l___5430 ; unsigned long l___5431 ; unsigned long l___5432 ; int l___5433 ; int l___5434 ; void *l___5435 ; unsigned long l___5436 ; unsigned long l___5437 ; int l___5438 ; int l___5439 ; void *l___5440 ; unsigned long l___5441 ; unsigned long l___5442 ; int l___5443 ; int l___5444 ; void *l___5445 ; unsigned long l___5446 ; unsigned long l___5447 ; int l___5448 ; int l___5449 ; void *l___5450 ; unsigned long l___5451 ; unsigned long l___5452 ; int l___5453 ; int l___5454 ; void *l___5455 ; unsigned long l___5456 ; unsigned long l___5457 ; int l___5458 ; int l___5459 ; void *l___5460 ; unsigned long l___5461 ; unsigned long l___5462 ; int l___5463 ; int l___5464 ; void *l___5465 ; unsigned long l___5466 ; unsigned long l___5467 ; int l___5468 ; int l___5469 ; void *l___5470 ; unsigned long l___5471 ; unsigned long l___5472 ; int l___5473 ; int l___5474 ; void *l___5475 ; { { l___5420 = 5UL; } while (1) { switch (l___5420) { case 14: ; l___5423 = (l___5419 < 0) != 0; l___5424 = ! l___5423; l___5421 = 17UL; l___5422 = 9UL; l___5425 = (void *)(l___5423 * l___5421 + l___5424 * l___5422); { l___5420 = l___5425; } break; case 19: ; return (-1); break; case 22: ; l___5428 = (l___5415 > 0UL) != 0; l___5429 = ! l___5428; l___5426 = 19UL; l___5427 = 3UL; l___5430 = (void *)(l___5428 * l___5426 + l___5429 * l___5427); { l___5420 = l___5430; } break; case 5: ; l___5433 = ((unsigned long )((void *)0) == (unsigned long )l___5412) != 0; l___5434 = ! l___5433; l___5431 = 1UL; l___5432 = 11UL; l___5435 = (void *)(l___5433 * l___5431 + l___5434 * l___5432); { l___5420 = l___5435; } break; case 3: ; l___5438 = ! l___5411 != 0; l___5439 = ! l___5438; l___5436 = 2UL; l___5437 = 6UL; l___5440 = (void *)(l___5438 * l___5436 + l___5439 * l___5437); { l___5420 = l___5440; } break; case 15: ; return (-1); break; case 18: ; return (-1); break; case 7: l___5419 = o___115(l___5417, l___5411); { l___5420 = 14UL; } break; case 1: ; l___5443 = (l___5413 > 0UL) != 0; l___5444 = ! l___5443; l___5441 = 10UL; l___5442 = 11UL; l___5445 = (void *)(l___5443 * l___5441 + l___5444 * l___5442); { l___5420 = l___5445; } break; case 20: ; return (-1); break; case 12: ; return (-1); break; case 6: ; l___5448 = (l___5411 > 64UL) != 0; l___5449 = ! l___5448; l___5446 = 15UL; l___5447 = 8UL; l___5450 = (void *)(l___5448 * l___5446 + l___5449 * l___5447); { l___5420 = l___5450; } break; case 9: o___69(l___5417, (void const *)((o___97 const *)l___5412), l___5413); o___72(l___5417, l___5410, l___5411); { l___5420 = 13UL; } break; case 4: ; l___5453 = (l___5415 > 0UL) != 0; l___5454 = ! l___5453; l___5451 = 16UL; l___5452 = 7UL; l___5455 = (void *)(l___5453 * l___5451 + l___5454 * l___5452); { l___5420 = l___5455; } break; case 16: l___5418 = o___111(l___5417, l___5411, l___5414, l___5415); { l___5420 = 21UL; } break; case 2: ; return (-1); break; case 13: ; return (0); break; case 17: ; return (-1); break; case 21: ; l___5458 = (l___5418 < 0) != 0; l___5459 = ! l___5458; l___5456 = 20UL; l___5457 = 9UL; l___5460 = (void *)(l___5458 * l___5456 + l___5459 * l___5457); { l___5420 = l___5460; } break; case 0: ; l___5463 = ((unsigned long )((void *)0) == (unsigned long )l___5414) != 0; l___5464 = ! l___5463; l___5461 = 22UL; l___5462 = 3UL; l___5465 = (void *)(l___5463 * l___5461 + l___5464 * l___5462); { l___5420 = l___5465; } break; case 10: ; return (-1); break; case 11: ; l___5468 = ((unsigned long )((void *)0) == (unsigned long )l___5410) != 0; l___5469 = ! l___5468; l___5466 = 18UL; l___5467 = 0UL; l___5470 = (void *)(l___5468 * l___5466 + l___5469 * l___5467); { l___5420 = l___5470; } break; case 8: ; l___5473 = (l___5415 > 64UL) != 0; l___5474 = ! l___5473; l___5471 = 12UL; l___5472 = 4UL; l___5475 = (void *)(l___5473 * l___5471 + l___5474 * l___5472); { l___5420 = l___5475; } break; } } } } void o___96(void) { { } } void o___85(void) { { } } __inline static o___67 load64(void const *l___5607 ) { o___97 const *l___5609 ; unsigned long l___5610 ; { { l___5610 = 1UL; } while (1) { switch (l___5610) { case 1: l___5609 = (o___97 const *)l___5607; { l___5610 = 0UL; } break; case 0: ; return ((((((((o___67 )*(l___5609 + 0) | ((o___67 )*(l___5609 + 1) << 8)) | ((o___67 )*(l___5609 + 2) << 16)) | ((o___67 )*(l___5609 + 3) << 24)) | ((o___67 )*(l___5609 + 4) << 32)) | ((o___67 )*(l___5609 + 5) << 40)) | ((o___67 )*(l___5609 + 6) << 48)) | ((o___67 )*(l___5609 + 7) << 56)); break; } } } } static void o___122(o___60 *l___5662 ) { o___65 l___5664 ; unsigned long l___5665 ; unsigned long l___5666 ; unsigned long l___5667 ; int l___5668 ; int l___5669 ; void *l___5670 ; { { l___5665 = 4UL; } while (1) { switch (l___5665) { case 1: l___5662->f___47[l___5664] = (o___67 )o___135[l___5664]; l___5664 ++; { l___5665 = 2UL; } break; case 4: memset((void *)l___5662, 0, 248UL); l___5664 = 0UL; { l___5665 = 2UL; } break; case 3: ; return; break; case 2: ; l___5668 = (l___5664 < 8UL) != 0; l___5669 = ! l___5668; l___5666 = 1UL; l___5667 = 3UL; l___5670 = (void *)(l___5668 * l___5666 + l___5669 * l___5667); { l___5665 = l___5670; } break; } } } } void o___74(void) { { o___98[0][0] = (unsigned char)0; o___98[0][1] = (unsigned char)1; o___98[0][2] = (unsigned char)2; o___98[0][3] = (unsigned char)3; o___98[0][4] = (unsigned char)4; o___98[0][5] = (unsigned char)5; o___98[0][6] = (unsigned char)6; o___98[0][7] = (unsigned char)7; o___98[0][8] = (unsigned char)8; o___98[0][9] = (unsigned char)9; o___98[0][10] = (unsigned char)10; o___98[0][11] = (unsigned char)11; o___98[0][12] = (unsigned char)12; o___98[0][13] = (unsigned char)13; o___98[0][14] = (unsigned char)14; o___98[0][15] = (unsigned char)15; o___98[1][0] = (unsigned char)14; o___98[1][1] = (unsigned char)10; o___98[1][2] = (unsigned char)4; o___98[1][3] = (unsigned char)8; o___98[1][4] = (unsigned char)9; o___98[1][5] = (unsigned char)15; o___98[1][6] = (unsigned char)13; o___98[1][7] = (unsigned char)6; o___98[1][8] = (unsigned char)1; o___98[1][9] = (unsigned char)12; o___98[1][10] = (unsigned char)0; o___98[1][11] = (unsigned char)2; o___98[1][12] = (unsigned char)11; o___98[1][13] = (unsigned char)7; o___98[1][14] = (unsigned char)5; o___98[1][15] = (unsigned char)3; o___98[2][0] = (unsigned char)11; o___98[2][1] = (unsigned char)8; o___98[2][2] = (unsigned char)12; o___98[2][3] = (unsigned char)0; o___98[2][4] = (unsigned char)5; o___98[2][5] = (unsigned char)2; o___98[2][6] = (unsigned char)15; o___98[2][7] = (unsigned char)13; o___98[2][8] = (unsigned char)10; o___98[2][9] = (unsigned char)14; o___98[2][10] = (unsigned char)3; o___98[2][11] = (unsigned char)6; o___98[2][12] = (unsigned char)7; o___98[2][13] = (unsigned char)1; o___98[2][14] = (unsigned char)9; o___98[2][15] = (unsigned char)4; o___98[3][0] = (unsigned char)7; o___98[3][1] = (unsigned char)9; o___98[3][2] = (unsigned char)3; o___98[3][3] = (unsigned char)1; o___98[3][4] = (unsigned char)13; o___98[3][5] = (unsigned char)12; o___98[3][6] = (unsigned char)11; o___98[3][7] = (unsigned char)14; o___98[3][8] = (unsigned char)2; o___98[3][9] = (unsigned char)6; o___98[3][10] = (unsigned char)5; o___98[3][11] = (unsigned char)10; o___98[3][12] = (unsigned char)4; o___98[3][13] = (unsigned char)0; o___98[3][14] = (unsigned char)15; o___98[3][15] = (unsigned char)8; o___98[4][0] = (unsigned char)9; o___98[4][1] = (unsigned char)0; o___98[4][2] = (unsigned char)5; o___98[4][3] = (unsigned char)7; o___98[4][4] = (unsigned char)2; o___98[4][5] = (unsigned char)4; o___98[4][6] = (unsigned char)10; o___98[4][7] = (unsigned char)15; o___98[4][8] = (unsigned char)14; o___98[4][9] = (unsigned char)1; o___98[4][10] = (unsigned char)11; o___98[4][11] = (unsigned char)12; o___98[4][12] = (unsigned char)6; o___98[4][13] = (unsigned char)8; o___98[4][14] = (unsigned char)3; o___98[4][15] = (unsigned char)13; o___98[5][0] = (unsigned char)2; o___98[5][1] = (unsigned char)12; o___98[5][2] = (unsigned char)6; o___98[5][3] = (unsigned char)10; o___98[5][4] = (unsigned char)0; o___98[5][5] = (unsigned char)11; o___98[5][6] = (unsigned char)8; o___98[5][7] = (unsigned char)3; o___98[5][8] = (unsigned char)4; o___98[5][9] = (unsigned char)13; o___98[5][10] = (unsigned char)7; o___98[5][11] = (unsigned char)5; o___98[5][12] = (unsigned char)15; o___98[5][13] = (unsigned char)14; o___98[5][14] = (unsigned char)1; o___98[5][15] = (unsigned char)9; o___98[6][0] = (unsigned char)12; o___98[6][1] = (unsigned char)5; o___98[6][2] = (unsigned char)1; o___98[6][3] = (unsigned char)15; o___98[6][4] = (unsigned char)14; o___98[6][5] = (unsigned char)13; o___98[6][6] = (unsigned char)4; o___98[6][7] = (unsigned char)10; o___98[6][8] = (unsigned char)0; o___98[6][9] = (unsigned char)7; o___98[6][10] = (unsigned char)6; o___98[6][11] = (unsigned char)3; o___98[6][12] = (unsigned char)9; o___98[6][13] = (unsigned char)2; o___98[6][14] = (unsigned char)8; o___98[6][15] = (unsigned char)11; o___98[7][0] = (unsigned char)13; o___98[7][1] = (unsigned char)11; o___98[7][2] = (unsigned char)7; o___98[7][3] = (unsigned char)14; o___98[7][4] = (unsigned char)12; o___98[7][5] = (unsigned char)1; o___98[7][6] = (unsigned char)3; o___98[7][7] = (unsigned char)9; o___98[7][8] = (unsigned char)5; o___98[7][9] = (unsigned char)0; o___98[7][10] = (unsigned char)15; o___98[7][11] = (unsigned char)4; o___98[7][12] = (unsigned char)8; o___98[7][13] = (unsigned char)6; o___98[7][14] = (unsigned char)2; o___98[7][15] = (unsigned char)10; o___98[8][0] = (unsigned char)6; o___98[8][1] = (unsigned char)15; o___98[8][2] = (unsigned char)14; o___98[8][3] = (unsigned char)9; o___98[8][4] = (unsigned char)11; o___98[8][5] = (unsigned char)3; o___98[8][6] = (unsigned char)0; o___98[8][7] = (unsigned char)8; o___98[8][8] = (unsigned char)12; o___98[8][9] = (unsigned char)2; o___98[8][10] = (unsigned char)13; o___98[8][11] = (unsigned char)7; o___98[8][12] = (unsigned char)1; o___98[8][13] = (unsigned char)4; o___98[8][14] = (unsigned char)10; o___98[8][15] = (unsigned char)5; o___98[9][0] = (unsigned char)10; o___98[9][1] = (unsigned char)2; o___98[9][2] = (unsigned char)8; o___98[9][3] = (unsigned char)4; o___98[9][4] = (unsigned char)7; o___98[9][5] = (unsigned char)6; o___98[9][6] = (unsigned char)1; o___98[9][7] = (unsigned char)5; o___98[9][8] = (unsigned char)15; o___98[9][9] = (unsigned char)11; o___98[9][10] = (unsigned char)9; o___98[9][11] = (unsigned char)14; o___98[9][12] = (unsigned char)3; o___98[9][13] = (unsigned char)12; o___98[9][14] = (unsigned char)13; o___98[9][15] = (unsigned char)0; o___98[10][0] = (unsigned char)0; o___98[10][1] = (unsigned char)1; o___98[10][2] = (unsigned char)2; o___98[10][3] = (unsigned char)3; o___98[10][4] = (unsigned char)4; o___98[10][5] = (unsigned char)5; o___98[10][6] = (unsigned char)6; o___98[10][7] = (unsigned char)7; o___98[10][8] = (unsigned char)8; o___98[10][9] = (unsigned char)9; o___98[10][10] = (unsigned char)10; o___98[10][11] = (unsigned char)11; o___98[10][12] = (unsigned char)12; o___98[10][13] = (unsigned char)13; o___98[10][14] = (unsigned char)14; o___98[10][15] = (unsigned char)15; o___98[11][0] = (unsigned char)14; o___98[11][1] = (unsigned char)10; o___98[11][2] = (unsigned char)4; o___98[11][3] = (unsigned char)8; o___98[11][4] = (unsigned char)9; o___98[11][5] = (unsigned char)15; o___98[11][6] = (unsigned char)13; o___98[11][7] = (unsigned char)6; o___98[11][8] = (unsigned char)1; o___98[11][9] = (unsigned char)12; o___98[11][10] = (unsigned char)0; o___98[11][11] = (unsigned char)2; o___98[11][12] = (unsigned char)11; o___98[11][13] = (unsigned char)7; o___98[11][14] = (unsigned char)5; o___98[11][15] = (unsigned char)3; } } static void o___124(o___60 *l___5514 ) { unsigned long l___5516 ; { { l___5516 = 1UL; } while (1) { switch (l___5516) { case 0: ; return; break; case 1: l___5514->f___49[1] = 0xffffffffffffffffUL; { l___5516 = 0UL; } break; } } } } void o___117(void) { { } } __inline static void secure_zero_memory(void *l___5128 , o___65 l___5129 ) { unsigned long l___5131 ; { { l___5131 = 1UL; } while (1) { switch (l___5131) { case 0: ; return; break; case 1: explicit_bzero(l___5128, l___5129); { l___5131 = 0UL; } break; } } } } void o___108(void) { { o___130(); o___109(); o___129(); o___74(); o___86(); o___144(); o___85(); o___134(); o___116(); o___91(); o___93(); o___139(); o___94(); o___96(); o___90(); o___58(); o___101(); o___75(); o___70(); o___146(); o___133(); o___117(); o___141(); o___123(); o___132(); o___73(); o___142(); o___87(); o___82(); } } static void o___137(o___60 *l___5569 , o___67 const l___5570 ) { unsigned long l___5572 ; { { l___5572 = 1UL; } while (1) { switch (l___5572) { case 1: l___5569->f___48[0] += (o___67 )l___5570; l___5569->f___48[1] += (o___67 )(l___5569->f___48[0] < (o___67 )l___5570); { l___5572 = 0UL; } break; case 0: ; return; break; } } } } void o___132(void) { { } } void o___91(void) { { } } int o___72(o___60 *l___5573 , void *l___5574 , o___65 l___5575 ) { o___97 l___5577[64] ; unsigned int l___5578 ; o___65 l___5579 ; int l___5580 ; unsigned long l___5581 ; unsigned long l___5582 ; unsigned long l___5583 ; int l___5584 ; int l___5585 ; void *l___5586 ; unsigned long l___5587 ; unsigned long l___5588 ; int l___5589 ; int l___5590 ; void *l___5591 ; unsigned long l___5592 ; unsigned long l___5593 ; int l___5594 ; int l___5595 ; void *l___5596 ; unsigned long l___5597 ; unsigned long l___5598 ; int l___5599 ; int l___5600 ; void *l___5601 ; unsigned long l___5602 ; unsigned long l___5603 ; int l___5604 ; int l___5605 ; void *l___5606 ; { { l___5581 = 4UL; } while (1) { switch (l___5581) { case 15: ; return (-1); break; case 5: ; l___5584 = (l___5579 < 8UL) != 0; l___5585 = ! l___5584; l___5582 = 0UL; l___5583 = 7UL; l___5586 = (void *)(l___5584 * l___5582 + l___5585 * l___5583); { l___5581 = l___5586; } break; case 4: l___5577[0] = (unsigned char)0; l___5578 = 1U; { l___5581 = 18UL; } break; case 11: ; return (-1); break; case 16: o___137(l___5573, (o___67 const )l___5573->f___51); o___120(l___5573); memset((void *)(l___5573->f___50 + l___5573->f___51), 0, 128UL - l___5573->f___51); o___107(l___5573, (o___97 const *)(l___5573->f___50)); l___5579 = 0UL; { l___5581 = 5UL; } break; case 3: ; return (0); break; case 14: ; l___5589 = l___5580 != 0; l___5590 = ! l___5589; l___5587 = 9UL; l___5588 = 16UL; l___5591 = (void *)(l___5589 * l___5587 + l___5590 * l___5588); { l___5581 = l___5591; } break; case 12: ; l___5594 = (l___5575 < l___5573->f___52) != 0; l___5595 = ! l___5594; l___5592 = 11UL; l___5593 = 1UL; l___5596 = (void *)(l___5594 * l___5592 + l___5595 * l___5593); { l___5581 = l___5596; } break; case 18: ; l___5599 = (l___5578 >= 64U) != 0; l___5600 = ! l___5599; l___5597 = 13UL; l___5598 = 2UL; l___5601 = (void *)(l___5599 * l___5597 + l___5600 * l___5598); { l___5581 = l___5601; } break; case 2: l___5577[l___5578] = (unsigned char)0; l___5578 ++; { l___5581 = 18UL; } break; case 7: memcpy((void */* __restrict */)l___5574, (void const */* __restrict */)(l___5577), l___5573->f___52); secure_zero_memory((void *)(l___5577), 64UL); { l___5581 = 3UL; } break; case 9: ; return (-1); break; case 13: ; l___5604 = ((unsigned long )l___5574 == (unsigned long )((void *)0)) != 0; l___5605 = ! l___5604; l___5602 = 15UL; l___5603 = 12UL; l___5606 = (void *)(l___5604 * l___5602 + l___5605 * l___5603); { l___5581 = l___5606; } break; case 1: l___5580 = o___103((o___60 const *)l___5573); { l___5581 = 14UL; } break; case 0: store64((void *)(l___5577 + 8UL * l___5579), l___5573->f___47[l___5579]); l___5579 ++; { l___5581 = 5UL; } break; } } } } void o___90(void) { { } } void o___93(void) { { } } int main(int l___5117 , char **l___5118 , char **l___5119 ) { int l___5122 ; { o___108(); o___71 = l___5117; o___59 = l___5118; o___121 = l___5119; o___63(& l___5122, 0, 0, (char)9, 6); return (0); } } void o___82(void) { { } } static int o___103(o___60 const *l___5511 ) { unsigned long l___5513 ; { { l___5513 = 0UL; } while (1) { switch (l___5513) { case 0: ; return (l___5511->f___49[0] != 0UL); break; } } } } void o___142(void) { { } } void o___86(void) { { } } void o___73(void) { { } } __inline static void store32(void *l___5123 , o___113 l___5124 ) { o___97 *l___5126 ; unsigned long l___5127 ; { { l___5127 = 0UL; } while (1) { switch (l___5127) { case 1: ; return; break; case 0: l___5126 = (o___97 *)l___5123; *(l___5126 + 0) = (o___97 )l___5124; *(l___5126 + 1) = (o___97 )(l___5124 >> 8); *(l___5126 + 2) = (o___97 )(l___5124 >> 16); *(l___5126 + 3) = (o___97 )(l___5124 >> 24); { l___5127 = 1UL; } break; } } } } void o___146(void) { { } } int o___69(o___60 *l___5488 , void const *l___5489 , o___65 l___5490 ) { unsigned char const *l___5492 ; o___65 l___5493 ; o___65 l___5494 ; unsigned long l___5495 ; unsigned long l___5496 ; unsigned long l___5497 ; int l___5498 ; int l___5499 ; void *l___5500 ; unsigned long l___5501 ; unsigned long l___5502 ; int l___5503 ; int l___5504 ; void *l___5505 ; unsigned long l___5506 ; unsigned long l___5507 ; int l___5508 ; int l___5509 ; void *l___5510 ; { { l___5495 = 10UL; } while (1) { switch (l___5495) { case 7: l___5493 = l___5488->f___51; l___5494 = 128UL - l___5493; { l___5495 = 1UL; } break; case 0: o___137(l___5488, 128UL); o___107(l___5488, (o___97 const *)l___5492); l___5492 += 128; l___5490 -= 128UL; { l___5495 = 9UL; } break; case 1: ; l___5498 = (l___5490 > l___5494) != 0; l___5499 = ! l___5498; l___5496 = 3UL; l___5497 = 6UL; l___5500 = (void *)(l___5498 * l___5496 + l___5499 * l___5497); { l___5495 = l___5500; } break; case 4: ; l___5503 = (l___5490 > 0UL) != 0; l___5504 = ! l___5503; l___5501 = 7UL; l___5502 = 8UL; l___5505 = (void *)(l___5503 * l___5501 + l___5504 * l___5502); { l___5495 = l___5505; } break; case 3: l___5488->f___51 = 0UL; memcpy((void */* __restrict */)(l___5488->f___50 + l___5493), (void const */* __restrict */)l___5492, l___5494); o___137(l___5488, 128UL); o___107(l___5488, (o___97 const *)(l___5488->f___50)); l___5492 += l___5494; l___5490 -= l___5494; { l___5495 = 9UL; } break; case 9: ; l___5508 = (l___5490 > 128UL) != 0; l___5509 = ! l___5508; l___5506 = 0UL; l___5507 = 6UL; l___5510 = (void *)(l___5508 * l___5506 + l___5509 * l___5507); { l___5495 = l___5510; } break; case 8: ; return (0); break; case 6: memcpy((void */* __restrict */)(l___5488->f___50 + l___5488->f___51), (void const */* __restrict */)l___5492, l___5490); l___5488->f___51 += l___5490; { l___5495 = 8UL; } break; case 10: l___5492 = (unsigned char const *)l___5489; { l___5495 = 4UL; } break; } } } }