#! /usr/bin/env python
import re

MAX_l=3
MAX_m=11

results = []
for l in range(1,MAX_l+1):
  for m in range(1,MAX_m+1):
    f=open('ZCfeasible34_l=' + str(l) + 'm=' + str(m) + '.log')
    fileStr = f.read()
    
    string = re.search('States explored : ([0-9])*', fileStr).group()
    nrStExp = long(string[len('States explored : '):])
    
    results.append((nrStExp, l, m))

results.sort()

for e in results:
  print(e)