This program should be regarded as a DEBUGGING aid, not as a 
certifier of correctness.
Call with the -l flag or read the license file for terms
and conditions of use.
Run this program with "-h" for the list of options.

Bugs, questions, and comments should be directed to
"murphi@verify.stanford.edu".

Murphi compiler last modified date: Jan 29 1999
Include files   last modified date: Jan 29 1999
==========================================================================

==========================================================================
Murphi Release 3.1
Finite-state Concurrent System Verifier.

Copyright (C) 1992 - 1999 by the Board of Trustees of
Leland Stanford Junior University.

==========================================================================

Protocol: chap

Algorithm:
	Verification by breadth first search.
	with symmetry algorithm 3 -- Heuristic Small Memory Normalization
	with permutation trial limit 10.

Memory usage:

	* The size of each state is 136 bits (rounded up to 20 bytes).
	* The memory allocated for the hash table and state queue is
	  104 Mbytes.
	  With two words of overhead per state, the maximum size of
	  the state space is 4297451 states.
	   * Use option "-k" or "-m" to increase this, if necessary.
	* Capacity in queue for breadth-first search: 429745 states.
	   * Change the constant gPercentActiveStates in mu_prolog.inc
	     to increase this, if necessary.

Progress Report:

	1000 states explored in 0.30s, with 1996 rules fired and 378 states in the queue.
	2000 states explored in 0.36s, with 4172 rules fired and 824 states in the queue.
	3000 states explored in 0.41s, with 6380 rules fired and 1315 states in the queue.
	4000 states explored in 0.45s, with 8838 rules fired and 1929 states in the queue.
	5000 states explored in 0.51s, with 11177 rules fired and 2338 states in the queue.
	6000 states explored in 0.55s, with 13517 rules fired and 2984 states in the queue.
	7000 states explored in 0.62s, with 16867 rules fired and 3355 states in the queue.
	8000 states explored in 0.68s, with 19850 rules fired and 3776 states in the queue.
	9000 states explored in 0.74s, with 22551 rules fired and 4218 states in the queue.
	10000 states explored in 0.77s, with 24631 rules fired and 4877 states in the queue.
	11000 states explored in 0.84s, with 28020 rules fired and 5241 states in the queue.
	12000 states explored in 0.91s, with 31522 rules fired and 5574 states in the queue.
	13000 states explored in 0.98s, with 35033 rules fired and 5924 states in the queue.
	14000 states explored in 1.03s, with 37877 rules fired and 6379 states in the queue.
	15000 states explored in 1.09s, with 41260 rules fired and 6742 states in the queue.
	16000 states explored in 1.14s, with 43678 rules fired and 7258 states in the queue.
	17000 states explored in 1.20s, with 46350 rules fired and 7728 states in the queue.
	18000 states explored in 1.26s, with 49289 rules fired and 8041 states in the queue.
	19000 states explored in 1.32s, with 52603 rules fired and 8442 states in the queue.
	20000 states explored in 1.39s, with 55998 rules fired and 8830 states in the queue.
	21000 states explored in 1.48s, with 60143 rules fired and 8937 states in the queue.
	22000 states explored in 1.55s, with 63888 rules fired and 9151 states in the queue.
	23000 states explored in 1.63s, with 67484 rules fired and 9373 states in the queue.
	24000 states explored in 1.70s, with 70661 rules fired and 9728 states in the queue.
	25000 states explored in 1.78s, with 74567 rules fired and 9854 states in the queue.
	26000 states explored in 1.82s, with 76794 rules fired and 10492 states in the queue.
	27000 states explored in 1.89s, with 80164 rules fired and 10838 states in the queue.
	28000 states explored in 1.96s, with 83322 rules fired and 11144 states in the queue.
	29000 states explored in 2.02s, with 86074 rules fired and 11557 states in the queue.
	30000 states explored in 2.08s, with 89176 rules fired and 11855 states in the queue.
	31000 states explored in 2.17s, with 93316 rules fired and 11977 states in the queue.
	32000 states explored in 2.25s, with 97352 rules fired and 12125 states in the queue.
	33000 states explored in 2.34s, with 101405 rules fired and 12278 states in the queue.
	34000 states explored in 2.41s, with 105290 rules fired and 12514 states in the queue.
	35000 states explored in 2.48s, with 108901 rules fired and 12840 states in the queue.
	36000 states explored in 2.55s, with 112295 rules fired and 13151 states in the queue.
	37000 states explored in 2.61s, with 114877 rules fired and 13590 states in the queue.
	38000 states explored in 2.70s, with 118966 rules fired and 13736 states in the queue.
	39000 states explored in 2.77s, with 122246 rules fired and 14046 states in the queue.
	40000 states explored in 2.82s, with 124546 rules fired and 14630 states in the queue.
	41000 states explored in 2.88s, with 127954 rules fired and 14952 states in the queue.
	42000 states explored in 2.95s, with 131399 rules fired and 15267 states in the queue.
	43000 states explored in 3.02s, with 134815 rules fired and 15581 states in the queue.
	44000 states explored in 3.09s, with 137926 rules fired and 15747 states in the queue.
	45000 states explored in 3.16s, with 140982 rules fired and 15952 states in the queue.
	46000 states explored in 3.25s, with 144786 rules fired and 15962 states in the queue.
	47000 states explored in 3.32s, with 148439 rules fired and 16304 states in the queue.
	48000 states explored in 3.39s, with 152266 rules fired and 16558 states in the queue.
	49000 states explored in 3.48s, with 156519 rules fired and 16677 states in the queue.
	50000 states explored in 3.54s, with 159649 rules fired and 17149 states in the queue.
	51000 states explored in 3.60s, with 163289 rules fired and 17592 states in the queue.
	52000 states explored in 3.69s, with 167270 rules fired and 17775 states in the queue.
	53000 states explored in 3.75s, with 170727 rules fired and 18245 states in the queue.
	54000 states explored in 3.81s, with 174367 rules fired and 18541 states in the queue.
	55000 states explored in 3.88s, with 177674 rules fired and 18853 states in the queue.
	56000 states explored in 3.98s, with 181176 rules fired and 18912 states in the queue.
	57000 states explored in 4.05s, with 184821 rules fired and 19189 states in the queue.
	58000 states explored in 4.13s, with 188621 rules fired and 19501 states in the queue.
	59000 states explored in 4.21s, with 191835 rules fired and 19659 states in the queue.
	60000 states explored in 4.29s, with 194958 rules fired and 19949 states in the queue.
	61000 states explored in 4.35s, with 198233 rules fired and 20326 states in the queue.
	62000 states explored in 4.43s, with 202079 rules fired and 20487 states in the queue.
	63000 states explored in 4.52s, with 206260 rules fired and 20524 states in the queue.
	64000 states explored in 4.60s, with 209994 rules fired and 20563 states in the queue.
	65000 states explored in 4.66s, with 212888 rules fired and 20958 states in the queue.
	66000 states explored in 4.73s, with 215992 rules fired and 21209 states in the queue.
	67000 states explored in 4.81s, with 219365 rules fired and 21359 states in the queue.
	68000 states explored in 4.88s, with 222593 rules fired and 21779 states in the queue.
	69000 states explored in 4.94s, with 226221 rules fired and 22223 states in the queue.
	70000 states explored in 5.02s, with 230377 rules fired and 22426 states in the queue.
	71000 states explored in 5.10s, with 234262 rules fired and 22762 states in the queue.
	72000 states explored in 5.16s, with 238152 rules fired and 23088 states in the queue.
	73000 states explored in 5.22s, with 241538 rules fired and 23449 states in the queue.
	74000 states explored in 5.29s, with 245695 rules fired and 23926 states in the queue.
	75000 states explored in 5.36s, with 249273 rules fired and 24430 states in the queue.
	76000 states explored in 5.45s, with 254223 rules fired and 24627 states in the queue.
	77000 states explored in 5.50s, with 257401 rules fired and 25116 states in the queue.
	78000 states explored in 5.58s, with 262047 rules fired and 25454 states in the queue.
	79000 states explored in 5.63s, with 265239 rules fired and 26072 states in the queue.
	80000 states explored in 5.71s, with 269685 rules fired and 26278 states in the queue.
	81000 states explored in 5.78s, with 273169 rules fired and 26572 states in the queue.
	82000 states explored in 5.86s, with 276537 rules fired and 26740 states in the queue.
	83000 states explored in 5.94s, with 279812 rules fired and 26990 states in the queue.
	84000 states explored in 6.05s, with 284196 rules fired and 27105 states in the queue.
	85000 states explored in 6.12s, with 287635 rules fired and 27659 states in the queue.
	86000 states explored in 6.21s, with 291911 rules fired and 27912 states in the queue.
	87000 states explored in 6.27s, with 294606 rules fired and 28285 states in the queue.
	88000 states explored in 6.33s, with 297339 rules fired and 28636 states in the queue.
	89000 states explored in 6.42s, with 301269 rules fired and 28699 states in the queue.
	90000 states explored in 6.51s, with 305485 rules fired and 28732 states in the queue.
	91000 states explored in 6.59s, with 309312 rules fired and 28894 states in the queue.
	92000 states explored in 6.66s, with 312940 rules fired and 29186 states in the queue.
	93000 states explored in 6.73s, with 316445 rules fired and 29358 states in the queue.
	94000 states explored in 6.79s, with 319274 rules fired and 29839 states in the queue.
	95000 states explored in 6.85s, with 322274 rules fired and 30273 states in the queue.
	96000 states explored in 6.93s, with 325799 rules fired and 30338 states in the queue.
	97000 states explored in 6.99s, with 328847 rules fired and 30819 states in the queue.
	98000 states explored in 7.06s, with 332176 rules fired and 31108 states in the queue.
	99000 states explored in 7.13s, with 335748 rules fired and 31380 states in the queue.
	100000 states explored in 7.19s, with 339323 rules fired and 31954 states in the queue.
	101000 states explored in 7.26s, with 343461 rules fired and 32362 states in the queue.
	102000 states explored in 7.32s, with 347510 rules fired and 32867 states in the queue.
	103000 states explored in 7.41s, with 352114 rules fired and 32969 states in the queue.
	104000 states explored in 7.46s, with 355481 rules fired and 33562 states in the queue.
	105000 states explored in 7.53s, with 359769 rules fired and 33952 states in the queue.
	106000 states explored in 7.59s, with 363533 rules fired and 34508 states in the queue.
	107000 states explored in 7.67s, with 367930 rules fired and 34756 states in the queue.
	108000 states explored in 7.73s, with 371350 rules fired and 35215 states in the queue.
	109000 states explored in 7.80s, with 375594 rules fired and 35659 states in the queue.
	110000 states explored in 7.90s, with 381138 rules fired and 35830 states in the queue.
	111000 states explored in 7.96s, with 384393 rules fired and 36441 states in the queue.
	112000 states explored in 8.03s, with 388975 rules fired and 36830 states in the queue.
	113000 states explored in 8.12s, with 394186 rules fired and 36971 states in the queue.
	114000 states explored in 8.18s, with 397538 rules fired and 37504 states in the queue.
	115000 states explored in 8.24s, with 401339 rules fired and 38011 states in the queue.
	116000 states explored in 8.33s, with 406878 rules fired and 38228 states in the queue.
	117000 states explored in 8.39s, with 410470 rules fired and 38743 states in the queue.
	118000 states explored in 8.47s, with 415073 rules fired and 39127 states in the queue.
	119000 states explored in 8.56s, with 420234 rules fired and 39323 states in the queue.
	120000 states explored in 8.64s, with 423778 rules fired and 39494 states in the queue.
	121000 states explored in 8.72s, with 427585 rules fired and 39642 states in the queue.
	122000 states explored in 8.80s, with 430780 rules fired and 39877 states in the queue.
	123000 states explored in 8.89s, with 434223 rules fired and 40111 states in the queue.
	124000 states explored in 8.99s, with 438622 rules fired and 40502 states in the queue.
	125000 states explored in 9.06s, with 442224 rules fired and 40891 states in the queue.
	126000 states explored in 9.15s, with 446289 rules fired and 41356 states in the queue.
	127000 states explored in 9.25s, with 451035 rules fired and 41678 states in the queue.
	128000 states explored in 9.36s, with 455628 rules fired and 41674 states in the queue.
	129000 states explored in 9.44s, with 458876 rules fired and 41710 states in the queue.
	130000 states explored in 9.52s, with 462182 rules fired and 41736 states in the queue.
	131000 states explored in 9.59s, with 465765 rules fired and 42043 states in the queue.
	132000 states explored in 9.66s, with 469354 rules fired and 42307 states in the queue.
	133000 states explored in 9.73s, with 473032 rules fired and 42561 states in the queue.
	134000 states explored in 9.79s, with 476438 rules fired and 43015 states in the queue.
	135000 states explored in 9.86s, with 480218 rules fired and 43299 states in the queue.
	136000 states explored in 9.93s, with 483765 rules fired and 43744 states in the queue.
	137000 states explored in 10.01s, with 487345 rules fired and 43749 states in the queue.
	138000 states explored in 10.06s, with 490231 rules fired and 44335 states in the queue.
	139000 states explored in 10.14s, with 494127 rules fired and 44675 states in the queue.
	140000 states explored in 10.19s, with 497137 rules fired and 45277 states in the queue.
	141000 states explored in 10.27s, with 501340 rules fired and 45447 states in the queue.
	142000 states explored in 10.33s, with 504063 rules fired and 45900 states in the queue.
	143000 states explored in 10.39s, with 507934 rules fired and 46344 states in the queue.
	144000 states explored in 10.45s, with 510949 rules fired and 46840 states in the queue.
	145000 states explored in 10.53s, with 514802 rules fired and 47293 states in the queue.
	146000 states explored in 10.59s, with 518601 rules fired and 47587 states in the queue.
	147000 states explored in 10.64s, with 522010 rules fired and 48037 states in the queue.
	148000 states explored in 10.71s, with 526226 rules fired and 48493 states in the queue.
	149000 states explored in 10.80s, with 531711 rules fired and 48725 states in the queue.
	150000 states explored in 10.87s, with 535374 rules fired and 49234 states in the queue.
	151000 states explored in 10.94s, with 539561 rules fired and 49686 states in the queue.
	152000 states explored in 11.03s, with 545112 rules fired and 49915 states in the queue.
	153000 states explored in 11.10s, with 549082 rules fired and 50254 states in the queue.
	154000 states explored in 11.15s, with 552401 rules fired and 50778 states in the queue.
	155000 states explored in 11.23s, with 557018 rules fired and 51164 states in the queue.
	156000 states explored in 11.32s, with 562362 rules fired and 51388 states in the queue.
	157000 states explored in 11.37s, with 565673 rules fired and 51974 states in the queue.
	158000 states explored in 11.45s, with 570414 rules fired and 52355 states in the queue.
	159000 states explored in 11.55s, with 575926 rules fired and 52484 states in the queue.
	160000 states explored in 11.61s, with 579707 rules fired and 52977 states in the queue.
	161000 states explored in 11.68s, with 583715 rules fired and 53316 states in the queue.
	162000 states explored in 11.75s, with 587887 rules fired and 53692 states in the queue.
	163000 states explored in 11.84s, with 593371 rules fired and 53922 states in the queue.
	164000 states explored in 11.94s, with 599279 rules fired and 54007 states in the queue.
	165000 states explored in 12.01s, with 603621 rules fired and 54454 states in the queue.
	166000 states explored in 12.09s, with 608056 rules fired and 54784 states in the queue.
	167000 states explored in 12.19s, with 613967 rules fired and 54911 states in the queue.
	168000 states explored in 12.28s, with 619443 rules fired and 55035 states in the queue.
	169000 states explored in 12.35s, with 623871 rules fired and 55432 states in the queue.
	170000 states explored in 12.41s, with 627169 rules fired and 55978 states in the queue.
	171000 states explored in 12.48s, with 631668 rules fired and 56312 states in the queue.
	172000 states explored in 12.59s, with 637982 rules fired and 56363 states in the queue.
	173000 states explored in 12.66s, with 642914 rules fired and 56665 states in the queue.
	174000 states explored in 12.73s, with 647213 rules fired and 57081 states in the queue.
	175000 states explored in 12.82s, with 652381 rules fired and 57308 states in the queue.
	176000 states explored in 12.93s, with 659040 rules fired and 57302 states in the queue.
	177000 states explored in 13.03s, with 662903 rules fired and 57352 states in the queue.
	178000 states explored in 13.11s, with 666569 rules fired and 57664 states in the queue.
	179000 states explored in 13.19s, with 670212 rules fired and 57819 states in the queue.
	180000 states explored in 13.27s, with 673395 rules fired and 58199 states in the queue.
	181000 states explored in 13.35s, with 677118 rules fired and 58628 states in the queue.
	182000 states explored in 13.42s, with 680657 rules fired and 59071 states in the queue.
	183000 states explored in 13.53s, with 685338 rules fired and 59440 states in the queue.
	184000 states explored in 13.62s, with 689660 rules fired and 59819 states in the queue.
	185000 states explored in 13.72s, with 694159 rules fired and 60046 states in the queue.
	186000 states explored in 13.82s, with 699530 rules fired and 60276 states in the queue.
	187000 states explored in 13.92s, with 704132 rules fired and 60602 states in the queue.
	188000 states explored in 14.02s, with 709149 rules fired and 60873 states in the queue.
	189000 states explored in 14.12s, with 713516 rules fired and 61016 states in the queue.
	190000 states explored in 14.19s, with 716506 rules fired and 61302 states in the queue.
	191000 states explored in 14.25s, with 719282 rules fired and 61621 states in the queue.
	192000 states explored in 14.32s, with 722608 rules fired and 61843 states in the queue.
	193000 states explored in 14.38s, with 726042 rules fired and 62290 states in the queue.
	194000 states explored in 14.45s, with 729824 rules fired and 62560 states in the queue.
	195000 states explored in 14.52s, with 733258 rules fired and 63007 states in the queue.
	196000 states explored in 14.59s, with 736964 rules fired and 63317 states in the queue.
	197000 states explored in 14.65s, with 740869 rules fired and 63804 states in the queue.
	198000 states explored in 14.70s, with 744342 rules fired and 64297 states in the queue.
	199000 states explored in 14.77s, with 748745 rules fired and 64576 states in the queue.
	200000 states explored in 14.82s, with 751968 rules fired and 65167 states in the queue.
	201000 states explored in 14.89s, with 755781 rules fired and 65610 states in the queue.
	202000 states explored in 14.95s, with 760031 rules fired and 66032 states in the queue.
	203000 states explored in 15.01s, with 763177 rules fired and 66398 states in the queue.
	204000 states explored in 15.07s, with 766069 rules fired and 66844 states in the queue.
	205000 states explored in 15.13s, with 769301 rules fired and 67378 states in the queue.
	206000 states explored in 15.21s, with 774154 rules fired and 67583 states in the queue.
	207000 states explored in 15.28s, with 777909 rules fired and 67976 states in the queue.
	208000 states explored in 15.34s, with 780950 rules fired and 68526 states in the queue.
	209000 states explored in 15.42s, with 785410 rules fired and 68833 states in the queue.
	210000 states explored in 15.51s, with 789798 rules fired and 68959 states in the queue.
	211000 states explored in 15.57s, with 792818 rules fired and 69461 states in the queue.
	212000 states explored in 15.61s, with 795779 rules fired and 70032 states in the queue.
	213000 states explored in 15.70s, with 800339 rules fired and 70303 states in the queue.
	214000 states explored in 15.78s, with 804453 rules fired and 70620 states in the queue.
	215000 states explored in 15.83s, with 807504 rules fired and 71179 states in the queue.
	216000 states explored in 15.90s, with 811634 rules fired and 71543 states in the queue.
	217000 states explored in 16.00s, with 816602 rules fired and 71639 states in the queue.
	218000 states explored in 16.06s, with 820464 rules fired and 72115 states in the queue.
	219000 states explored in 16.14s, with 824728 rules fired and 72417 states in the queue.
	220000 states explored in 16.19s, with 828107 rules fired and 72975 states in the queue.
	221000 states explored in 16.29s, with 833449 rules fired and 73184 states in the queue.
	222000 states explored in 16.40s, with 839877 rules fired and 73214 states in the queue.
	223000 states explored in 16.48s, with 844402 rules fired and 73593 states in the queue.
	224000 states explored in 16.55s, with 848813 rules fired and 73989 states in the queue.
	225000 states explored in 16.64s, with 853873 rules fired and 74248 states in the queue.
	226000 states explored in 16.75s, with 860408 rules fired and 74270 states in the queue.
	227000 states explored in 16.83s, with 865153 rules fired and 74527 states in the queue.
	228000 states explored in 16.91s, with 869637 rules fired and 74868 states in the queue.
	229000 states explored in 16.96s, with 872924 rules fired and 75443 states in the queue.
	230000 states explored in 17.05s, with 877547 rules fired and 75769 states in the queue.
	231000 states explored in 17.16s, with 883884 rules fired and 75825 states in the queue.
	232000 states explored in 17.25s, with 889137 rules fired and 76074 states in the queue.
	233000 states explored in 17.31s, with 893668 rules fired and 76455 states in the queue.
	234000 states explored in 17.39s, with 897985 rules fired and 76813 states in the queue.
	235000 states explored in 17.50s, with 904390 rules fired and 76874 states in the queue.
	236000 states explored in 17.61s, with 909896 rules fired and 77024 states in the queue.
	237000 states explored in 17.68s, with 914514 rules fired and 77379 states in the queue.
	238000 states explored in 17.77s, with 919492 rules fired and 77658 states in the queue.
	239000 states explored in 17.82s, with 922699 rules fired and 78228 states in the queue.
	240000 states explored in 17.88s, with 926940 rules fired and 78616 states in the queue.
	241000 states explored in 17.98s, with 932672 rules fired and 78667 states in the queue.
	242000 states explored in 18.11s, with 940298 rules fired and 78444 states in the queue.
	243000 states explored in 18.19s, with 944423 rules fired and 78877 states in the queue.
	244000 states explored in 18.28s, with 950092 rules fired and 79072 states in the queue.
	245000 states explored in 18.37s, with 954896 rules fired and 79308 states in the queue.
	246000 states explored in 18.49s, with 961769 rules fired and 79218 states in the queue.
	247000 states explored in 18.60s, with 967556 rules fired and 79260 states in the queue.
	248000 states explored in 18.67s, with 972145 rules fired and 79623 states in the queue.
	249000 states explored in 18.75s, with 977017 rules fired and 79940 states in the queue.
	250000 states explored in 18.81s, with 980506 rules fired and 80501 states in the queue.
	251000 states explored in 18.90s, with 985512 rules fired and 80721 states in the queue.
	252000 states explored in 19.00s, with 991433 rules fired and 80786 states in the queue.
	253000 states explored in 19.12s, with 998453 rules fired and 80635 states in the queue.
	254000 states explored in 19.20s, with 1003007 rules fired and 81023 states in the queue.
	255000 states explored in 19.28s, with 1008138 rules fired and 81282 states in the queue.
	256000 states explored in 19.38s, with 1013562 rules fired and 81389 states in the queue.
	257000 states explored in 19.51s, with 1020924 rules fired and 81212 states in the queue.
	258000 states explored in 19.61s, with 1025224 rules fired and 81233 states in the queue.
	259000 states explored in 19.70s, with 1029025 rules fired and 81524 states in the queue.
	260000 states explored in 19.77s, with 1032634 rules fired and 82056 states in the queue.
	261000 states explored in 19.85s, with 1036242 rules fired and 82442 states in the queue.
	262000 states explored in 19.93s, with 1039308 rules fired and 82727 states in the queue.
	263000 states explored in 20.01s, with 1043167 rules fired and 83148 states in the queue.
	264000 states explored in 20.11s, with 1047619 rules fired and 83418 states in the queue.
	265000 states explored in 20.20s, with 1051346 rules fired and 83820 states in the queue.
	266000 states explored in 20.26s, with 1055433 rules fired and 84292 states in the queue.
	267000 states explored in 20.38s, with 1060687 rules fired and 84493 states in the queue.
	268000 states explored in 20.50s, with 1065986 rules fired and 84717 states in the queue.
	269000 states explored in 20.59s, with 1070652 rules fired and 85046 states in the queue.
	270000 states explored in 20.68s, with 1075106 rules fired and 85350 states in the queue.
	271000 states explored in 20.77s, with 1080033 rules fired and 85685 states in the queue.
	272000 states explored in 20.90s, with 1085582 rules fired and 85811 states in the queue.
	273000 states explored in 21.01s, with 1091041 rules fired and 85955 states in the queue.
	274000 states explored in 21.11s, with 1096092 rules fired and 86189 states in the queue.
	275000 states explored in 21.23s, with 1101218 rules fired and 86174 states in the queue.
	276000 states explored in 21.29s, with 1104144 rules fired and 86598 states in the queue.
	277000 states explored in 21.36s, with 1107502 rules fired and 86838 states in the queue.
	278000 states explored in 21.42s, with 1110426 rules fired and 87263 states in the queue.
	279000 states explored in 21.47s, with 1113229 rules fired and 87738 states in the queue.
	280000 states explored in 21.53s, with 1116453 rules fired and 88158 states in the queue.
	281000 states explored in 21.60s, with 1120773 rules fired and 88507 states in the queue.
	282000 states explored in 21.65s, with 1123958 rules fired and 89102 states in the queue.
	283000 states explored in 21.73s, with 1128390 rules fired and 89381 states in the queue.
	284000 states explored in 21.78s, with 1131670 rules fired and 89962 states in the queue.
	285000 states explored in 21.85s, with 1135642 rules fired and 90371 states in the queue.
	286000 states explored in 21.90s, with 1139297 rules fired and 90907 states in the queue.
	287000 states explored in 21.97s, with 1143371 rules fired and 91258 states in the queue.
	288000 states explored in 22.03s, with 1146966 rules fired and 91765 states in the queue.
	289000 states explored in 22.12s, with 1152620 rules fired and 91869 states in the queue.
	290000 states explored in 22.17s, with 1155486 rules fired and 92518 states in the queue.
	291000 states explored in 22.24s, with 1159806 rules fired and 92902 states in the queue.
	292000 states explored in 22.32s, with 1164736 rules fired and 93109 states in the queue.
	293000 states explored in 22.37s, with 1167983 rules fired and 93684 states in the queue.
	294000 states explored in 22.45s, with 1172452 rules fired and 94045 states in the queue.
	295000 states explored in 22.52s, with 1176937 rules fired and 94367 states in the queue.
	296000 states explored in 22.57s, with 1180289 rules fired and 94929 states in the queue.
	297000 states explored in 22.66s, with 1185357 rules fired and 95186 states in the queue.
	298000 states explored in 22.73s, with 1189198 rules fired and 95486 states in the queue.
	299000 states explored in 22.81s, with 1193401 rules fired and 95721 states in the queue.
	300000 states explored in 22.86s, with 1196075 rules fired and 96261 states in the queue.
	301000 states explored in 22.93s, with 1199696 rules fired and 96613 states in the queue.
	302000 states explored in 23.01s, with 1204222 rules fired and 96892 states in the queue.
	303000 states explored in 23.13s, with 1210434 rules fired and 96735 states in the queue.
	304000 states explored in 23.18s, with 1213383 rules fired and 97333 states in the queue.
	305000 states explored in 23.25s, with 1217315 rules fired and 97710 states in the queue.
	306000 states explored in 23.33s, with 1221659 rules fired and 97953 states in the queue.
	307000 states explored in 23.43s, with 1227018 rules fired and 98014 states in the queue.
	308000 states explored in 23.52s, with 1231522 rules fired and 98152 states in the queue.
	309000 states explored in 23.58s, with 1235134 rules fired and 98595 states in the queue.
	310000 states explored in 23.63s, with 1238443 rules fired and 99063 states in the queue.
	311000 states explored in 23.70s, with 1242178 rules fired and 99403 states in the queue.
	312000 states explored in 23.78s, with 1246747 rules fired and 99668 states in the queue.
	313000 states explored in 23.90s, with 1252758 rules fired and 99547 states in the queue.
	314000 states explored in 23.95s, with 1255770 rules fired and 100132 states in the queue.
	315000 states explored in 24.02s, with 1259692 rules fired and 100507 states in the queue.
	316000 states explored in 24.10s, with 1264012 rules fired and 100758 states in the queue.
	317000 states explored in 24.20s, with 1269499 rules fired and 100786 states in the queue.
	318000 states explored in 24.29s, with 1274436 rules fired and 100924 states in the queue.
	319000 states explored in 24.36s, with 1278892 rules fired and 101329 states in the queue.
	320000 states explored in 24.45s, with 1284171 rules fired and 101600 states in the queue.
	321000 states explored in 24.52s, with 1287418 rules fired and 102124 states in the queue.
	322000 states explored in 24.57s, with 1291659 rules fired and 102547 states in the queue.
	323000 states explored in 24.68s, with 1296774 rules fired and 102708 states in the queue.
	324000 states explored in 24.80s, with 1303740 rules fired and 102613 states in the queue.
	325000 states explored in 24.89s, with 1309545 rules fired and 102687 states in the queue.
	326000 states explored in 24.98s, with 1314245 rules fired and 103071 states in the queue.
	327000 states explored in 25.07s, with 1319533 rules fired and 103299 states in the queue.
	328000 states explored in 25.16s, with 1324998 rules fired and 103410 states in the queue.
	329000 states explored in 25.29s, with 1332305 rules fired and 103250 states in the queue.
	330000 states explored in 25.38s, with 1337646 rules fired and 103387 states in the queue.
	331000 states explored in 25.46s, with 1342094 rules fired and 103785 states in the queue.
	332000 states explored in 25.54s, with 1347200 rules fired and 104089 states in the queue.
	333000 states explored in 25.59s, with 1350658 rules fired and 104658 states in the queue.
	334000 states explored in 25.67s, with 1355346 rules fired and 104944 states in the queue.
	335000 states explored in 25.77s, with 1361394 rules fired and 104956 states in the queue.
	336000 states explored in 25.92s, with 1369538 rules fired and 104637 states in the queue.
	337000 states explored in 25.97s, with 1373196 rules fired and 105170 states in the queue.
	338000 states explored in 26.06s, with 1378641 rules fired and 105408 states in the queue.
	339000 states explored in 26.15s, with 1383581 rules fired and 105641 states in the queue.
	340000 states explored in 26.26s, with 1390039 rules fired and 105620 states in the queue.
	341000 states explored in 26.40s, with 1397455 rules fired and 105343 states in the queue.
	342000 states explored in 26.46s, with 1401322 rules fired and 105792 states in the queue.
	343000 states explored in 26.56s, with 1406828 rules fired and 105994 states in the queue.
	344000 states explored in 26.66s, with 1412866 rules fired and 106047 states in the queue.
	345000 states explored in 26.71s, with 1415943 rules fired and 106642 states in the queue.
	346000 states explored in 26.78s, with 1420264 rules fired and 107039 states in the queue.
	347000 states explored in 26.86s, with 1425545 rules fired and 107253 states in the queue.
	348000 states explored in 26.97s, with 1431539 rules fired and 107157 states in the queue.
	349000 states explored in 27.12s, with 1439385 rules fired and 106793 states in the queue.
	350000 states explored in 27.20s, with 1444449 rules fired and 107033 states in the queue.
	351000 states explored in 27.31s, with 1451113 rules fired and 107013 states in the queue.
	352000 states explored in 27.44s, with 1457412 rules fired and 106860 states in the queue.
	353000 states explored in 27.58s, with 1465528 rules fired and 106395 states in the queue.
	354000 states explored in 27.65s, with 1469493 rules fired and 106817 states in the queue.
	355000 states explored in 27.73s, with 1475022 rules fired and 107014 states in the queue.
	356000 states explored in 27.85s, with 1480939 rules fired and 107130 states in the queue.
	357000 states explored in 27.90s, with 1484375 rules fired and 107672 states in the queue.
	358000 states explored in 27.99s, with 1489529 rules fired and 107910 states in the queue.
	359000 states explored in 28.11s, with 1495521 rules fired and 107839 states in the queue.
	360000 states explored in 28.27s, with 1504264 rules fired and 107268 states in the queue.
	361000 states explored in 28.35s, with 1508395 rules fired and 107641 states in the queue.
	362000 states explored in 28.45s, with 1514525 rules fired and 107738 states in the queue.
	363000 states explored in 28.58s, with 1521025 rules fired and 107631 states in the queue.
	364000 states explored in 28.74s, with 1529708 rules fired and 107073 states in the queue.
	365000 states explored in 28.82s, with 1533214 rules fired and 107441 states in the queue.
	366000 states explored in 28.91s, with 1536835 rules fired and 107725 states in the queue.
	367000 states explored in 29.00s, with 1540994 rules fired and 108069 states in the queue.
	368000 states explored in 29.08s, with 1544927 rules fired and 108541 states in the queue.
	369000 states explored in 29.18s, with 1549392 rules fired and 108881 states in the queue.
	370000 states explored in 29.26s, with 1553047 rules fired and 109296 states in the queue.
	371000 states explored in 29.35s, with 1556707 rules fired and 109698 states in the queue.
	372000 states explored in 29.41s, with 1559867 rules fired and 110174 states in the queue.
	373000 states explored in 29.50s, with 1563963 rules fired and 110518 states in the queue.
	374000 states explored in 29.62s, with 1568730 rules fired and 110675 states in the queue.
	375000 states explored in 29.71s, with 1573426 rules fired and 110864 states in the queue.
	376000 states explored in 29.81s, with 1577995 rules fired and 111099 states in the queue.
	377000 states explored in 29.90s, with 1582566 rules fired and 111476 states in the queue.
	378000 states explored in 30.00s, with 1588143 rules fired and 111634 states in the queue.
	379000 states explored in 30.12s, with 1593221 rules fired and 111809 states in the queue.
	380000 states explored in 30.26s, with 1599398 rules fired and 111851 states in the queue.
	381000 states explored in 30.35s, with 1604288 rules fired and 112151 states in the queue.
	382000 states explored in 30.47s, with 1609124 rules fired and 112344 states in the queue.
	383000 states explored in 30.57s, with 1613970 rules fired and 112634 states in the queue.
	384000 states explored in 30.70s, with 1620544 rules fired and 112554 states in the queue.
	385000 states explored in 30.83s, with 1626092 rules fired and 112560 states in the queue.
	386000 states explored in 30.95s, with 1632030 rules fired and 112571 states in the queue.
	387000 states explored in 31.08s, with 1638229 rules fired and 112544 states in the queue.
	388000 states explored in 31.15s, with 1641412 rules fired and 112986 states in the queue.
	389000 states explored in 31.22s, with 1645116 rules fired and 113412 states in the queue.
	390000 states explored in 31.26s, with 1647878 rules fired and 113937 states in the queue.
	391000 states explored in 31.33s, with 1651849 rules fired and 114310 states in the queue.
	392000 states explored in 31.39s, with 1654515 rules fired and 114776 states in the queue.
	393000 states explored in 31.46s, with 1658497 rules fired and 115146 states in the queue.
	394000 states explored in 31.52s, with 1661143 rules fired and 115710 states in the queue.
	395000 states explored in 31.59s, with 1665273 rules fired and 115918 states in the queue.
	396000 states explored in 31.64s, with 1668178 rules fired and 116574 states in the queue.
	397000 states explored in 31.71s, with 1672221 rules fired and 117013 states in the queue.
	398000 states explored in 31.80s, with 1677699 rules fired and 117139 states in the queue.
	399000 states explored in 31.86s, with 1680632 rules fired and 117788 states in the queue.
	400000 states explored in 31.93s, with 1684911 rules fired and 118178 states in the queue.
	401000 states explored in 32.02s, with 1690277 rules fired and 118288 states in the queue.
	402000 states explored in 32.06s, with 1693268 rules fired and 118923 states in the queue.
	403000 states explored in 32.14s, with 1697689 rules fired and 119293 states in the queue.
	404000 states explored in 32.23s, with 1702704 rules fired and 119509 states in the queue.
	405000 states explored in 32.28s, with 1705781 rules fired and 120119 states in the queue.
	406000 states explored in 32.36s, with 1710222 rules fired and 120498 states in the queue.
	407000 states explored in 32.46s, with 1715309 rules fired and 120691 states in the queue.
	408000 states explored in 32.52s, with 1718875 rules fired and 121235 states in the queue.
	409000 states explored in 32.59s, with 1723331 rules fired and 121517 states in the queue.
	410000 states explored in 32.69s, with 1728796 rules fired and 121664 states in the queue.
	411000 states explored in 32.77s, with 1733880 rules fired and 121868 states in the queue.
	412000 states explored in 32.85s, with 1738156 rules fired and 122258 states in the queue.
	413000 states explored in 32.92s, with 1742113 rules fired and 122644 states in the queue.
	414000 states explored in 33.03s, with 1748182 rules fired and 122671 states in the queue.
	415000 states explored in 33.11s, with 1752809 rules fired and 122982 states in the queue.
	416000 states explored in 33.19s, with 1756865 rules fired and 123385 states in the queue.
	417000 states explored in 33.30s, with 1761686 rules fired and 123637 states in the queue.
	418000 states explored in 33.43s, with 1768212 rules fired and 123556 states in the queue.
	419000 states explored in 33.49s, with 1771649 rules fired and 124111 states in the queue.
	420000 states explored in 33.57s, with 1776176 rules fired and 124387 states in the queue.
	421000 states explored in 33.66s, with 1781452 rules fired and 124585 states in the queue.
	422000 states explored in 33.76s, with 1786760 rules fired and 124664 states in the queue.
	423000 states explored in 33.83s, with 1790134 rules fired and 125130 states in the queue.
	424000 states explored in 33.91s, with 1794693 rules fired and 125382 states in the queue.
	425000 states explored in 33.99s, with 1798368 rules fired and 125727 states in the queue.
	426000 states explored in 34.04s, with 1801277 rules fired and 126319 states in the queue.
	427000 states explored in 34.11s, with 1805037 rules fired and 126682 states in the queue.
	428000 states explored in 34.20s, with 1809906 rules fired and 126711 states in the queue.
	429000 states explored in 34.34s, with 1816060 rules fired and 126547 states in the queue.
	430000 states explored in 34.44s, with 1820657 rules fired and 126724 states in the queue.
	431000 states explored in 34.52s, with 1824751 rules fired and 127087 states in the queue.
	432000 states explored in 34.61s, with 1829399 rules fired and 127297 states in the queue.
	433000 states explored in 34.71s, with 1834203 rules fired and 127356 states in the queue.
	434000 states explored in 34.83s, with 1840103 rules fired and 127261 states in the queue.
	435000 states explored in 34.94s, with 1844881 rules fired and 127333 states in the queue.
	436000 states explored in 35.01s, with 1849036 rules fired and 127660 states in the queue.
	437000 states explored in 35.08s, with 1853065 rules fired and 128030 states in the queue.
	438000 states explored in 35.14s, with 1856463 rules fired and 128507 states in the queue.
	439000 states explored in 35.22s, with 1860370 rules fired and 128872 states in the queue.
	440000 states explored in 35.31s, with 1864619 rules fired and 129051 states in the queue.
	441000 states explored in 35.45s, with 1870629 rules fired and 128921 states in the queue.
	442000 states explored in 35.56s, with 1875845 rules fired and 128915 states in the queue.
	443000 states explored in 35.64s, with 1879806 rules fired and 129320 states in the queue.
	444000 states explored in 35.75s, with 1884654 rules fired and 129521 states in the queue.
	445000 states explored in 35.84s, with 1888767 rules fired and 129725 states in the queue.
	446000 states explored in 35.95s, with 1894409 rules fired and 129677 states in the queue.
	447000 states explored in 36.07s, with 1900528 rules fired and 129450 states in the queue.
	448000 states explored in 36.14s, with 1904651 rules fired and 129852 states in the queue.
	449000 states explored in 36.23s, with 1909850 rules fired and 130134 states in the queue.
	450000 states explored in 36.32s, with 1915273 rules fired and 130322 states in the queue.
	451000 states explored in 36.41s, with 1919678 rules fired and 130628 states in the queue.
	452000 states explored in 36.48s, with 1923929 rules fired and 131062 states in the queue.
	453000 states explored in 36.55s, with 1928361 rules fired and 131434 states in the queue.
	454000 states explored in 36.65s, with 1933702 rules fired and 131535 states in the queue.
	455000 states explored in 36.80s, with 1941750 rules fired and 131137 states in the queue.
	456000 states explored in 36.91s, with 1947692 rules fired and 131118 states in the queue.
	457000 states explored in 37.01s, with 1953316 rules fired and 131307 states in the queue.
	458000 states explored in 37.13s, with 1960286 rules fired and 131180 states in the queue.
	459000 states explored in 37.25s, with 1966492 rules fired and 131059 states in the queue.
	460000 states explored in 37.40s, with 1974689 rules fired and 130583 states in the queue.
	461000 states explored in 37.47s, with 1978768 rules fired and 130997 states in the queue.
	462000 states explored in 37.56s, with 1984164 rules fired and 131242 states in the queue.
	463000 states explored in 37.65s, with 1989497 rules fired and 131459 states in the queue.
	464000 states explored in 37.72s, with 1993861 rules fired and 131813 states in the queue.
	465000 states explored in 37.79s, with 1998360 rules fired and 132180 states in the queue.
	466000 states explored in 37.89s, with 2004119 rules fired and 132217 states in the queue.
	467000 states explored in 38.03s, with 2011372 rules fired and 131949 states in the queue.
	468000 states explored in 38.15s, with 2018228 rules fired and 131778 states in the queue.
	469000 states explored in 38.25s, with 2023720 rules fired and 131963 states in the queue.
	470000 states explored in 38.38s, with 2030578 rules fired and 131903 states in the queue.
	471000 states explored in 38.48s, with 2036923 rules fired and 131737 states in the queue.
	472000 states explored in 38.65s, with 2045544 rules fired and 131225 states in the queue.
	473000 states explored in 38.72s, with 2049809 rules fired and 131551 states in the queue.
	474000 states explored in 38.80s, with 2055234 rules fired and 131720 states in the queue.
	475000 states explored in 38.91s, with 2060825 rules fired and 131852 states in the queue.
	476000 states explored in 38.99s, with 2066526 rules fired and 131954 states in the queue.
	477000 states explored in 39.07s, with 2070442 rules fired and 132350 states in the queue.
	478000 states explored in 39.14s, with 2075284 rules fired and 132669 states in the queue.
	479000 states explored in 39.22s, with 2080018 rules fired and 132939 states in the queue.
	480000 states explored in 39.34s, with 2086663 rules fired and 132803 states in the queue.
	481000 states explored in 39.50s, with 2094790 rules fired and 132211 states in the queue.
	482000 states explored in 39.60s, with 2100503 rules fired and 132269 states in the queue.
	483000 states explored in 39.75s, with 2108662 rules fired and 131938 states in the queue.
	484000 states explored in 39.92s, with 2117225 rules fired and 131246 states in the queue.
	485000 states explored in 39.98s, with 2121039 rules fired and 131657 states in the queue.
	486000 states explored in 40.07s, with 2126236 rules fired and 131839 states in the queue.
	487000 states explored in 40.18s, with 2132306 rules fired and 131883 states in the queue.
	488000 states explored in 40.27s, with 2138414 rules fired and 131932 states in the queue.
	489000 states explored in 40.34s, with 2142498 rules fired and 132294 states in the queue.
	490000 states explored in 40.44s, with 2148439 rules fired and 132351 states in the queue.
	491000 states explored in 40.57s, with 2155565 rules fired and 132029 states in the queue.
	492000 states explored in 40.71s, with 2162939 rules fired and 131658 states in the queue.
	493000 states explored in 40.82s, with 2169085 rules fired and 131673 states in the queue.
	494000 states explored in 40.95s, with 2176343 rules fired and 131423 states in the queue.
	495000 states explored in 41.11s, with 2184405 rules fired and 130838 states in the queue.
	496000 states explored in 41.19s, with 2187894 rules fired and 131289 states in the queue.
	497000 states explored in 41.26s, with 2191076 rules fired and 131726 states in the queue.
	498000 states explored in 41.34s, with 2195193 rules fired and 132158 states in the queue.
	499000 states explored in 41.44s, with 2199842 rules fired and 132469 states in the queue.
	500000 states explored in 41.52s, with 2203845 rules fired and 132887 states in the queue.
	501000 states explored in 41.62s, with 2209007 rules fired and 133088 states in the queue.
	502000 states explored in 41.74s, with 2214230 rules fired and 133259 states in the queue.
	503000 states explored in 41.84s, with 2219095 rules fired and 133477 states in the queue.
	504000 states explored in 41.91s, with 2222589 rules fired and 133945 states in the queue.
	505000 states explored in 42.00s, with 2226390 rules fired and 134309 states in the queue.
	506000 states explored in 42.09s, with 2230147 rules fired and 134627 states in the queue.
	507000 states explored in 42.15s, with 2233338 rules fired and 135168 states in the queue.
	508000 states explored in 42.25s, with 2238744 rules fired and 135252 states in the queue.
	509000 states explored in 42.38s, with 2243727 rules fired and 135226 states in the queue.
	510000 states explored in 42.49s, with 2248923 rules fired and 135295 states in the queue.
	511000 states explored in 42.61s, with 2254303 rules fired and 135312 states in the queue.
	512000 states explored in 42.69s, with 2258555 rules fired and 135682 states in the queue.
	513000 states explored in 42.80s, with 2264199 rules fired and 135855 states in the queue.
	514000 states explored in 42.95s, with 2270738 rules fired and 135733 states in the queue.
	515000 states explored in 43.08s, with 2276460 rules fired and 135739 states in the queue.
	516000 states explored in 43.20s, with 2282324 rules fired and 135736 states in the queue.
	517000 states explored in 43.33s, with 2288555 rules fired and 135706 states in the queue.
	518000 states explored in 43.44s, with 2293336 rules fired and 135918 states in the queue.
	519000 states explored in 43.54s, with 2298551 rules fired and 136113 states in the queue.
	520000 states explored in 43.69s, with 2305494 rules fired and 135908 states in the queue.
	521000 states explored in 43.84s, with 2311647 rules fired and 135747 states in the queue.
	522000 states explored in 43.96s, with 2317291 rules fired and 135753 states in the queue.
	523000 states explored in 44.08s, with 2322984 rules fired and 135724 states in the queue.
	524000 states explored in 44.13s, with 2325736 rules fired and 136331 states in the queue.
	525000 states explored in 44.19s, with 2329616 rules fired and 136693 states in the queue.
	526000 states explored in 44.28s, with 2334039 rules fired and 136867 states in the queue.
	527000 states explored in 44.32s, with 2336782 rules fired and 137487 states in the queue.
	528000 states explored in 44.38s, with 2340306 rules fired and 137921 states in the queue.
	529000 states explored in 44.46s, with 2344719 rules fired and 138150 states in the queue.
	530000 states explored in 44.52s, with 2347881 rules fired and 138578 states in the queue.
	531000 states explored in 44.57s, with 2350851 rules fired and 139099 states in the queue.
	532000 states explored in 44.66s, with 2355480 rules fired and 139303 states in the queue.
	533000 states explored in 44.72s, with 2358952 rules fired and 139711 states in the queue.
	534000 states explored in 44.77s, with 2361739 rules fired and 140277 states in the queue.
	535000 states explored in 44.84s, with 2365881 rules fired and 140584 states in the queue.
	536000 states explored in 44.92s, with 2370062 rules fired and 140853 states in the queue.
	537000 states explored in 44.99s, with 2374489 rules fired and 141229 states in the queue.
	538000 states explored in 45.06s, with 2378434 rules fired and 141603 states in the queue.
	539000 states explored in 45.15s, with 2384124 rules fired and 141705 states in the queue.
	540000 states explored in 45.24s, with 2389330 rules fired and 141891 states in the queue.
	541000 states explored in 45.31s, with 2393753 rules fired and 142269 states in the queue.
	542000 states explored in 45.38s, with 2397702 rules fired and 142641 states in the queue.
	543000 states explored in 45.48s, with 2403370 rules fired and 142749 states in the queue.
	544000 states explored in 45.56s, with 2408606 rules fired and 142925 states in the queue.
	545000 states explored in 45.63s, with 2413025 rules fired and 143305 states in the queue.
	546000 states explored in 45.70s, with 2416978 rules fired and 143675 states in the queue.
	547000 states explored in 45.80s, with 2422624 rules fired and 143789 states in the queue.
	548000 states explored in 45.88s, with 2427874 rules fired and 143963 states in the queue.
	549000 states explored in 45.97s, with 2432289 rules fired and 144345 states in the queue.
	550000 states explored in 46.03s, with 2436246 rules fired and 144713 states in the queue.
	551000 states explored in 46.13s, with 2441867 rules fired and 144833 states in the queue.
	552000 states explored in 46.22s, with 2447224 rules fired and 144958 states in the queue.
	553000 states explored in 46.29s, with 2451516 rules fired and 145342 states in the queue.
	554000 states explored in 46.38s, with 2456470 rules fired and 145566 states in the queue.
	555000 states explored in 46.48s, with 2462057 rules fired and 145590 states in the queue.
	556000 states explored in 46.59s, with 2468899 rules fired and 145399 states in the queue.
	557000 states explored in 46.66s, with 2473078 rules fired and 145804 states in the queue.
	558000 states explored in 46.75s, with 2478020 rules fired and 146046 states in the queue.
	559000 states explored in 46.83s, with 2482880 rules fired and 146191 states in the queue.
	560000 states explored in 46.96s, with 2489769 rules fired and 146002 states in the queue.
	561000 states explored in 47.03s, with 2493983 rules fired and 146361 states in the queue.
	562000 states explored in 47.11s, with 2499377 rules fired and 146554 states in the queue.
	563000 states explored in 47.19s, with 2503968 rules fired and 146770 states in the queue.
	564000 states explored in 47.31s, with 2510550 rules fired and 146627 states in the queue.
	565000 states explored in 47.41s, with 2515535 rules fired and 146803 states in the queue.
	566000 states explored in 47.48s, with 2520198 rules fired and 147130 states in the queue.
	567000 states explored in 47.57s, with 2525070 rules fired and 147336 states in the queue.
	568000 states explored in 47.67s, with 2530756 rules fired and 147368 states in the queue.
	569000 states explored in 47.79s, with 2537167 rules fired and 147138 states in the queue.
	570000 states explored in 47.85s, with 2540690 rules fired and 147519 states in the queue.
	571000 states explored in 47.94s, with 2545525 rules fired and 147759 states in the queue.
	572000 states explored in 48.01s, with 2549988 rules fired and 147970 states in the queue.
	573000 states explored in 48.08s, with 2553850 rules fired and 148259 states in the queue.
	574000 states explored in 48.14s, with 2556865 rules fired and 148823 states in the queue.
	575000 states explored in 48.21s, with 2560938 rules fired and 149128 states in the queue.
	576000 states explored in 48.29s, with 2565505 rules fired and 149314 states in the queue.
	577000 states explored in 48.40s, with 2570631 rules fired and 149180 states in the queue.
	578000 states explored in 48.55s, with 2577732 rules fired and 148647 states in the queue.
	579000 states explored in 48.62s, with 2581420 rules fired and 149004 states in the queue.
	580000 states explored in 48.72s, with 2586687 rules fired and 149099 states in the queue.
	581000 states explored in 48.83s, with 2592266 rules fired and 148959 states in the queue.
	582000 states explored in 48.95s, with 2597710 rules fired and 148810 states in the queue.
	583000 states explored in 49.09s, with 2604300 rules fired and 148379 states in the queue.
	584000 states explored in 49.15s, with 2607761 rules fired and 148782 states in the queue.
	585000 states explored in 49.24s, with 2612508 rules fired and 149007 states in the queue.
	586000 states explored in 49.32s, with 2617212 rules fired and 149185 states in the queue.
	587000 states explored in 49.39s, with 2621069 rules fired and 149509 states in the queue.
	588000 states explored in 49.47s, with 2625052 rules fired and 149858 states in the queue.
	589000 states explored in 49.56s, with 2629762 rules fired and 150005 states in the queue.
	590000 states explored in 49.67s, with 2634665 rules fired and 149915 states in the queue.
	591000 states explored in 49.84s, with 2642062 rules fired and 149316 states in the queue.
	592000 states explored in 49.91s, with 2645713 rules fired and 149676 states in the queue.
	593000 states explored in 50.02s, with 2651029 rules fired and 149757 states in the queue.
	594000 states explored in 50.14s, with 2656544 rules fired and 149650 states in the queue.
	595000 states explored in 50.25s, with 2661952 rules fired and 149484 states in the queue.
	596000 states explored in 50.39s, with 2668623 rules fired and 149126 states in the queue.
	597000 states explored in 50.48s, with 2673370 rules fired and 149357 states in the queue.
	598000 states explored in 50.57s, with 2678899 rules fired and 149541 states in the queue.
	599000 states explored in 50.67s, with 2684574 rules fired and 149651 states in the queue.
	600000 states explored in 50.77s, with 2690564 rules fired and 149711 states in the queue.
	601000 states explored in 50.84s, with 2694409 rules fired and 150109 states in the queue.
	602000 states explored in 50.92s, with 2699017 rules fired and 150457 states in the queue.
	603000 states explored in 51.00s, with 2704159 rules fired and 150646 states in the queue.
	604000 states explored in 51.11s, with 2710221 rules fired and 150725 states in the queue.
	605000 states explored in 51.26s, with 2718726 rules fired and 150067 states in the queue.
	606000 states explored in 51.38s, with 2724440 rules fired and 150062 states in the queue.
	607000 states explored in 51.49s, with 2730900 rules fired and 150047 states in the queue.
	608000 states explored in 51.63s, with 2738200 rules fired and 149756 states in the queue.
	609000 states explored in 51.79s, with 2746579 rules fired and 149150 states in the queue.
	610000 states explored in 51.88s, with 2751327 rules fired and 149392 states in the queue.
	611000 states explored in 51.97s, with 2756637 rules fired and 149598 states in the queue.
	612000 states explored in 52.07s, with 2762312 rules fired and 149708 states in the queue.
	613000 states explored in 52.18s, with 2768568 rules fired and 149735 states in the queue.
	614000 states explored in 52.26s, with 2772762 rules fired and 150066 states in the queue.
	615000 states explored in 52.37s, with 2778772 rules fired and 150101 states in the queue.
	616000 states explored in 52.48s, with 2785597 rules fired and 149884 states in the queue.
	617000 states explored in 52.63s, with 2793436 rules fired and 149399 states in the queue.
	618000 states explored in 52.74s, with 2799351 rules fired and 149408 states in the queue.
	619000 states explored in 52.88s, with 2807293 rules fired and 149133 states in the queue.
	620000 states explored in 53.04s, with 2815184 rules fired and 148616 states in the queue.
	621000 states explored in 53.16s, with 2821043 rules fired and 148537 states in the queue.
	622000 states explored in 53.25s, with 2826199 rules fired and 148653 states in the queue.
	623000 states explored in 53.36s, with 2832919 rules fired and 148594 states in the queue.
	624000 states explored in 53.47s, with 2839202 rules fired and 148550 states in the queue.
	625000 states explored in 53.55s, with 2843648 rules fired and 148794 states in the queue.
	626000 states explored in 53.62s, with 2848141 rules fired and 149052 states in the queue.
	627000 states explored in 53.71s, with 2853472 rules fired and 149251 states in the queue.
	628000 states explored in 53.81s, with 2859346 rules fired and 149267 states in the queue.
	629000 states explored in 53.95s, with 2866925 rules fired and 148880 states in the queue.
	630000 states explored in 54.11s, with 2874586 rules fired and 148332 states in the queue.
	631000 states explored in 54.28s, with 2883489 rules fired and 147645 states in the queue.
	632000 states explored in 54.40s, with 2889674 rules fired and 147426 states in the queue.
	633000 states explored in 54.49s, with 2894830 rules fired and 147542 states in the queue.
	634000 states explored in 54.61s, with 2901694 rules fired and 147461 states in the queue.
	635000 states explored in 54.72s, with 2908018 rules fired and 147405 states in the queue.
	636000 states explored in 54.81s, with 2912975 rules fired and 147536 states in the queue.
	637000 states explored in 54.93s, with 2919606 rules fired and 147409 states in the queue.
	638000 states explored in 55.10s, with 2928412 rules fired and 146597 states in the queue.
	639000 states explored in 55.22s, with 2934482 rules fired and 146468 states in the queue.
	640000 states explored in 55.39s, with 2944091 rules fired and 145590 states in the queue.
	641000 states explored in 55.47s, with 2947891 rules fired and 145918 states in the queue.
	642000 states explored in 55.56s, with 2951895 rules fired and 146261 states in the queue.
	643000 states explored in 55.64s, with 2955685 rules fired and 146616 states in the queue.
	644000 states explored in 55.71s, with 2959332 rules fired and 147063 states in the queue.
	645000 states explored in 55.82s, with 2964547 rules fired and 147247 states in the queue.
	646000 states explored in 55.95s, with 2970378 rules fired and 147292 states in the queue.
	647000 states explored in 56.04s, with 2975122 rules fired and 147568 states in the queue.
	648000 states explored in 56.12s, with 2979409 rules fired and 147957 states in the queue.
	649000 states explored in 56.24s, with 2985038 rules fired and 148019 states in the queue.
	650000 states explored in 56.36s, with 2991155 rules fired and 147958 states in the queue.
	651000 states explored in 56.47s, with 2996427 rules fired and 148095 states in the queue.
	652000 states explored in 56.52s, with 2999457 rules fired and 148656 states in the queue.
	653000 states explored in 56.63s, with 3004165 rules fired and 148729 states in the queue.
	654000 states explored in 56.74s, with 3008959 rules fired and 148837 states in the queue.
	655000 states explored in 56.84s, with 3013150 rules fired and 149065 states in the queue.
	656000 states explored in 56.91s, with 3016705 rules fired and 149436 states in the queue.
	657000 states explored in 57.03s, with 3022398 rules fired and 149417 states in the queue.
	658000 states explored in 57.19s, with 3028348 rules fired and 149122 states in the queue.
	659000 states explored in 57.30s, with 3033748 rules fired and 149038 states in the queue.
	660000 states explored in 57.42s, with 3039558 rules fired and 148900 states in the queue.
	661000 states explored in 57.53s, with 3044597 rules fired and 149075 states in the queue.
	662000 states explored in 57.66s, with 3051027 rules fired and 149065 states in the queue.
	663000 states explored in 57.80s, with 3057327 rules fired and 148911 states in the queue.
	664000 states explored in 57.95s, with 3063991 rules fired and 148674 states in the queue.
	665000 states explored in 58.05s, with 3069135 rules fired and 148820 states in the queue.
	666000 states explored in 58.21s, with 3075601 rules fired and 148602 states in the queue.
	667000 states explored in 58.33s, with 3080884 rules fired and 148678 states in the queue.
	668000 states explored in 58.48s, with 3087805 rules fired and 148463 states in the queue.
	669000 states explored in 58.65s, with 3094833 rules fired and 147998 states in the queue.
	670000 states explored in 58.79s, with 3101367 rules fired and 147777 states in the queue.
	671000 states explored in 58.88s, with 3105521 rules fired and 148012 states in the queue.
	672000 states explored in 58.95s, with 3109296 rules fired and 148387 states in the queue.
	673000 states explored in 59.02s, with 3112690 rules fired and 148736 states in the queue.
	674000 states explored in 59.10s, with 3117722 rules fired and 148806 states in the queue.
	675000 states explored in 59.19s, with 3122243 rules fired and 148963 states in the queue.
	676000 states explored in 59.26s, with 3125841 rules fired and 149411 states in the queue.
	677000 states explored in 59.33s, with 3129535 rules fired and 149694 states in the queue.
	678000 states explored in 59.41s, with 3134023 rules fired and 149912 states in the queue.
	679000 states explored in 59.52s, with 3139181 rules fired and 149867 states in the queue.
	680000 states explored in 59.56s, with 3142249 rules fired and 150427 states in the queue.
	681000 states explored in 59.63s, with 3145898 rules fired and 150793 states in the queue.
	682000 states explored in 59.72s, with 3150092 rules fired and 150991 states in the queue.
	683000 states explored in 59.81s, with 3155175 rules fired and 151030 states in the queue.
	684000 states explored in 59.88s, with 3158997 rules fired and 151376 states in the queue.
	685000 states explored in 59.96s, with 3162613 rules fired and 151769 states in the queue.
	686000 states explored in 60.03s, with 3166221 rules fired and 152090 states in the queue.
	687000 states explored in 60.13s, with 3171237 rules fired and 152128 states in the queue.
	688000 states explored in 60.21s, with 3175909 rules fired and 152287 states in the queue.
	689000 states explored in 60.28s, with 3180333 rules fired and 152663 states in the queue.
	690000 states explored in 60.36s, with 3185205 rules fired and 152896 states in the queue.
	691000 states explored in 60.45s, with 3190434 rules fired and 152976 states in the queue.
	692000 states explored in 60.58s, with 3197361 rules fired and 152782 states in the queue.
	693000 states explored in 60.65s, with 3201810 rules fired and 153100 states in the queue.
	694000 states explored in 60.73s, with 3206738 rules fired and 153368 states in the queue.
	695000 states explored in 60.82s, with 3211584 rules fired and 153558 states in the queue.
	696000 states explored in 60.92s, with 3217233 rules fired and 153602 states in the queue.
	697000 states explored in 61.04s, with 3224094 rules fired and 153401 states in the queue.
	698000 states explored in 61.11s, with 3228132 rules fired and 153836 states in the queue.
	699000 states explored in 61.20s, with 3233459 rules fired and 154019 states in the queue.
	700000 states explored in 61.29s, with 3238135 rules fired and 154191 states in the queue.
	701000 states explored in 61.40s, with 3244619 rules fired and 154080 states in the queue.
	702000 states explored in 61.50s, with 3249794 rules fired and 154214 states in the queue.
	703000 states explored in 61.57s, with 3254205 rules fired and 154588 states in the queue.
	704000 states explored in 61.65s, with 3259051 rules fired and 154837 states in the queue.
	705000 states explored in 61.75s, with 3264479 rules fired and 154862 states in the queue.
	706000 states explored in 61.88s, with 3272057 rules fired and 154548 states in the queue.
	707000 states explored in 61.96s, with 3276214 rules fired and 154860 states in the queue.
	708000 states explored in 62.05s, with 3281819 rules fired and 154964 states in the queue.
	709000 states explored in 62.17s, with 3287881 rules fired and 154860 states in the queue.
	710000 states explored in 62.33s, with 3296360 rules fired and 154193 states in the queue.
	711000 states explored in 62.40s, with 3300167 rules fired and 154574 states in the queue.
	712000 states explored in 62.50s, with 3305751 rules fired and 154684 states in the queue.
	713000 states explored in 62.61s, with 3311869 rules fired and 154564 states in the queue.
	714000 states explored in 62.76s, with 3320300 rules fired and 153909 states in the queue.
	715000 states explored in 62.84s, with 3324116 rules fired and 154289 states in the queue.
	716000 states explored in 62.95s, with 3329683 rules fired and 154404 states in the queue.
	717000 states explored in 63.06s, with 3335857 rules fired and 154268 states in the queue.
	718000 states explored in 63.21s, with 3344242 rules fired and 153625 states in the queue.
	719000 states explored in 63.28s, with 3348066 rules fired and 154004 states in the queue.
	720000 states explored in 63.38s, with 3353800 rules fired and 154093 states in the queue.
	721000 states explored in 63.49s, with 3359845 rules fired and 153972 states in the queue.
	722000 states explored in 63.65s, with 3368177 rules fired and 153336 states in the queue.
	723000 states explored in 63.71s, with 3371496 rules fired and 153715 states in the queue.
	724000 states explored in 63.80s, with 3375675 rules fired and 153915 states in the queue.
	725000 states explored in 63.90s, with 3381037 rules fired and 153996 states in the queue.
	726000 states explored in 64.00s, with 3385985 rules fired and 154067 states in the queue.
	727000 states explored in 64.07s, with 3389896 rules fired and 154352 states in the queue.
	728000 states explored in 64.14s, with 3393254 rules fired and 154732 states in the queue.
	729000 states explored in 64.21s, with 3397392 rules fired and 155074 states in the queue.
	730000 states explored in 64.29s, with 3401867 rules fired and 155228 states in the queue.
	731000 states explored in 64.39s, with 3407127 rules fired and 155280 states in the queue.
	732000 states explored in 64.54s, with 3413246 rules fired and 154773 states in the queue.
	733000 states explored in 64.66s, with 3418629 rules fired and 154612 states in the queue.
	734000 states explored in 64.75s, with 3423907 rules fired and 154608 states in the queue.
	735000 states explored in 64.89s, with 3430615 rules fired and 154234 states in the queue.
	736000 states explored in 65.06s, with 3437979 rules fired and 153425 states in the queue.
	737000 states explored in 65.12s, with 3441388 rules fired and 153790 states in the queue.
	738000 states explored in 65.21s, with 3445589 rules fired and 153993 states in the queue.
	739000 states explored in 65.30s, with 3450866 rules fired and 154073 states in the queue.
	740000 states explored in 65.40s, with 3455793 rules fired and 154155 states in the queue.
	741000 states explored in 65.47s, with 3459989 rules fired and 154387 states in the queue.
	742000 states explored in 65.55s, with 3464229 rules fired and 154587 states in the queue.
	743000 states explored in 65.65s, with 3469275 rules fired and 154628 states in the queue.
	744000 states explored in 65.78s, with 3475267 rules fired and 154242 states in the queue.
	745000 states explored in 65.92s, with 3481437 rules fired and 153814 states in the queue.
	746000 states explored in 66.01s, with 3486154 rules fired and 153882 states in the queue.
	747000 states explored in 66.14s, with 3492644 rules fired and 153640 states in the queue.
	748000 states explored in 66.30s, with 3498992 rules fired and 153132 states in the queue.
	749000 states explored in 66.42s, with 3504778 rules fired and 152924 states in the queue.
	750000 states explored in 66.52s, with 3510058 rules fired and 153014 states in the queue.
	751000 states explored in 66.62s, with 3516549 rules fired and 152989 states in the queue.
	752000 states explored in 66.73s, with 3522721 rules fired and 152963 states in the queue.
	753000 states explored in 66.83s, with 3528076 rules fired and 153085 states in the queue.
	754000 states explored in 66.92s, with 3532657 rules fired and 153329 states in the queue.
	755000 states explored in 67.00s, with 3537170 rules fired and 153592 states in the queue.
	756000 states explored in 67.12s, with 3543820 rules fired and 153536 states in the queue.
	757000 states explored in 67.21s, with 3549555 rules fired and 153600 states in the queue.
	758000 states explored in 67.38s, with 3558414 rules fired and 152812 states in the queue.
	759000 states explored in 67.51s, with 3564645 rules fired and 152664 states in the queue.
	760000 states explored in 67.71s, with 3574538 rules fired and 151743 states in the queue.
	761000 states explored in 67.82s, with 3579938 rules fired and 151722 states in the queue.
	762000 states explored in 67.92s, with 3585429 rules fired and 151774 states in the queue.
	763000 states explored in 68.02s, with 3591681 rules fired and 151801 states in the queue.
	764000 states explored in 68.14s, with 3598249 rules fired and 151710 states in the queue.
	765000 states explored in 68.22s, with 3603385 rules fired and 151853 states in the queue.
	766000 states explored in 68.33s, with 3609296 rules fired and 151816 states in the queue.
	767000 states explored in 68.43s, with 3617047 rules fired and 151442 states in the queue.
	768000 states explored in 68.58s, with 3624526 rules fired and 150858 states in the queue.
	769000 states explored in 68.74s, with 3633092 rules fired and 150330 states in the queue.
	770000 states explored in 68.91s, with 3641335 rules fired and 149592 states in the queue.
	771000 states explored in 69.01s, with 3646704 rules fired and 149611 states in the queue.
	772000 states explored in 69.14s, with 3653456 rules fired and 149438 states in the queue.
	773000 states explored in 69.25s, with 3660033 rules fired and 149308 states in the queue.
	774000 states explored in 69.35s, with 3665189 rules fired and 149337 states in the queue.
	775000 states explored in 69.46s, with 3670864 rules fired and 149280 states in the queue.
	776000 states explored in 69.57s, with 3676579 rules fired and 149350 states in the queue.
	777000 states explored in 69.69s, with 3683565 rules fired and 149090 states in the queue.
	778000 states explored in 69.85s, with 3691613 rules fired and 148486 states in the queue.
	779000 states explored in 70.03s, with 3700678 rules fired and 147598 states in the queue.
	780000 states explored in 70.13s, with 3705955 rules fired and 147618 states in the queue.
	781000 states explored in 70.23s, with 3712040 rules fired and 147563 states in the queue.
	782000 states explored in 70.36s, with 3718975 rules fired and 147366 states in the queue.
	783000 states explored in 70.47s, with 3725398 rules fired and 147152 states in the queue.
	784000 states explored in 70.64s, with 3734180 rules fired and 146437 states in the queue.
	785000 states explored in 70.82s, with 3742795 rules fired and 145625 states in the queue.
	786000 states explored in 70.92s, with 3747784 rules fired and 145640 states in the queue.
	787000 states explored in 71.03s, with 3752361 rules fired and 145783 states in the queue.
	788000 states explored in 71.13s, with 3756605 rules fired and 145998 states in the queue.
	789000 states explored in 71.22s, with 3760740 rules fired and 146268 states in the queue.
	790000 states explored in 71.30s, with 3764690 rules fired and 146606 states in the queue.
	791000 states explored in 71.41s, with 3770283 rules fired and 146768 states in the queue.
	792000 states explored in 71.54s, with 3775929 rules fired and 146764 states in the queue.
	793000 states explored in 71.64s, with 3781408 rules fired and 146883 states in the queue.
	794000 states explored in 71.76s, with 3786848 rules fired and 146956 states in the queue.
	795000 states explored in 71.85s, with 3792019 rules fired and 147142 states in the queue.
	796000 states explored in 72.01s, with 3798907 rules fired and 146844 states in the queue.
	797000 states explored in 72.13s, with 3805076 rules fired and 146724 states in the queue.
	798000 states explored in 72.22s, with 3809962 rules fired and 146830 states in the queue.
	799000 states explored in 72.31s, with 3814190 rules fired and 147114 states in the queue.
	800000 states explored in 72.42s, with 3819011 rules fired and 147128 states in the queue.
	801000 states explored in 72.54s, with 3824226 rules fired and 147033 states in the queue.
	802000 states explored in 72.65s, with 3829070 rules fired and 147098 states in the queue.
	803000 states explored in 72.75s, with 3833327 rules fired and 147249 states in the queue.
	804000 states explored in 72.90s, with 3839586 rules fired and 147012 states in the queue.
	805000 states explored in 73.06s, with 3845903 rules fired and 146539 states in the queue.
	806000 states explored in 73.20s, with 3852228 rules fired and 146193 states in the queue.
	807000 states explored in 73.33s, with 3857909 rules fired and 146165 states in the queue.
	808000 states explored in 73.47s, with 3863995 rules fired and 146152 states in the queue.
	809000 states explored in 73.66s, with 3871422 rules fired and 145606 states in the queue.
	810000 states explored in 73.81s, with 3878077 rules fired and 145292 states in the queue.
	811000 states explored in 73.96s, with 3884400 rules fired and 145077 states in the queue.
	812000 states explored in 74.11s, with 3890552 rules fired and 144865 states in the queue.
	813000 states explored in 74.27s, with 3897963 rules fired and 144367 states in the queue.
	814000 states explored in 74.43s, with 3905376 rules fired and 143856 states in the queue.
	815000 states explored in 74.49s, with 3908389 rules fired and 144351 states in the queue.
	816000 states explored in 74.57s, with 3912535 rules fired and 144637 states in the queue.
	817000 states explored in 74.66s, with 3916757 rules fired and 144817 states in the queue.
	818000 states explored in 74.75s, with 3921069 rules fired and 144908 states in the queue.
	819000 states explored in 74.88s, with 3927890 rules fired and 144457 states in the queue.
	820000 states explored in 74.93s, with 3930650 rules fired and 145028 states in the queue.
	821000 states explored in 75.01s, with 3934938 rules fired and 145287 states in the queue.
	822000 states explored in 75.09s, with 3938989 rules fired and 145501 states in the queue.
	823000 states explored in 75.19s, with 3943645 rules fired and 145512 states in the queue.
	824000 states explored in 75.32s, with 3950122 rules fired and 145141 states in the queue.
	825000 states explored in 75.38s, with 3952938 rules fired and 145696 states in the queue.
	826000 states explored in 75.44s, with 3957305 rules fired and 145935 states in the queue.
	827000 states explored in 75.52s, with 3961227 rules fired and 146183 states in the queue.
	828000 states explored in 75.62s, with 3966075 rules fired and 146153 states in the queue.
	829000 states explored in 75.75s, with 3972354 rules fired and 145824 states in the queue.
	830000 states explored in 75.80s, with 3975226 rules fired and 146364 states in the queue.
	831000 states explored in 75.88s, with 3979669 rules fired and 146583 states in the queue.
	832000 states explored in 75.96s, with 3983644 rules fired and 146821 states in the queue.
	833000 states explored in 76.05s, with 3988333 rules fired and 146830 states in the queue.
	834000 states explored in 76.18s, with 3994661 rules fired and 146473 states in the queue.
	835000 states explored in 76.24s, with 3998601 rules fired and 146845 states in the queue.
	836000 states explored in 76.34s, with 4004359 rules fired and 146917 states in the queue.
	837000 states explored in 76.46s, with 4010416 rules fired and 146820 states in the queue.
	838000 states explored in 76.59s, with 4017729 rules fired and 146440 states in the queue.
	839000 states explored in 76.70s, with 4023291 rules fired and 146407 states in the queue.
	840000 states explored in 76.79s, with 4028607 rules fired and 146584 states in the queue.
	841000 states explored in 76.90s, with 4034833 rules fired and 146477 states in the queue.
	842000 states explored in 77.01s, with 4040620 rules fired and 146352 states in the queue.
	843000 states explored in 77.14s, with 4047644 rules fired and 146032 states in the queue.
	844000 states explored in 77.22s, with 4052564 rules fired and 146243 states in the queue.
	845000 states explored in 77.33s, with 4058491 rules fired and 146290 states in the queue.
	846000 states explored in 77.45s, with 4064885 rules fired and 146010 states in the queue.
	847000 states explored in 77.59s, with 4072514 rules fired and 145548 states in the queue.
	848000 states explored in 77.67s, with 4076603 rules fired and 145906 states in the queue.
	849000 states explored in 77.76s, with 4082297 rules fired and 145988 states in the queue.
	850000 states explored in 77.88s, with 4088354 rules fired and 145880 states in the queue.
	851000 states explored in 78.02s, with 4096084 rules fired and 145392 states in the queue.
	852000 states explored in 78.12s, with 4101566 rules fired and 145366 states in the queue.
	853000 states explored in 78.23s, with 4108051 rules fired and 145234 states in the queue.
	854000 states explored in 78.37s, with 4115135 rules fired and 144800 states in the queue.
	855000 states explored in 78.49s, with 4121573 rules fired and 144524 states in the queue.
	856000 states explored in 78.60s, with 4127552 rules fired and 144490 states in the queue.
	857000 states explored in 78.72s, with 4134003 rules fired and 144254 states in the queue.
	858000 states explored in 78.87s, with 4141374 rules fired and 143715 states in the queue.
	859000 states explored in 78.97s, with 4146745 rules fired and 143782 states in the queue.
	860000 states explored in 79.10s, with 4153924 rules fired and 143466 states in the queue.
	861000 states explored in 79.25s, with 4161316 rules fired and 142887 states in the queue.
	862000 states explored in 79.35s, with 4166604 rules fired and 142940 states in the queue.
	863000 states explored in 79.48s, with 4173986 rules fired and 142646 states in the queue.
	864000 states explored in 79.62s, with 4181530 rules fired and 142028 states in the queue.
	865000 states explored in 79.71s, with 4185517 rules fired and 142163 states in the queue.
	866000 states explored in 79.79s, with 4189583 rules fired and 142328 states in the queue.
	867000 states explored in 79.90s, with 4195106 rules fired and 142304 states in the queue.
	868000 states explored in 80.01s, with 4200382 rules fired and 142236 states in the queue.
	869000 states explored in 80.09s, with 4204782 rules fired and 142388 states in the queue.
	870000 states explored in 80.17s, with 4208378 rules fired and 142707 states in the queue.
	871000 states explored in 80.25s, with 4212467 rules fired and 142854 states in the queue.
	872000 states explored in 80.36s, with 4217421 rules fired and 143007 states in the queue.
	873000 states explored in 80.44s, with 4222349 rules fired and 143002 states in the queue.
	874000 states explored in 80.58s, with 4228754 rules fired and 142571 states in the queue.
	875000 states explored in 80.72s, with 4234630 rules fired and 142092 states in the queue.
	876000 states explored in 80.88s, with 4241462 rules fired and 141610 states in the queue.
	877000 states explored in 81.05s, with 4248231 rules fired and 140788 states in the queue.
	878000 states explored in 81.12s, with 4251991 rules fired and 141031 states in the queue.
	879000 states explored in 81.22s, with 4256714 rules fired and 141078 states in the queue.
	880000 states explored in 81.34s, with 4262439 rules fired and 141013 states in the queue.
	881000 states explored in 81.45s, with 4268067 rules fired and 140880 states in the queue.
	882000 states explored in 81.53s, with 4272099 rules fired and 141042 states in the queue.
	883000 states explored in 81.62s, with 4276843 rules fired and 141071 states in the queue.
	884000 states explored in 81.75s, with 4283410 rules fired and 140645 states in the queue.
	885000 states explored in 81.89s, with 4289601 rules fired and 139960 states in the queue.
	886000 states explored in 82.03s, with 4296410 rules fired and 139506 states in the queue.
	887000 states explored in 82.19s, with 4303462 rules fired and 138658 states in the queue.
	888000 states explored in 82.31s, with 4308976 rules fired and 138609 states in the queue.
	889000 states explored in 82.42s, with 4314954 rules fired and 138543 states in the queue.
	890000 states explored in 82.54s, with 4321686 rules fired and 138431 states in the queue.
	891000 states explored in 82.67s, with 4328307 rules fired and 138219 states in the queue.
	892000 states explored in 82.75s, with 4332965 rules fired and 138388 states in the queue.
	893000 states explored in 82.85s, with 4338142 rules fired and 138454 states in the queue.
	894000 states explored in 82.97s, with 4345258 rules fired and 138281 states in the queue.
	895000 states explored in 83.09s, with 4352215 rules fired and 138022 states in the queue.
	896000 states explored in 83.27s, with 4361088 rules fired and 137157 states in the queue.
	897000 states explored in 83.42s, with 4369181 rules fired and 136472 states in the queue.
	898000 states explored in 83.53s, with 4374752 rules fired and 136462 states in the queue.
	899000 states explored in 83.63s, with 4380993 rules fired and 136400 states in the queue.
	900000 states explored in 83.76s, with 4387889 rules fired and 136206 states in the queue.
	901000 states explored in 83.87s, with 4394135 rules fired and 136035 states in the queue.
	902000 states explored in 84.02s, with 4402172 rules fired and 135484 states in the queue.
	903000 states explored in 84.19s, with 4410656 rules fired and 134669 states in the queue.
	904000 states explored in 84.36s, with 4419085 rules fired and 133851 states in the queue.
	905000 states explored in 84.47s, with 4424894 rules fired and 133753 states in the queue.
	906000 states explored in 84.59s, with 4432358 rules fired and 133408 states in the queue.
	907000 states explored in 84.71s, with 4438141 rules fired and 133275 states in the queue.
	908000 states explored in 84.82s, with 4444199 rules fired and 133097 states in the queue.
	909000 states explored in 84.96s, with 4451605 rules fired and 132751 states in the queue.
	910000 states explored in 85.15s, with 4460802 rules fired and 131795 states in the queue.
	911000 states explored in 85.27s, with 4467008 rules fired and 131457 states in the queue.
	912000 states explored in 85.39s, with 4473633 rules fired and 131198 states in the queue.
	913000 states explored in 85.54s, with 4481613 rules fired and 130736 states in the queue.
	914000 states explored in 85.72s, with 4490115 rules fired and 129843 states in the queue.
	915000 states explored in 85.85s, with 4496152 rules fired and 129505 states in the queue.
	916000 states explored in 85.93s, with 4500439 rules fired and 129776 states in the queue.
	917000 states explored in 86.05s, with 4505337 rules fired and 129773 states in the queue.
	918000 states explored in 86.17s, with 4510425 rules fired and 129706 states in the queue.
	919000 states explored in 86.28s, with 4515334 rules fired and 129760 states in the queue.
	920000 states explored in 86.36s, with 4519258 rules fired and 130126 states in the queue.
	921000 states explored in 86.50s, with 4526122 rules fired and 129996 states in the queue.
	922000 states explored in 86.67s, with 4533606 rules fired and 129492 states in the queue.
	923000 states explored in 86.80s, with 4539715 rules fired and 129411 states in the queue.
	924000 states explored in 86.90s, with 4544499 rules fired and 129551 states in the queue.
	925000 states explored in 87.06s, with 4551856 rules fired and 129172 states in the queue.
	926000 states explored in 87.22s, with 4559428 rules fired and 128654 states in the queue.
	927000 states explored in 87.28s, with 4562740 rules fired and 129026 states in the queue.
	928000 states explored in 87.41s, with 4568153 rules fired and 128968 states in the queue.
	929000 states explored in 87.56s, with 4573936 rules fired and 128581 states in the queue.
	930000 states explored in 87.67s, with 4579004 rules fired and 128515 states in the queue.
	931000 states explored in 87.81s, with 4584080 rules fired and 128306 states in the queue.
	932000 states explored in 88.04s, with 4592351 rules fired and 127258 states in the queue.
	933000 states explored in 88.20s, with 4597996 rules fired and 126963 states in the queue.
	934000 states explored in 88.33s, with 4604401 rules fired and 126719 states in the queue.
	935000 states explored in 88.52s, with 4611781 rules fired and 126255 states in the queue.
	936000 states explored in 88.68s, with 4618669 rules fired and 125821 states in the queue.
	937000 states explored in 88.85s, with 4625749 rules fired and 125242 states in the queue.
	938000 states explored in 89.06s, with 4633976 rules fired and 124381 states in the queue.
	939000 states explored in 89.15s, with 4638386 rules fired and 124479 states in the queue.
	940000 states explored in 89.23s, with 4642664 rules fired and 124702 states in the queue.
	941000 states explored in 89.34s, with 4648189 rules fired and 124569 states in the queue.
	942000 states explored in 89.45s, with 4652723 rules fired and 124439 states in the queue.
	943000 states explored in 89.59s, with 4659229 rules fired and 123905 states in the queue.
	944000 states explored in 89.66s, with 4662577 rules fired and 124254 states in the queue.
	945000 states explored in 89.75s, with 4667540 rules fired and 124325 states in the queue.
	946000 states explored in 89.85s, with 4672501 rules fired and 124226 states in the queue.
	947000 states explored in 89.97s, with 4677874 rules fired and 123972 states in the queue.
	948000 states explored in 90.08s, with 4683293 rules fired and 123741 states in the queue.
	949000 states explored in 90.17s, with 4687516 rules fired and 123928 states in the queue.
	950000 states explored in 90.27s, with 4692529 rules fired and 123956 states in the queue.
	951000 states explored in 90.37s, with 4697247 rules fired and 123847 states in the queue.
	952000 states explored in 90.52s, with 4704016 rules fired and 123218 states in the queue.
	953000 states explored in 90.60s, with 4707811 rules fired and 123426 states in the queue.
	954000 states explored in 90.69s, with 4712399 rules fired and 123605 states in the queue.
	955000 states explored in 90.80s, with 4717689 rules fired and 123453 states in the queue.
	956000 states explored in 90.90s, with 4722209 rules fired and 123370 states in the queue.
	957000 states explored in 91.03s, with 4728612 rules fired and 122898 states in the queue.
	958000 states explored in 91.11s, with 4733897 rules fired and 122933 states in the queue.
	959000 states explored in 91.25s, with 4741232 rules fired and 122665 states in the queue.
	960000 states explored in 91.41s, with 4748990 rules fired and 122023 states in the queue.
	961000 states explored in 91.50s, with 4753954 rules fired and 122090 states in the queue.
	962000 states explored in 91.62s, with 4760402 rules fired and 121974 states in the queue.
	963000 states explored in 91.75s, with 4767054 rules fired and 121666 states in the queue.
	964000 states explored in 91.89s, with 4774259 rules fired and 121173 states in the queue.
	965000 states explored in 91.99s, with 4779432 rules fired and 121261 states in the queue.
	966000 states explored in 92.12s, with 4787129 rules fired and 120896 states in the queue.
	967000 states explored in 92.29s, with 4795183 rules fired and 120147 states in the queue.
	968000 states explored in 92.36s, with 4799807 rules fired and 120319 states in the queue.
	969000 states explored in 92.48s, with 4806235 rules fired and 120208 states in the queue.
	970000 states explored in 92.62s, with 4813220 rules fired and 119802 states in the queue.
	971000 states explored in 92.77s, with 4820308 rules fired and 119317 states in the queue.
	972000 states explored in 92.91s, with 4828231 rules fired and 118754 states in the queue.
	973000 states explored in 93.09s, with 4835489 rules fired and 118086 states in the queue.
	974000 states explored in 93.26s, with 4843887 rules fired and 117410 states in the queue.
	975000 states explored in 93.41s, with 4850533 rules fired and 116878 states in the queue.
	976000 states explored in 93.57s, with 4858875 rules fired and 116218 states in the queue.
	977000 states explored in 93.71s, with 4865577 rules fired and 115670 states in the queue.
	978000 states explored in 93.86s, with 4873863 rules fired and 115026 states in the queue.
	979000 states explored in 93.99s, with 4879665 rules fired and 114569 states in the queue.
	980000 states explored in 94.09s, with 4884293 rules fired and 114552 states in the queue.
	981000 states explored in 94.19s, with 4889316 rules fired and 114517 states in the queue.
	982000 states explored in 94.31s, with 4895038 rules fired and 114308 states in the queue.
	983000 states explored in 94.42s, with 4900302 rules fired and 114122 states in the queue.
	984000 states explored in 94.50s, with 4904161 rules fired and 114311 states in the queue.
	985000 states explored in 94.58s, with 4908584 rules fired and 114338 states in the queue.
	986000 states explored in 94.69s, with 4914184 rules fired and 114240 states in the queue.
	987000 states explored in 94.81s, with 4919874 rules fired and 113982 states in the queue.
	988000 states explored in 94.97s, with 4926892 rules fired and 113172 states in the queue.
	989000 states explored in 95.15s, with 4934058 rules fired and 112298 states in the queue.
	990000 states explored in 95.24s, with 4938369 rules fired and 112301 states in the queue.
	991000 states explored in 95.35s, with 4943361 rules fired and 112179 states in the queue.
	992000 states explored in 95.46s, with 4949224 rules fired and 112028 states in the queue.
	993000 states explored in 95.59s, with 4955150 rules fired and 111695 states in the queue.
	994000 states explored in 95.70s, with 4959927 rules fired and 111548 states in the queue.
	995000 states explored in 95.86s, with 4967410 rules fired and 110628 states in the queue.
	996000 states explored in 96.02s, with 4974329 rules fired and 109910 states in the queue.
	997000 states explored in 96.14s, with 4980048 rules fired and 109507 states in the queue.
	998000 states explored in 96.27s, with 4986560 rules fired and 109256 states in the queue.
	999000 states explored in 96.41s, with 4994059 rules fired and 108896 states in the queue.
	1000000 states explored in 96.51s, with 4999493 rules fired and 108851 states in the queue.
	1001000 states explored in 96.64s, with 5005899 rules fired and 108593 states in the queue.
	1002000 states explored in 96.76s, with 5012770 rules fired and 108350 states in the queue.
	1003000 states explored in 96.94s, with 5021788 rules fired and 107518 states in the queue.
	1004000 states explored in 97.10s, with 5029082 rules fired and 106861 states in the queue.
	1005000 states explored in 97.20s, with 5035171 rules fired and 106705 states in the queue.
	1006000 states explored in 97.33s, with 5042611 rules fired and 106386 states in the queue.
	1007000 states explored in 97.48s, with 5050394 rules fired and 105764 states in the queue.
	1008000 states explored in 97.70s, with 5060687 rules fired and 104369 states in the queue.
	1009000 states explored in 97.83s, with 5066915 rules fired and 104060 states in the queue.
	1010000 states explored in 97.99s, with 5074933 rules fired and 103409 states in the queue.
	1011000 states explored in 98.13s, with 5081782 rules fired and 102908 states in the queue.
	1012000 states explored in 98.33s, with 5091426 rules fired and 101849 states in the queue.
	1013000 states explored in 98.43s, with 5097531 rules fired and 101540 states in the queue.
	1014000 states explored in 98.60s, with 5106534 rules fired and 100628 states in the queue.
	1015000 states explored in 98.74s, with 5112559 rules fired and 100228 states in the queue.
	1016000 states explored in 98.84s, with 5117401 rules fired and 100317 states in the queue.
	1017000 states explored in 98.99s, with 5122808 rules fired and 100046 states in the queue.
	1018000 states explored in 99.11s, with 5127947 rules fired and 99885 states in the queue.
	1019000 states explored in 99.23s, with 5133341 rules fired and 99757 states in the queue.
	1020000 states explored in 99.36s, with 5139315 rules fired and 99711 states in the queue.
	1021000 states explored in 99.55s, with 5147614 rules fired and 99010 states in the queue.
	1022000 states explored in 99.68s, with 5153943 rules fired and 98776 states in the queue.
	1023000 states explored in 99.87s, with 5161784 rules fired and 98195 states in the queue.
	1024000 states explored in 100.01s, with 5167969 rules fired and 97824 states in the queue.
	1025000 states explored in 100.13s, with 5172911 rules fired and 97749 states in the queue.
	1026000 states explored in 100.30s, with 5179103 rules fired and 97243 states in the queue.
	1027000 states explored in 100.44s, with 5185100 rules fired and 96800 states in the queue.
	1028000 states explored in 100.65s, with 5192042 rules fired and 95977 states in the queue.
	1029000 states explored in 100.84s, with 5198913 rules fired and 95313 states in the queue.
	1030000 states explored in 101.06s, with 5207493 rules fired and 94375 states in the queue.
	1031000 states explored in 101.27s, with 5215424 rules fired and 93546 states in the queue.
	1032000 states explored in 101.39s, with 5220498 rules fired and 93368 states in the queue.
	1033000 states explored in 101.47s, with 5225075 rules fired and 93392 states in the queue.
	1034000 states explored in 101.59s, with 5231270 rules fired and 93052 states in the queue.
	1035000 states explored in 101.76s, with 5237960 rules fired and 92197 states in the queue.
	1036000 states explored in 101.83s, with 5241393 rules fired and 92470 states in the queue.
	1037000 states explored in 101.95s, with 5247064 rules fired and 92272 states in the queue.
	1038000 states explored in 102.06s, with 5252179 rules fired and 92056 states in the queue.
	1039000 states explored in 102.21s, with 5258262 rules fired and 91423 states in the queue.
	1040000 states explored in 102.30s, with 5262548 rules fired and 91499 states in the queue.
	1041000 states explored in 102.41s, with 5268070 rules fired and 91336 states in the queue.
	1042000 states explored in 102.54s, with 5273950 rules fired and 90836 states in the queue.
	1043000 states explored in 102.65s, with 5279036 rules fired and 90581 states in the queue.
	1044000 states explored in 102.75s, with 5283835 rules fired and 90544 states in the queue.
	1045000 states explored in 102.88s, with 5290030 rules fired and 90204 states in the queue.
	1046000 states explored in 103.02s, with 5296157 rules fired and 89534 states in the queue.
	1047000 states explored in 103.14s, with 5302031 rules fired and 89274 states in the queue.
	1048000 states explored in 103.29s, with 5310292 rules fired and 88555 states in the queue.
	1049000 states explored in 103.44s, with 5317289 rules fired and 88012 states in the queue.
	1050000 states explored in 103.60s, with 5325705 rules fired and 87304 states in the queue.
	1051000 states explored in 103.73s, with 5332372 rules fired and 86796 states in the queue.
	1052000 states explored in 103.88s, with 5340379 rules fired and 86224 states in the queue.
	1053000 states explored in 104.03s, with 5347673 rules fired and 85520 states in the queue.
	1054000 states explored in 104.18s, with 5355322 rules fired and 85030 states in the queue.
	1055000 states explored in 104.36s, with 5363460 rules fired and 84112 states in the queue.
	1056000 states explored in 104.52s, with 5371544 rules fired and 83244 states in the queue.
	1057000 states explored in 104.70s, with 5379961 rules fired and 82292 states in the queue.
	1058000 states explored in 104.87s, with 5388364 rules fired and 81350 states in the queue.
	1059000 states explored in 105.04s, with 5396248 rules fired and 80531 states in the queue.
	1060000 states explored in 105.14s, with 5401013 rules fired and 80320 states in the queue.
	1061000 states explored in 105.25s, with 5406012 rules fired and 80190 states in the queue.
	1062000 states explored in 105.40s, with 5413213 rules fired and 79541 states in the queue.
	1063000 states explored in 105.47s, with 5416597 rules fired and 79731 states in the queue.
	1064000 states explored in 105.59s, with 5421756 rules fired and 79462 states in the queue.
	1065000 states explored in 105.71s, with 5427502 rules fired and 79213 states in the queue.
	1066000 states explored in 105.86s, with 5434958 rules fired and 78298 states in the queue.
	1067000 states explored in 106.02s, with 5440535 rules fired and 77635 states in the queue.
	1068000 states explored in 106.13s, with 5445748 rules fired and 77398 states in the queue.
	1069000 states explored in 106.25s, with 5451732 rules fired and 77121 states in the queue.
	1070000 states explored in 106.37s, with 5457389 rules fired and 76711 states in the queue.
	1071000 states explored in 106.57s, with 5465384 rules fired and 75361 states in the queue.
	1072000 states explored in 106.71s, with 5471945 rules fired and 74770 states in the queue.
	1073000 states explored in 106.88s, with 5480368 rules fired and 74067 states in the queue.
	1074000 states explored in 107.00s, with 5486208 rules fired and 73791 states in the queue.
	1075000 states explored in 107.17s, with 5494824 rules fired and 73013 states in the queue.
	1076000 states explored in 107.34s, with 5503071 rules fired and 72124 states in the queue.
	1077000 states explored in 107.47s, with 5509688 rules fired and 71789 states in the queue.
	1078000 states explored in 107.70s, with 5520926 rules fired and 70194 states in the queue.
	1079000 states explored in 107.88s, with 5529154 rules fired and 69333 states in the queue.
	1080000 states explored in 108.05s, with 5536485 rules fired and 68636 states in the queue.
	1081000 states explored in 108.22s, with 5544969 rules fired and 67670 states in the queue.
	1082000 states explored in 108.36s, with 5551023 rules fired and 67217 states in the queue.
	1083000 states explored in 108.50s, with 5556871 rules fired and 66940 states in the queue.
	1084000 states explored in 108.65s, with 5562559 rules fired and 66479 states in the queue.
	1085000 states explored in 108.79s, with 5568202 rules fired and 66174 states in the queue.
	1086000 states explored in 108.98s, with 5576393 rules fired and 65513 states in the queue.
	1087000 states explored in 109.15s, with 5583934 rules fired and 64812 states in the queue.
	1088000 states explored in 109.35s, with 5591336 rules fired and 64052 states in the queue.
	1089000 states explored in 109.53s, with 5598007 rules fired and 63346 states in the queue.
	1090000 states explored in 109.75s, with 5605403 rules fired and 62109 states in the queue.
	1091000 states explored in 109.98s, with 5613452 rules fired and 61099 states in the queue.
	1092000 states explored in 110.16s, with 5620197 rules fired and 60284 states in the queue.
	1093000 states explored in 110.28s, with 5625645 rules fired and 59987 states in the queue.
	1094000 states explored in 110.45s, with 5633025 rules fired and 58808 states in the queue.
	1095000 states explored in 110.55s, with 5637487 rules fired and 58708 states in the queue.
	1096000 states explored in 110.73s, with 5644768 rules fired and 57721 states in the queue.
	1097000 states explored in 110.84s, with 5649758 rules fired and 57361 states in the queue.
	1098000 states explored in 110.99s, with 5656581 rules fired and 56681 states in the queue.
	1099000 states explored in 111.12s, with 5661819 rules fired and 56084 states in the queue.
	1100000 states explored in 111.25s, with 5667832 rules fired and 55666 states in the queue.
	1101000 states explored in 111.41s, with 5674686 rules fired and 54646 states in the queue.
	1102000 states explored in 111.59s, with 5683319 rules fired and 53656 states in the queue.
	1103000 states explored in 111.77s, with 5691980 rules fired and 52661 states in the queue.
	1104000 states explored in 111.96s, with 5700932 rules fired and 51570 states in the queue.
	1105000 states explored in 112.13s, with 5708842 rules fired and 50833 states in the queue.
	1106000 states explored in 112.36s, with 5718960 rules fired and 49015 states in the queue.
	1107000 states explored in 112.54s, with 5726818 rules fired and 47883 states in the queue.
	1108000 states explored in 112.66s, with 5732024 rules fired and 47518 states in the queue.
	1109000 states explored in 112.81s, with 5738878 rules fired and 46747 states in the queue.
	1110000 states explored in 112.95s, with 5744396 rules fired and 46142 states in the queue.
	1111000 states explored in 113.10s, with 5751226 rules fired and 45423 states in the queue.
	1112000 states explored in 113.23s, with 5756559 rules fired and 44872 states in the queue.
	1113000 states explored in 113.37s, with 5763102 rules fired and 44232 states in the queue.
	1114000 states explored in 113.57s, with 5770786 rules fired and 42844 states in the queue.
	1115000 states explored in 113.74s, with 5779329 rules fired and 41902 states in the queue.
	1116000 states explored in 113.90s, with 5787081 rules fired and 41094 states in the queue.
	1117000 states explored in 114.08s, with 5795072 rules fired and 40226 states in the queue.
	1118000 states explored in 114.33s, with 5806328 rules fired and 38259 states in the queue.
	1119000 states explored in 114.50s, with 5813844 rules fired and 37262 states in the queue.
	1120000 states explored in 114.69s, with 5820731 rules fired and 36421 states in the queue.
	1121000 states explored in 114.85s, with 5826725 rules fired and 35888 states in the queue.
	1122000 states explored in 115.12s, with 5836721 rules fired and 34442 states in the queue.
	1123000 states explored in 115.33s, with 5843669 rules fired and 33363 states in the queue.
	1124000 states explored in 115.58s, with 5851281 rules fired and 32083 states in the queue.
	1125000 states explored in 115.75s, with 5858222 rules fired and 30989 states in the queue.
	1126000 states explored in 115.92s, with 5865152 rules fired and 29905 states in the queue.
	1127000 states explored in 116.06s, with 5871146 rules fired and 29233 states in the queue.
	1128000 states explored in 116.21s, with 5876888 rules fired and 28451 states in the queue.
	1129000 states explored in 116.43s, with 5886123 rules fired and 26783 states in the queue.
	1130000 states explored in 116.70s, with 5897769 rules fired and 24552 states in the queue.
	1131000 states explored in 116.87s, with 5905017 rules fired and 23327 states in the queue.
	1132000 states explored in 117.00s, with 5910783 rules fired and 22660 states in the queue.
	1133000 states explored in 117.18s, with 5917835 rules fired and 21532 states in the queue.
	1134000 states explored in 117.37s, with 5925495 rules fired and 20090 states in the queue.
	1135000 states explored in 117.60s, with 5935555 rules fired and 18381 states in the queue.
	1136000 states explored in 117.83s, with 5944422 rules fired and 16793 states in the queue.
	1137000 states explored in 118.11s, with 5953794 rules fired and 15084 states in the queue.
	1138000 states explored in 118.38s, with 5961977 rules fired and 13018 states in the queue.
	1139000 states explored in 118.58s, with 5969138 rules fired and 11362 states in the queue.
	1140000 states explored in 118.86s, with 5979982 rules fired and 8590 states in the queue.
	1141000 states explored in 119.09s, with 5988340 rules fired and 6568 states in the queue.
	1142000 states explored in 119.43s, with 5998727 rules fired and 3613 states in the queue.

==========================================================================

Status:

	No error found.

State Space Explored:

	1142584 states, 6006747 rules fired in 119.73s.

Analysis of State Space:

	There are rules that are never fired.
	If you are running with symmetry, this may be why.  Otherwise,
	please run this program with "-pr" for the rules information.
	The maximum size for the multiset "net" is: 1.
