
number_of_pattern(30) .
data("PXTK") .
data("GXXGR") .
data("KXGP") .
data("GXKXG") .
data("KMXF") .
data("PNXXG") .
data("YLXXP") .
data("EKXXK") .
data("EXXKK") .
data("VXKG") .
data("NPK") .
data("GTK") .
data("GPXL") .
data("LXXYL") .
data("MXFXG") .
data("GRXXG") .
data("IXGXK") .
data("CXXCH") .
data("PXLXG") .
data("GXNL") .
data("PXXKM") .
data("TXMXF") .
data("TKM") .
data("AGXK") .
data("PGXXM") .
data("PGXK") .
data("GXKM") .
data("TKXXF") .
data("FXGXK") .
data("IXXTK") .
