knowledge representation

$ 4.1.5 27 244---> times 
0m0.348s 0m0.052s
0m0.560s 0m0.112s
$ 4.1.5 28 245---> 
$ 4.1.5 28 245---> times 
0m0.348s 0m0.052s
0m0.560s 0m0.112s
$ 4.1.5 29 245---> times 
0m0.348s 0m0.052s
0m0.560s 0m0.112s
$ 4.1.5 30 245---> times 
0m0.348s 0m0.052s
0m0.560s 0m0.112s
$ 4.1.5 31 245---> times 
0m0.348s 0m0.052s
0m0.560s 0m0.112s
$ 4.1.5 32 245---> times 
0m0.348s 0m0.052s
0m0.560s 0m0.112s
$ 4.1.5 33 245---> times 
0m0.348s 0m0.052s
0m0.560s 0m0.112s
$ 4.1.5 34 245---> times 
0m0.348s 0m0.052s
0m0.560s 0m0.112s
$ 4.1.5 35 245---> times 
0m0.352s 0m0.052s
0m0.560s 0m0.112s
$ 4.1.5 36 245---> times 
0m0.352s 0m0.052s
0m0.560s 0m0.112s
$ 4.1.5 37 245---> times 
0m0.352s 0m0.052s
0m0.560s 0m0.112s
$ 4.1.5 38 245--->