#include <stdio.h>
#include <stdlib.h>


int main( int argc, char **argv )
{
        unsigned long long v1,v0,a3,hi,lo,t0,tmp;

        printf( "Computing WPA key...\n" );

        sscanf(argv[1],"%llx", &tmp);
        v1 = tmp & 0xFFFFFFF;
        printf("v1: %llx\n",v1);
        v0 = 0x55E63B89L;
        tmp = v0 * v1;
        hi = (tmp >> 32) & 0xFFFFFFFF;
        lo = tmp & 0xFFFFFFFF;
        a3 = 0x5F5E100L;
        v0 = hi >> 25;
        t0 = a3 * v0;
        a3 = (v1 - t0);
        printf("a3: %llx %llu\n", a3,a3);



return 0;
}