%{
#include<stdio.h>
%}
({digit}{digit}{digit}{digit}{digit}{dash}{digit}{digit}{digit}{digit}{digit}{digit}{digit}{dash}{digit})
{printf("valid cnic \n") | printf(" wrong valid cnic \n");}
%%
int yywrap(void){}
int main()
{
printf("Enter the string\n");
scanf("%d", &cnic);
yylex();
return 0;
}
JXsKICNpbmNsdWRlPHN0ZGlvLmg+CiV9Cih7ZGlnaXR9e2RpZ2l0fXtkaWdpdH17ZGlnaXR9e2RpZ2l0fXtkYXNofXtkaWdpdH17ZGlnaXR9e2RpZ2l0fXtkaWdpdH17ZGlnaXR9e2RpZ2l0fXtkaWdpdH17ZGFzaH17ZGlnaXR9KSAKe3ByaW50ZigidmFsaWQgY25pYyBcbiIpIHwgcHJpbnRmKCIgd3JvbmcgdmFsaWQgY25pYyBcbiIpO30KJSUKaW50IHl5d3JhcCh2b2lkKXt9CmludCBtYWluKCkKewpwcmludGYoIkVudGVyIHRoZSBzdHJpbmdcbiIpOwpzY2FuZigiJWQiLCAmY25pYyk7Cnl5bGV4KCk7CnJldHVybiAwOwp9