fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r220-ebro-152732362600062
Last Updated
June 26, 2018

About the Execution of LoLA for BridgeAndVehicles-COL-V80P20N10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
833.570 3569995.00 3657938.00 577.00 TFFFFTFFF?TFFFFF normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 4.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.8K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 122 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 360 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_pt
-rw-r--r-- 1 mcc users 10 May 15 18:49 instance
-rw-r--r-- 1 mcc users 5 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 45K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-COL-V80P20N10, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r220-ebro-152732362600062
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-00
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-01
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-02
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-03
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-04
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-05
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-06
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-07
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-08
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-09
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1527441423200

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P20N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P20N10 formula LTLFireability into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking LTLFireability @ BridgeAndVehicles-COL-V80P20N10 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2296/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 6016
lola: finding significant places
lola: 188 places, 2108 transitions, 181 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2613 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: A (F ((FIREABLE(t347) OR FIREABLE(t346) OR FIREABLE(t345) OR FIREABLE(t344) OR FIREABLE(t343) OR FIREABLE(t342) OR FIREABLE(t341) OR FIREABLE(t340) OR FIREABLE(t339) OR FIREABLE(t338) OR FIREABLE(t337) OR FIREABLE(t336) OR FIREABLE(t335) OR FIREABLE(t334) OR FIREABLE(t333) OR FIREABLE(t332) OR FIREABLE(t331) OR FIREABLE(t330) OR FIREABLE(t329) OR FIREABLE(t328)))) : A (((FIREABLE(t82) OR FIREABLE(t81)) U X (((FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIREABLE(t60) OR FIREABLE(t59) OR FIREABLE(t58) OR FIREABLE(t57) OR FIREABLE(t56) OR FIREABLE(t55) OR FIREABLE(t54) OR FIREABLE(t53) OR FIREABLE(t52) OR FIREABLE(t51) OR FIREABLE(t50) OR FIREABLE(t49) OR FIREABLE(t48) OR FIREABLE(t47) OR FIREABLE(t46) OR FIREABLE(t45) OR FIREABLE(t44) OR FIREABLE(t43) OR FIREABLE(t42) OR FIREABLE(t41) OR FIREABLE(t40) OR FIREABLE(t39) OR FIREABLE(t38) OR FIREABLE(t37) OR FIREABLE(t36) OR FIREABLE(t35) OR FIREABLE(t34) OR FIREABLE(t33) OR FIREABLE(t32) OR FIREABLE(t31) OR FIREABLE(t30) OR FIREABLE(t29) OR FIREABLE(t28) OR FIREABLE(t27) OR FIREABLE(t26) OR FIREABLE(t25) OR FIREABLE(t24) OR FIREABLE(t23) OR FIREABLE(t22) OR FIREABLE(t21) OR FIREABLE(t20) OR FIREABLE(t19) OR FIREABLE(t18) OR FIREABLE(t17) OR FIREABLE(t16) OR FIREABLE(t15) OR FIREABLE(t14) OR FIREABLE(t13) OR FIREABLE(t12) OR FIREABLE(t11) OR FIREABLE(t10) OR FIREABLE(t9) OR FIREABLE(t8) OR FIREABLE(t7) OR FIREABLE(t6) OR FIREABLE(t5) OR FIREABLE(t4) OR FIREABLE(t3) OR FIREABLE(t2) OR FIREABLE(t1) OR FIREABLE(t0)) U (FIREABLE(t2107) OR FIREABLE(t2106) OR FIREABLE(t2105) OR FIREABLE(t2104) OR FIREABLE(t2103) OR FIREABLE(t2102) OR FIREABLE(t2101) OR FIREABLE(t2100) OR FIREABLE(t2099) OR FIREABLE(t2098) OR FIREABLE(t2097) OR FIREABLE(t2096) OR FIREABLE(t2095) OR FIREABLE(t2094) OR FIREABLE(t2093) OR FIREABLE(t2092) OR FIREABLE(t2091) OR FIREABLE(t2090) OR FIREABLE(t2089) OR FIREABLE(t2088) OR FIREABLE(t2087) OR FIREABLE(t2086) OR FIREABLE(t2085) OR FIREABLE(t2084) OR FIREABLE(t2083) OR FIREABLE(t2082) OR FIREABLE(t2081) OR FIREABLE(t2080) OR FIREABLE(t2079) OR FIREABLE(t2078) OR FIREABLE(t2077) OR FIREABLE(t2076) OR FIREABLE(t2075) OR FIREABLE(t2074) OR FIREABLE(t2073) OR FIREABLE(t2072) OR FIREABLE(t2071) OR FIREABLE(t2070) OR FIREABLE(t2069) OR FIREABLE(t2068) OR FIREABLE(t2067) OR FIREABLE(t2066) OR FIREABLE(t2065) OR FIREABLE(t2064) OR FIREABLE(t2063) OR FIREABLE(t2062) OR FIREABLE(t2061) OR FIREABLE(t2060) OR FIREABLE(t2059) OR FIREABLE(t2058) OR FIREABLE(t2057) OR FIREABLE(t2056) OR FIREABLE(t2055) OR FIREABLE(t2054) OR FIREABLE(t2053) OR FIREABLE(t2052) OR FIREABLE(t2051) OR FIREABLE(t2050) OR FIREABLE(t2049) OR FIREABLE(t2048) OR FIREABLE(t2047) OR FIREABLE(t2046) OR FIREABLE(t2045) OR FIREABLE(t2044) OR FIREABLE(t2043) OR FIREABLE(t2042) OR FIREABLE(t2041) OR FIREABLE(t2040) OR FIREABLE(t2039) OR FIREABLE(t2038) OR FIREABLE(t2037) OR FIREABLE(t2036) OR FIREABLE(t2035) OR FIREABLE(t2034) OR FIREABLE(t2033) OR FIREABLE(t2032) OR FIREABLE(t2031) OR FIREABLE(t2030) OR FIREABLE(t2029) OR FIREABLE(t2028) OR FIREABLE(t2027) OR FIREABLE(t2026) OR FIREABLE(t2025) OR FIREABLE(t2024) OR FIREABLE(t2023) OR FIREABLE(t2022) OR FIREABLE(t2021) OR FIREABLE(t2020) OR FIREABLE(t2019) OR FIREABLE(t2018) OR FIREABLE(t2017) OR FIREABLE(t2016) OR FIREABLE(t2015) OR FIREABLE(t2014) OR FIREABLE(t2013) OR FIREABLE(t2012) OR FIREABLE(t2011) OR FIREABLE(t2010) OR FIREABLE(t2009) OR FIREABLE(t2008) OR FIREABLE(t2007) OR FIREABLE(t2006) OR FIREABLE(t2005) OR FIREABLE(t2004) OR FIREABLE(t2003) OR FIREABLE(t2002) OR FIREABLE(t2001) OR FIREABLE(t2000) OR FIREABLE(t1999) OR FIREABLE(t1998) OR FIREABLE(t1997) OR FIREABLE(t1996) OR FIREABLE(t1995) OR FIREABLE(t1994) OR FIREABLE(t1993) OR FIREABLE(t1992) OR FIREABLE(t1991) OR FIREABLE(t1990) OR FIREABLE(t1989) OR FIREABLE(t1988) OR FIREABLE(t1987) OR FIREABLE(t1986) OR FIREABLE(t1985) OR FIREABLE(t1984) OR FIREABLE(t1983) OR FIREABLE(t1982) OR FIREABLE(t1981) OR FIREABLE(t1980) OR FIREABLE(t1979) OR FIREABLE(t1978) OR FIREABLE(t1977) OR FIREABLE(t1976) OR FIREABLE(t1975) OR FIREABLE(t1974) OR FIREABLE(t1973) OR FIREABLE(t1972) OR FIREABLE(t1971) OR FIREABLE(t1970) OR FIREABLE(t1969) OR FIREABLE(t1968) OR FIREABLE(t1967) OR FIREABLE(t1966) OR FIREABLE(t1965) OR FIREABLE(t1964) OR FIREABLE(t1963) OR FIREABLE(t1962) OR FIREABLE(t1961) OR FIREABLE(t1960) OR FIREABLE(t1959) OR FIREABLE(t1958) OR FIREABLE(t1957) OR FIREABLE(t1956) OR FIREABLE(t1955) OR FIREABLE(t1954) OR FIREABLE(t1953) OR FIREABLE(t1952) OR FIREABLE(t1951) OR FIREABLE(t1950) OR FIREABLE(t1949) OR FIREABLE(t1948) OR FIREABLE(t1947) OR FIREABLE(t1946) OR FIREABLE(t1945) OR FIREABLE(t1944) OR FIREABLE(t1943) OR FIREABLE(t1942) OR FIREABLE(t1941) OR FIREABLE(t1940) OR FIREABLE(t1939) OR FIREABLE(t1938) OR FIREABLE(t1937) OR FIREABLE(t1936) OR FIREABLE(t1935) OR FIREABLE(t1934) OR FIREABLE(t1933) OR FIREABLE(t1932) OR FIREABLE(t1931) OR FIREABLE(t1930) OR FIREABLE(t1929) OR FIREABLE(t1928) OR FIREABLE(t1927) OR FIREABLE(t1926) OR FIREABLE(t1925) OR FIREABLE(t1924) OR FIREABLE(t1923) OR FIREABLE(t1922) OR FIREABLE(t1921) OR FIREABLE(t1920) OR FIREABLE(t1919) OR FIREABLE(t1918) OR FIREABLE(t1917) OR FIREABLE(t1916) OR FIREABLE(t1915) OR FIREABLE(t1914) OR FIREABLE(t1913) OR FIREABLE(t1912) OR FIREABLE(t1911) OR FIREABLE(t1910) OR FIREABLE(t1909) OR FIREABLE(t1908) OR FIREABLE(t1907) OR FIREABLE(t1906) OR FIREABLE(t1905) OR FIREABLE(t1904) OR FIREABLE(t1903) OR FIREABLE(t1902) OR FIREABLE(t1901) OR FIREABLE(t1900) OR FIREABLE(t1899) OR FIREABLE(t1898) OR FIREABLE(t1897) OR FIREABLE(t1896) OR FIREABLE(t1895) OR FIREABLE(t1894) OR FIREABLE(t1893) OR FIREABLE(t1892) OR FIREABLE(t1891) OR FIREABLE(t1890) OR FIREABLE(t1889) OR FIREABLE(t1888) OR FIREABLE(t1887) OR FIREABLE(t1886) OR FIREABLE(t1885) OR FIREABLE(t1884) OR FIREABLE(t1883) OR FIREABLE(t1882) OR FIREABLE(t1881) OR FIREABLE(t1880) OR FIREABLE(t1879) OR FIREABLE(t1878) OR FIREABLE(t1877) OR FIREABLE(t1876) OR FIREABLE(t1875) OR FIREABLE(t1874) OR FIREABLE(t1873) OR FIREABLE(t1872) OR FIREABLE(t1871) OR FIREABLE(t1870) OR FIREABLE(t1869) OR FIREABLE(t1868) OR FIREABLE(t1867) OR FIREABLE(t1866) OR FIREABLE(t1865) OR FIREABLE(t1864) OR FIREABLE(t1863) OR FIREABLE(t1862) OR FIREABLE(t1861) OR FIREABLE(t1860) OR FIREABLE(t1859) OR FIREABLE(t1858) OR FIREABLE(t1857) OR FIREABLE(t1856) OR FIREABLE(t1855) OR FIREABLE(t1854) OR FIREABLE(t1853) OR FIREABLE(t1852) OR FIREABLE(t1851) OR FIREABLE(t1850) OR FIREABLE(t1849) OR FIREABLE(t1848) OR FIREABLE(t1847) OR FIREABLE(t1846) OR FIREABLE(t1845) OR FIREABLE(t1844) OR FIREABLE(t1843) OR FIREABLE(t1842) OR FIREABLE(t1841) OR FIREABLE(t1840) OR FIREABLE(t1839) OR FIREABLE(t1838) OR FIREABLE(t1837) OR FIREABLE(t1836) OR FIREABLE(t1835) OR FIREABLE(t1834) OR FIREABLE(t1833) OR FIREABLE(t1832) OR FIREABLE(t1831) OR FIREABLE(t1830) OR FIREABLE(t1829) OR FIREABLE(t1828) OR FIREABLE(t1827) OR FIREABLE(t1826) OR FIREABLE(t1825) OR FIREABLE(t1824) OR FIREABLE(t1823) OR FIREABLE(t1822) OR FIREABLE(t1821) OR FIREABLE(t1820) OR FIREABLE(t1819) OR FIREABLE(t1818) OR FIREABLE(t1817) OR FIREABLE(t1816) OR FIREABLE(t1815) OR FIREABLE(t1814) OR FIREABLE(t1813) OR FIREABLE(t1812) OR FIREABLE(t1811) OR FIREABLE(t1810) OR FIREABLE(t1809) OR FIREABLE(t1808) OR FIREABLE(t1807) OR FIREABLE(t1806) OR FIREABLE(t1805) OR FIREABLE(t1804) OR FIREABLE(t1803) OR FIREABLE(t1802) OR FIREABLE(t1801) OR FIREABLE(t1800) OR FIREABLE(t1799) OR FIREABLE(t1798) OR FIREABLE(t1797) OR FIREABLE(t1796) OR FIREABLE(t1795) OR FIREABLE(t1794) OR FIREABLE(t1793) OR FIREABLE(t1792) OR FIREABLE(t1791) OR FIREABLE(t1790) OR FIREABLE(t1789) OR FIREABLE(t1788) OR FIREABLE(t1787) OR FIREABLE(t1786) OR FIREABLE(t1785) OR FIREABLE(t1784) OR FIREABLE(t1783) OR FIREABLE(t1782) OR FIREABLE(t1781) OR FIREABLE(t1780) OR FIREABLE(t1779) OR FIREABLE(t1778) OR FIREABLE(t1777) OR FIREABLE(t1776) OR FIREABLE(t1775) OR FIREABLE(t1774) OR FIREABLE(t1773) OR FIREABLE(t1772) OR FIREABLE(t1771) OR FIREABLE(t1770) OR FIREABLE(t1769) OR FIREABLE(t1768) OR FIREABLE(t1767) OR FIREABLE(t1766) OR FIREABLE(t1765) OR FIREABLE(t1764) OR FIREABLE(t1763) OR FIREABLE(t1762) OR FIREABLE(t1761) OR FIREABLE(t1760) OR FIREABLE(t1759) OR FIREABLE(t1758) OR FIREABLE(t1757) OR FIREABLE(t1756) OR FIREABLE(t1755) OR FIREABLE(t1754) OR FIREABLE(t1753) OR FIREABLE(t1752) OR FIREABLE(t1751) OR FIREABLE(t1750) OR FIREABLE(t1749) OR FIREABLE(t1748) OR FIREABLE(t1747) OR FIREABLE(t1746) OR FIREABLE(t1745) OR FIREABLE(t1744) OR FIREABLE(t1743) OR FIREABLE(t1742) OR FIREABLE(t1741) OR FIREABLE(t1740) OR FIREABLE(t1739) OR FIREABLE(t1738) OR FIREABLE(t1737) OR FIREABLE(t1736) OR FIREABLE(t1735) OR FIREABLE(t1734) OR FIREABLE(t1733) OR FIREABLE(t1732) OR FIREABLE(t1731) OR FIREABLE(t1730) OR FIREABLE(t1729) OR FIREABLE(t1728) OR FIREABLE(t1727) OR FIREABLE(t1726) OR FIREABLE(t1725) OR FIREABLE(t1724) OR FIREABLE(t1723) OR FIREABLE(t1722) OR FIREABLE(t1721) OR FIREABLE(t1720) OR FIREABLE(t1719) OR FIREABLE(t1718) OR FIREABLE(t1717) OR FIREABLE(t1716) OR FIREABLE(t1715) OR FIREABLE(t1714) OR FIREABLE(t1713) OR FIREABLE(t1712) OR FIREABLE(t1711) OR FIREABLE(t1710) OR FIREABLE(t1709) OR FIREABLE(t1708) OR FIREABLE(t1707) OR FIREABLE(t1706) OR FIREABLE(t1705) OR FIREABLE(t1704) OR FIREABLE(t1703) OR FIREABLE(t1702) OR FIREABLE(t1701) OR FIREABLE(t1700) OR FIREABLE(t1699) OR FIREABLE(t1698) OR FIREABLE(t1697) OR FIREABLE(t1696) OR FIREABLE(t1695) OR FIREABLE(t1694) OR FIREABLE(t1693) OR FIREABLE(t1692) OR FIREABLE(t1691) OR FIREABLE(t1690) OR FIREABLE(t1689) OR FIREABLE(t1688) OR FIREABLE(t1687) OR FIREABLE(t1686) OR FIREABLE(t1685) OR FIREABLE(t1684) OR FIREABLE(t1683) OR FIREABLE(t1682) OR FIREABLE(t1681) OR FIREABLE(t1680) OR FIREABLE(t1679) OR FIREABLE(t1678) OR FIREABLE(t1677) OR FIREABLE(t1676) OR FIREABLE(t1675) OR FIREABLE(t1674) OR FIREABLE(t1673) OR FIREABLE(t1672) OR FIREABLE(t1671) OR FIREABLE(t1670) OR FIREABLE(t1669) OR FIREABLE(t1668) OR FIREABLE(t1667) OR FIREABLE(t1666) OR FIREABLE(t1665) OR FIREABLE(t1664) OR FIREABLE(t1663) OR FIREABLE(t1662) OR FIREABLE(t1661) OR FIREABLE(t1660) OR FIREABLE(t1659) OR FIREABLE(t1658) OR FIREABLE(t1657) OR FIREABLE(t1656) OR FIREABLE(t1655) OR FIREABLE(t1654) OR FIREABLE(t1653) OR FIREABLE(t1652) OR FIREABLE(t1651) OR FIREABLE(t1650) OR FIREABLE(t1649) OR FIREABLE(t1648) OR FIREABLE(t1647) OR FIREABLE(t1646) OR FIREABLE(t1645) OR FIREABLE(t1644) OR FIREABLE(t1643) OR FIREABLE(t1642) OR FIREABLE(t1641) OR FIREABLE(t1640) OR FIREABLE(t1639) OR FIREABLE(t1638) OR FIREABLE(t1637) OR FIREABLE(t1636) OR FIREABLE(t1635) OR FIREABLE(t1634) OR FIREABLE(t1633) OR FIREABLE(t1632) OR FIREABLE(t1631) OR FIREABLE(t1630) OR FIREABLE(t1629) OR FIREABLE(t1628) OR FIREABLE(t1627) OR FIREABLE(t1626) OR FIREABLE(t1625) OR FIREABLE(t1624) OR FIREABLE(t1623) OR FIREABLE(t1622) OR FIREABLE(t1621) OR FIREABLE(t1620) OR FIREABLE(t1619) OR FIREABLE(t1618) OR FIREABLE(t1617) OR FIREABLE(t1616) OR FIREABLE(t1615) OR FIREABLE(t1614) OR FIREABLE(t1613) OR FIREABLE(t1612) OR FIREABLE(t1611) OR FIREABLE(t1610) OR FIREABLE(t1609) OR FIREABLE(t1608) OR FIREABLE(t1607) OR FIREABLE(t1606) OR FIREABLE(t1605) OR FIREABLE(t1604) OR FIREABLE(t1603) OR FIREABLE(t1602) OR FIREABLE(t1601) OR FIREABLE(t1600) OR FIREABLE(t1599) OR FIREABLE(t1598) OR FIREABLE(t1597) OR FIREABLE(t1596) OR FIREABLE(t1595) OR FIREABLE(t1594) OR FIREABLE(t1593) OR FIREABLE(t1592) OR FIREABLE(t1591) OR FIREABLE(t1590) OR FIREABLE(t1589) OR FIREABLE(t1588) OR FIREABLE(t1587) OR FIREABLE(t1586) OR FIREABLE(t1585) OR FIREABLE(t1584) OR FIREABLE(t1583) OR FIREABLE(t1582) OR FIREABLE(t1581) OR FIREABLE(t1580) OR FIREABLE(t1579) OR FIREABLE(t1578) OR FIREABLE(t1577) OR FIREABLE(t1576) OR FIREABLE(t1575) OR FIREABLE(t1574) OR FIREABLE(t1573) OR FIREABLE(t1572) OR FIREABLE(t1571) OR FIREABLE(t1570) OR FIREABLE(t1569) OR FIREABLE(t1568) OR FIREABLE(t1567) OR FIREABLE(t1566) OR FIREABLE(t1565) OR FIREABLE(t1564) OR FIREABLE(t1563) OR FIREABLE(t1562) OR FIREABLE(t1561) OR FIREABLE(t1560) OR FIREABLE(t1559) OR FIREABLE(t1558) OR FIREABLE(t1557) OR FIREABLE(t1556) OR FIREABLE(t1555) OR FIREABLE(t1554) OR FIREABLE(t1553) OR FIREABLE(t1552) OR FIREABLE(t1551) OR FIREABLE(t1550) OR FIREABLE(t1549) OR FIREABLE(t1548) OR FIREABLE(t1547) OR FIREABLE(t1546) OR FIREABLE(t1545) OR FIREABLE(t1544) OR FIREABLE(t1543) OR FIREABLE(t1542) OR FIREABLE(t1541) OR FIREABLE(t1540) OR FIREABLE(t1539) OR FIREABLE(t1538) OR FIREABLE(t1537) OR FIREABLE(t1536) OR FIREABLE(t1535) OR FIREABLE(t1534) OR FIREABLE(t1533) OR FIREABLE(t1532) OR FIREABLE(t1531) OR FIREABLE(t1530) OR FIREABLE(t1529) OR FIREABLE(t1528) OR FIREABLE(t1527) OR FIREABLE(t1526) OR FIREABLE(t1525) OR FIREABLE(t1524) OR FIREABLE(t1523) OR FIREABLE(t1522) OR FIREABLE(t1521) OR FIREABLE(t1520) OR FIREABLE(t1519) OR FIREABLE(t1518) OR FIREABLE(t1517) OR FIREABLE(t1516) OR FIREABLE(t1515) OR FIREABLE(t1514) OR FIREABLE(t1513) OR FIREABLE(t1512) OR FIREABLE(t1511) OR FIREABLE(t1510) OR FIREABLE(t1509) OR FIREABLE(t1508) OR FIREABLE(t1507) OR FIREABLE(t1506) OR FIREABLE(t1505) OR FIREABLE(t1504) OR FIREABLE(t1503) OR FIREABLE(t1502) OR FIREABLE(t1501) OR FIREABLE(t1500) OR FIREABLE(t1499) OR FIREABLE(t1498) OR FIREABLE(t1497) OR FIREABLE(t1496) OR FIREABLE(t1495) OR FIREABLE(t1494) OR FIREABLE(t1493) OR FIREABLE(t1492) OR FIREABLE(t1491) OR FIREABLE(t1490) OR FIREABLE(t1489) OR FIREABLE(t1488) OR FIREABLE(t1487) OR FIREABLE(t1486) OR FIREABLE(t1485) OR FIREABLE(t1484) OR FIREABLE(t1483) OR FIREABLE(t1482) OR FIREABLE(t1481) OR FIREABLE(t1480) OR FIREABLE(t1479) OR FIREABLE(t1478) OR FIREABLE(t1477) OR FIREABLE(t1476) OR FIREABLE(t1475) OR FIREABLE(t1474) OR FIREABLE(t1473) OR FIREABLE(t1472) OR FIREABLE(t1471) OR FIREABLE(t1470) OR FIREABLE(t1469) OR FIREABLE(t1468) OR FIREABLE(t1467) OR FIREABLE(t1466) OR FIREABLE(t1465) OR FIREABLE(t1464) OR FIREABLE(t1463) OR FIREABLE(t1462) OR FIREABLE(t1461) OR FIREABLE(t1460) OR FIREABLE(t1459) OR FIREABLE(t1458) OR FIREABLE(t1457) OR FIREABLE(t1456) OR FIREABLE(t1455) OR FIREABLE(t1454) OR FIREABLE(t1453) OR FIREABLE(t1452) OR FIREABLE(t1451) OR FIREABLE(t1450) OR FIREABLE(t1449) OR FIREABLE(t1448) OR FIREABLE(t1447) OR FIREABLE(t1446) OR FIREABLE(t1445) OR FIREABLE(t1444) OR FIREABLE(t1443) OR FIREABLE(t1442) OR FIREABLE(t1441) OR FIREABLE(t1440) OR FIREABLE(t1439) OR FIREABLE(t1438) OR FIREABLE(t1437) OR FIREABLE(t1436) OR FIREABLE(t1435) OR FIREABLE(t1434) OR FIREABLE(t1433) OR FIREABLE(t1432) OR FIREABLE(t1431) OR FIREABLE(t1430) OR FIREABLE(t1429) OR FIREABLE(t1428) OR FIREABLE(t1427) OR FIREABLE(t1426) OR FIREABLE(t1425) OR FIREABLE(t1424) OR FIREABLE(t1423) OR FIREABLE(t1422) OR FIREABLE(t1421) OR FIREABLE(t1420) OR FIREABLE(t1419) OR FIREABLE(t1418) OR FIREABLE(t1417) OR FIREABLE(t1416) OR FIREABLE(t1415) OR FIREABLE(t1414) OR FIREABLE(t1413) OR FIREABLE(t1412) OR FIREABLE(t1411) OR FIREABLE(t1410) OR FIREABLE(t1409) OR FIREABLE(t1408) OR FIREABLE(t1407) OR FIREABLE(t1406) OR FIREABLE(t1405) OR FIREABLE(t1404) OR FIREABLE(t1403) OR FIREABLE(t1402) OR FIREABLE(t1401) OR FIREABLE(t1400) OR FIREABLE(t1399) OR FIREABLE(t1398) OR FIREABLE(t1397) OR FIREABLE(t1396) OR FIREABLE(t1395) OR FIREABLE(t1394) OR FIREABLE(t1393) OR FIREABLE(t1392) OR FIREABLE(t1391) OR FIREABLE(t1390) OR FIREABLE(t1389) OR FIREABLE(t1388) OR FIREABLE(t1387) OR FIREABLE(t1386) OR FIREABLE(t1385) OR FIREABLE(t1384) OR FIREABLE(t1383) OR FIREABLE(t1382) OR FIREABLE(t1381) OR FIREABLE(t1380) OR FIREABLE(t1379) OR FIREABLE(t1378) OR FIREABLE(t1377) OR FIREABLE(t1376) OR FIREABLE(t1375) OR FIREABLE(t1374) OR FIREABLE(t1373) OR FIREABLE(t1372) OR FIREABLE(t1371) OR FIREABLE(t1370) OR FIREABLE(t1369) OR FIREABLE(t1368) OR FIREABLE(t1367) OR FIREABLE(t1366) OR FIREABLE(t1365) OR FIREABLE(t1364) OR FIREABLE(t1363) OR FIREABLE(t1362) OR FIREABLE(t1361) OR FIREABLE(t1360) OR FIREABLE(t1359) OR FIREABLE(t1358) OR FIREABLE(t1357) OR FIREABLE(t1356) OR FIREABLE(t1355) OR FIREABLE(t1354) OR FIREABLE(t1353) OR FIREABLE(t1352) OR FIREABLE(t1351) OR FIREABLE(t1350) OR FIREABLE(t1349) OR FIREABLE(t1348) OR FIREABLE(t1347) OR FIREABLE(t1346) OR FIREABLE(t1345) OR FIREABLE(t1344) OR FIREABLE(t1343) OR FIREABLE(t1342) OR FIREABLE(t1341) OR FIREABLE(t1340) OR FIREABLE(t1339) OR FIREABLE(t1338) OR FIREABLE(t1337) OR FIREABLE(t1336) OR FIREABLE(t1335) OR FIREABLE(t1334) OR FIREABLE(t1333) OR FIREABLE(t1332) OR FIREABLE(t1331) OR FIREABLE(t1330) OR FIREABLE(t1329) OR FIREABLE(t1328) OR FIREABLE(t1327) OR FIREABLE(t1326) OR FIREABLE(t1325) OR FIREABLE(t1324) OR FIREABLE(t1323) OR FIREABLE(t1322) OR FIREABLE(t1321) OR FIREABLE(t1320) OR FIREABLE(t1319) OR FIREABLE(t1318) OR FIREABLE(t1317) OR FIREABLE(t1316) OR FIREABLE(t1315) OR FIREABLE(t1314) OR FIREABLE(t1313) OR FIREABLE(t1312) OR FIREABLE(t1311) OR FIREABLE(t1310) OR FIREABLE(t1309) OR FIREABLE(t1308) OR FIREABLE(t1307) OR FIREABLE(t1306) OR FIREABLE(t1305) OR FIREABLE(t1304) OR FIREABLE(t1303) OR FIREABLE(t1302) OR FIREABLE(t1301) OR FIREABLE(t1300) OR FIREABLE(t1299) OR FIREABLE(t1298) OR FIREABLE(t1297) OR FIREABLE(t1296) OR FIREABLE(t1295) OR FIREABLE(t1294) OR FIREABLE(t1293) OR FIREABLE(t1292) OR FIREABLE(t1291) OR FIREABLE(t1290) OR FIREABLE(t1289) OR FIREABLE(t1288) OR FIREABLE(t1287) OR FIREABLE(t1286) OR FIREABLE(t1285) OR FIREABLE(t1284) OR FIREABLE(t1283) OR FIREABLE(t1282) OR FIREABLE(t1281) OR FIREABLE(t1280) OR FIREABLE(t1279) OR FIREABLE(t1278) OR FIREABLE(t1277) OR FIREABLE(t1276) OR FIREABLE(t1275) OR FIREABLE(t1274) OR FIREABLE(t1273) OR FIREABLE(t1272) OR FIREABLE(t1271) OR FIREABLE(t1270) OR FIREABLE(t1269) OR FIREABLE(t1268) OR FIREABLE(t1267) OR FIREABLE(t1266) OR FIREABLE(t1265) OR FIREABLE(t1264) OR FIREABLE(t1263) OR FIREABLE(t1262) OR FIREABLE(t1261) OR FIREABLE(t1260) OR FIREABLE(t1259) OR FIREABLE(t1258) OR FIREABLE(t1257) OR FIREABLE(t1256) OR FIREABLE(t1255) OR FIREABLE(t1254) OR FIREABLE(t1253) OR FIREABLE(t1252) OR FIREABLE(t1251) OR FIREABLE(t1250) OR FIREABLE(t1249) OR FIREABLE(t1248) OR FIREABLE(t1247) OR FIREABLE(t1246) OR FIREABLE(t1245) OR FIREABLE(t1244) OR FIREABLE(t1243) OR FIREABLE(t1242) OR FIREABLE(t1241) OR FIREABLE(t1240) OR FIREABLE(t1239) OR FIREABLE(t1238) OR FIREABLE(t1237) OR FIREABLE(t1236) OR FIREABLE(t1235) OR FIREABLE(t1234) OR FIREABLE(t1233) OR FIREABLE(t1232) OR FIREABLE(t1231) OR FIREABLE(t1230) OR FIREABLE(t1229) OR FIREABLE(t1228)))))) : A (X ((((FIREABLE(t326) OR FIREABLE(t325)) U (FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIREABLE(t60) OR FIREABLE(t59) OR FIREABLE(t58) OR FIREABLE(t57) OR FIREABLE(t56) OR FIREABLE(t55) OR FIREABLE(t54) OR FIREABLE(t53) OR FIREABLE(t52) OR FIREABLE(t51) OR FIREABLE(t50) OR FIREABLE(t49) OR FIREABLE(t48) OR FIREABLE(t47) OR FIREABLE(t46) OR FIREABLE(t45) OR FIREABLE(t44) OR FIREABLE(t43) OR FIREABLE(t42) OR FIREABLE(t41) OR FIREABLE(t40) OR FIREABLE(t39) OR FIREABLE(t38) OR FIREABLE(t37) OR FIREABLE(t36) OR FIREABLE(t35) OR FIREABLE(t34) OR FIREABLE(t33) OR FIREABLE(t32) OR FIREABLE(t31) OR FIREABLE(t30) OR FIREABLE(t29) OR FIREABLE(t28) OR FIREABLE(t27) OR FIREABLE(t26) OR FIREABLE(t25) OR FIREABLE(t24) OR FIREABLE(t23) OR FIREABLE(t22) OR FIREABLE(t21) OR FIREABLE(t20) OR FIREABLE(t19) OR FIREABLE(t18) OR FIREABLE(t17) OR FIREABLE(t16) OR FIREABLE(t15) OR FIREABLE(t14) OR FIREABLE(t13) OR FIREABLE(t12) OR FIREABLE(t11) OR FIREABLE(t10) OR FIREABLE(t9) OR FIREABLE(t8) OR FIREABLE(t7) OR FIREABLE(t6) OR FIREABLE(t5) OR FIREABLE(t4) OR FIREABLE(t3) OR FIREABLE(t2) OR FIREABLE(t1) OR FIREABLE(t0))) U G ((FIREABLE(t2107) OR FIREABLE(t2106) OR FIREABLE(t2105) OR FIREABLE(t2104) OR FIREABLE(t2103) OR FIREABLE(t2102) OR FIREABLE(t2101) OR FIREABLE(t2100) OR FIREABLE(t2099) OR FIREABLE(t2098) OR FIREABLE(t2097) OR FIREABLE(t2096) OR FIREABLE(t2095) OR FIREABLE(t2094) OR FIREABLE(t2093) OR FIREABLE(t2092) OR FIREABLE(t2091) OR FIREABLE(t2090) OR FIREABLE(t2089) OR FIREABLE(t2088) OR FIREABLE(t2087) OR FIREABLE(t2086) OR FIREABLE(t2085) OR FIREABLE(t2084) OR FIREABLE(t2083) OR FIREABLE(t2082) OR FIREABLE(t2081) OR FIREABLE(t2080) OR FIREABLE(t2079) OR FIREABLE(t2078) OR FIREABLE(t2077) OR FIREABLE(t2076) OR FIREABLE(t2075) OR FIREABLE(t2074) OR FIREABLE(t2073) OR FIREABLE(t2072) OR FIREABLE(t2071) OR FIREABLE(t2070) OR FIREABLE(t2069) OR FIREABLE(t2068) OR FIREABLE(t2067) OR FIREABLE(t2066) OR FIREABLE(t2065) OR FIREABLE(t2064) OR FIREABLE(t2063) OR FIREABLE(t2062) OR FIREABLE(t2061) OR FIREABLE(t2060) OR FIREABLE(t2059) OR FIREABLE(t2058) OR FIREABLE(t2057) OR FIREABLE(t2056) OR FIREABLE(t2055) OR FIREABLE(t2054) OR FIREABLE(t2053) OR FIREABLE(t2052) OR FIREABLE(t2051) OR FIREABLE(t2050) OR FIREABLE(t2049) OR FIREABLE(t2048) OR FIREABLE(t2047) OR FIREABLE(t2046) OR FIREABLE(t2045) OR FIREABLE(t2044) OR FIREABLE(t2043) OR FIREABLE(t2042) OR FIREABLE(t2041) OR FIREABLE(t2040) OR FIREABLE(t2039) OR FIREABLE(t2038) OR FIREABLE(t2037) OR FIREABLE(t2036) OR FIREABLE(t2035) OR FIREABLE(t2034) OR FIREABLE(t2033) OR FIREABLE(t2032) OR FIREABLE(t2031) OR FIREABLE(t2030) OR FIREABLE(t2029) OR FIREABLE(t2028) OR FIREABLE(t2027) OR FIREABLE(t2026) OR FIREABLE(t2025) OR FIREABLE(t2024) OR FIREABLE(t2023) OR FIREABLE(t2022) OR FIREABLE(t2021) OR FIREABLE(t2020) OR FIREABLE(t2019) OR FIREABLE(t2018) OR FIREABLE(t2017) OR FIREABLE(t2016) OR FIREABLE(t2015) OR FIREABLE(t2014) OR FIREABLE(t2013) OR FIREABLE(t2012) OR FIREABLE(t2011) OR FIREABLE(t2010) OR FIREABLE(t2009) OR FIREABLE(t2008) OR FIREABLE(t2007) OR FIREABLE(t2006) OR FIREABLE(t2005) OR FIREABLE(t2004) OR FIREABLE(t2003) OR FIREABLE(t2002) OR FIREABLE(t2001) OR FIREABLE(t2000) OR FIREABLE(t1999) OR FIREABLE(t1998) OR FIREABLE(t1997) OR FIREABLE(t1996) OR FIREABLE(t1995) OR FIREABLE(t1994) OR FIREABLE(t1993) OR FIREABLE(t1992) OR FIREABLE(t1991) OR FIREABLE(t1990) OR FIREABLE(t1989) OR FIREABLE(t1988) OR FIREABLE(t1987) OR FIREABLE(t1986) OR FIREABLE(t1985) OR FIREABLE(t1984) OR FIREABLE(t1983) OR FIREABLE(t1982) OR FIREABLE(t1981) OR FIREABLE(t1980) OR FIREABLE(t1979) OR FIREABLE(t1978) OR FIREABLE(t1977) OR FIREABLE(t1976) OR FIREABLE(t1975) OR FIREABLE(t1974) OR FIREABLE(t1973) OR FIREABLE(t1972) OR FIREABLE(t1971) OR FIREABLE(t1970) OR FIREABLE(t1969) OR FIREABLE(t1968) OR FIREABLE(t1967) OR FIREABLE(t1966) OR FIREABLE(t1965) OR FIREABLE(t1964) OR FIREABLE(t1963) OR FIREABLE(t1962) OR FIREABLE(t1961) OR FIREABLE(t1960) OR FIREABLE(t1959) OR FIREABLE(t1958) OR FIREABLE(t1957) OR FIREABLE(t1956) OR FIREABLE(t1955) OR FIREABLE(t1954) OR FIREABLE(t1953) OR FIREABLE(t1952) OR FIREABLE(t1951) OR FIREABLE(t1950) OR FIREABLE(t1949) OR FIREABLE(t1948) OR FIREABLE(t1947) OR FIREABLE(t1946) OR FIREABLE(t1945) OR FIREABLE(t1944) OR FIREABLE(t1943) OR FIREABLE(t1942) OR FIREABLE(t1941) OR FIREABLE(t1940) OR FIREABLE(t1939) OR FIREABLE(t1938) OR FIREABLE(t1937) OR FIREABLE(t1936) OR FIREABLE(t1935) OR FIREABLE(t1934) OR FIREABLE(t1933) OR FIREABLE(t1932) OR FIREABLE(t1931) OR FIREABLE(t1930) OR FIREABLE(t1929) OR FIREABLE(t1928) OR FIREABLE(t1927) OR FIREABLE(t1926) OR FIREABLE(t1925) OR FIREABLE(t1924) OR FIREABLE(t1923) OR FIREABLE(t1922) OR FIREABLE(t1921) OR FIREABLE(t1920) OR FIREABLE(t1919) OR FIREABLE(t1918) OR FIREABLE(t1917) OR FIREABLE(t1916) OR FIREABLE(t1915) OR FIREABLE(t1914) OR FIREABLE(t1913) OR FIREABLE(t1912) OR FIREABLE(t1911) OR FIREABLE(t1910) OR FIREABLE(t1909) OR FIREABLE(t1908) OR FIREABLE(t1907) OR FIREABLE(t1906) OR FIREABLE(t1905) OR FIREABLE(t1904) OR FIREABLE(t1903) OR FIREABLE(t1902) OR FIREABLE(t1901) OR FIREABLE(t1900) OR FIREABLE(t1899) OR FIREABLE(t1898) OR FIREABLE(t1897) OR FIREABLE(t1896) OR FIREABLE(t1895) OR FIREABLE(t1894) OR FIREABLE(t1893) OR FIREABLE(t1892) OR FIREABLE(t1891) OR FIREABLE(t1890) OR FIREABLE(t1889) OR FIREABLE(t1888) OR FIREABLE(t1887) OR FIREABLE(t1886) OR FIREABLE(t1885) OR FIREABLE(t1884) OR FIREABLE(t1883) OR FIREABLE(t1882) OR FIREABLE(t1881) OR FIREABLE(t1880) OR FIREABLE(t1879) OR FIREABLE(t1878) OR FIREABLE(t1877) OR FIREABLE(t1876) OR FIREABLE(t1875) OR FIREABLE(t1874) OR FIREABLE(t1873) OR FIREABLE(t1872) OR FIREABLE(t1871) OR FIREABLE(t1870) OR FIREABLE(t1869) OR FIREABLE(t1868) OR FIREABLE(t1867) OR FIREABLE(t1866) OR FIREABLE(t1865) OR FIREABLE(t1864) OR FIREABLE(t1863) OR FIREABLE(t1862) OR FIREABLE(t1861) OR FIREABLE(t1860) OR FIREABLE(t1859) OR FIREABLE(t1858) OR FIREABLE(t1857) OR FIREABLE(t1856) OR FIREABLE(t1855) OR FIREABLE(t1854) OR FIREABLE(t1853) OR FIREABLE(t1852) OR FIREABLE(t1851) OR FIREABLE(t1850) OR FIREABLE(t1849) OR FIREABLE(t1848) OR FIREABLE(t1847) OR FIREABLE(t1846) OR FIREABLE(t1845) OR FIREABLE(t1844) OR FIREABLE(t1843) OR FIREABLE(t1842) OR FIREABLE(t1841) OR FIREABLE(t1840) OR FIREABLE(t1839) OR FIREABLE(t1838) OR FIREABLE(t1837) OR FIREABLE(t1836) OR FIREABLE(t1835) OR FIREABLE(t1834) OR FIREABLE(t1833) OR FIREABLE(t1832) OR FIREABLE(t1831) OR FIREABLE(t1830) OR FIREABLE(t1829) OR FIREABLE(t1828) OR FIREABLE(t1827) OR FIREABLE(t1826) OR FIREABLE(t1825) OR FIREABLE(t1824) OR FIREABLE(t1823) OR FIREABLE(t1822) OR FIREABLE(t1821) OR FIREABLE(t1820) OR FIREABLE(t1819) OR FIREABLE(t1818) OR FIREABLE(t1817) OR FIREABLE(t1816) OR FIREABLE(t1815) OR FIREABLE(t1814) OR FIREABLE(t1813) OR FIREABLE(t1812) OR FIREABLE(t1811) OR FIREABLE(t1810) OR FIREABLE(t1809) OR FIREABLE(t1808) OR FIREABLE(t1807) OR FIREABLE(t1806) OR FIREABLE(t1805) OR FIREABLE(t1804) OR FIREABLE(t1803) OR FIREABLE(t1802) OR FIREABLE(t1801) OR FIREABLE(t1800) OR FIREABLE(t1799) OR FIREABLE(t1798) OR FIREABLE(t1797) OR FIREABLE(t1796) OR FIREABLE(t1795) OR FIREABLE(t1794) OR FIREABLE(t1793) OR FIREABLE(t1792) OR FIREABLE(t1791) OR FIREABLE(t1790) OR FIREABLE(t1789) OR FIREABLE(t1788) OR FIREABLE(t1787) OR FIREABLE(t1786) OR FIREABLE(t1785) OR FIREABLE(t1784) OR FIREABLE(t1783) OR FIREABLE(t1782) OR FIREABLE(t1781) OR FIREABLE(t1780) OR FIREABLE(t1779) OR FIREABLE(t1778) OR FIREABLE(t1777) OR FIREABLE(t1776) OR FIREABLE(t1775) OR FIREABLE(t1774) OR FIREABLE(t1773) OR FIREABLE(t1772) OR FIREABLE(t1771) OR FIREABLE(t1770) OR FIREABLE(t1769) OR FIREABLE(t1768) OR FIREABLE(t1767) OR FIREABLE(t1766) OR FIREABLE(t1765) OR FIREABLE(t1764) OR FIREABLE(t1763) OR FIREABLE(t1762) OR FIREABLE(t1761) OR FIREABLE(t1760) OR FIREABLE(t1759) OR FIREABLE(t1758) OR FIREABLE(t1757) OR FIREABLE(t1756) OR FIREABLE(t1755) OR FIREABLE(t1754) OR FIREABLE(t1753) OR FIREABLE(t1752) OR FIREABLE(t1751) OR FIREABLE(t1750) OR FIREABLE(t1749) OR FIREABLE(t1748) OR FIREABLE(t1747) OR FIREABLE(t1746) OR FIREABLE(t1745) OR FIREABLE(t1744) OR FIREABLE(t1743) OR FIREABLE(t1742) OR FIREABLE(t1741) OR FIREABLE(t1740) OR FIREABLE(t1739) OR FIREABLE(t1738) OR FIREABLE(t1737) OR FIREABLE(t1736) OR FIREABLE(t1735) OR FIREABLE(t1734) OR FIREABLE(t1733) OR FIREABLE(t1732) OR FIREABLE(t1731) OR FIREABLE(t1730) OR FIREABLE(t1729) OR FIREABLE(t1728) OR FIREABLE(t1727) OR FIREABLE(t1726) OR FIREABLE(t1725) OR FIREABLE(t1724) OR FIREABLE(t1723) OR FIREABLE(t1722) OR FIREABLE(t1721) OR FIREABLE(t1720) OR FIREABLE(t1719) OR FIREABLE(t1718) OR FIREABLE(t1717) OR FIREABLE(t1716) OR FIREABLE(t1715) OR FIREABLE(t1714) OR FIREABLE(t1713) OR FIREABLE(t1712) OR FIREABLE(t1711) OR FIREABLE(t1710) OR FIREABLE(t1709) OR FIREABLE(t1708) OR FIREABLE(t1707) OR FIREABLE(t1706) OR FIREABLE(t1705) OR FIREABLE(t1704) OR FIREABLE(t1703) OR FIREABLE(t1702) OR FIREABLE(t1701) OR FIREABLE(t1700) OR FIREABLE(t1699) OR FIREABLE(t1698) OR FIREABLE(t1697) OR FIREABLE(t1696) OR FIREABLE(t1695) OR FIREABLE(t1694) OR FIREABLE(t1693) OR FIREABLE(t1692) OR FIREABLE(t1691) OR FIREABLE(t1690) OR FIREABLE(t1689) OR FIREABLE(t1688) OR FIREABLE(t1687) OR FIREABLE(t1686) OR FIREABLE(t1685) OR FIREABLE(t1684) OR FIREABLE(t1683) OR FIREABLE(t1682) OR FIREABLE(t1681) OR FIREABLE(t1680) OR FIREABLE(t1679) OR FIREABLE(t1678) OR FIREABLE(t1677) OR FIREABLE(t1676) OR FIREABLE(t1675) OR FIREABLE(t1674) OR FIREABLE(t1673) OR FIREABLE(t1672) OR FIREABLE(t1671) OR FIREABLE(t1670) OR FIREABLE(t1669) OR FIREABLE(t1668) OR FIREABLE(t1667) OR FIREABLE(t1666) OR FIREABLE(t1665) OR FIREABLE(t1664) OR FIREABLE(t1663) OR FIREABLE(t1662) OR FIREABLE(t1661) OR FIREABLE(t1660) OR FIREABLE(t1659) OR FIREABLE(t1658) OR FIREABLE(t1657) OR FIREABLE(t1656) OR FIREABLE(t1655) OR FIREABLE(t1654) OR FIREABLE(t1653) OR FIREABLE(t1652) OR FIREABLE(t1651) OR FIREABLE(t1650) OR FIREABLE(t1649) OR FIREABLE(t1648) OR FIREABLE(t1647) OR FIREABLE(t1646) OR FIREABLE(t1645) OR FIREABLE(t1644) OR FIREABLE(t1643) OR FIREABLE(t1642) OR FIREABLE(t1641) OR FIREABLE(t1640) OR FIREABLE(t1639) OR FIREABLE(t1638) OR FIREABLE(t1637) OR FIREABLE(t1636) OR FIREABLE(t1635) OR FIREABLE(t1634) OR FIREABLE(t1633) OR FIREABLE(t1632) OR FIREABLE(t1631) OR FIREABLE(t1630) OR FIREABLE(t1629) OR FIREABLE(t1628) OR FIREABLE(t1627) OR FIREABLE(t1626) OR FIREABLE(t1625) OR FIREABLE(t1624) OR FIREABLE(t1623) OR FIREABLE(t1622) OR FIREABLE(t1621) OR FIREABLE(t1620) OR FIREABLE(t1619) OR FIREABLE(t1618) OR FIREABLE(t1617) OR FIREABLE(t1616) OR FIREABLE(t1615) OR FIREABLE(t1614) OR FIREABLE(t1613) OR FIREABLE(t1612) OR FIREABLE(t1611) OR FIREABLE(t1610) OR FIREABLE(t1609) OR FIREABLE(t1608) OR FIREABLE(t1607) OR FIREABLE(t1606) OR FIREABLE(t1605) OR FIREABLE(t1604) OR FIREABLE(t1603) OR FIREABLE(t1602) OR FIREABLE(t1601) OR FIREABLE(t1600) OR FIREABLE(t1599) OR FIREABLE(t1598) OR FIREABLE(t1597) OR FIREABLE(t1596) OR FIREABLE(t1595) OR FIREABLE(t1594) OR FIREABLE(t1593) OR FIREABLE(t1592) OR FIREABLE(t1591) OR FIREABLE(t1590) OR FIREABLE(t1589) OR FIREABLE(t1588) OR FIREABLE(t1587) OR FIREABLE(t1586) OR FIREABLE(t1585) OR FIREABLE(t1584) OR FIREABLE(t1583) OR FIREABLE(t1582) OR FIREABLE(t1581) OR FIREABLE(t1580) OR FIREABLE(t1579) OR FIREABLE(t1578) OR FIREABLE(t1577) OR FIREABLE(t1576) OR FIREABLE(t1575) OR FIREABLE(t1574) OR FIREABLE(t1573) OR FIREABLE(t1572) OR FIREABLE(t1571) OR FIREABLE(t1570) OR FIREABLE(t1569) OR FIREABLE(t1568) OR FIREABLE(t1567) OR FIREABLE(t1566) OR FIREABLE(t1565) OR FIREABLE(t1564) OR FIREABLE(t1563) OR FIREABLE(t1562) OR FIREABLE(t1561) OR FIREABLE(t1560) OR FIREABLE(t1559) OR FIREABLE(t1558) OR FIREABLE(t1557) OR FIREABLE(t1556) OR FIREABLE(t1555) OR FIREABLE(t1554) OR FIREABLE(t1553) OR FIREABLE(t1552) OR FIREABLE(t1551) OR FIREABLE(t1550) OR FIREABLE(t1549) OR FIREABLE(t1548) OR FIREABLE(t1547) OR FIREABLE(t1546) OR FIREABLE(t1545) OR FIREABLE(t1544) OR FIREABLE(t1543) OR FIREABLE(t1542) OR FIREABLE(t1541) OR FIREABLE(t1540) OR FIREABLE(t1539) OR FIREABLE(t1538) OR FIREABLE(t1537) OR FIREABLE(t1536) OR FIREABLE(t1535) OR FIREABLE(t1534) OR FIREABLE(t1533) OR FIREABLE(t1532) OR FIREABLE(t1531) OR FIREABLE(t1530) OR FIREABLE(t1529) OR FIREABLE(t1528) OR FIREABLE(t1527) OR FIREABLE(t1526) OR FIREABLE(t1525) OR FIREABLE(t1524) OR FIREABLE(t1523) OR FIREABLE(t1522) OR FIREABLE(t1521) OR FIREABLE(t1520) OR FIREABLE(t1519) OR FIREABLE(t1518) OR FIREABLE(t1517) OR FIREABLE(t1516) OR FIREABLE(t1515) OR FIREABLE(t1514) OR FIREABLE(t1513) OR FIREABLE(t1512) OR FIREABLE(t1511) OR FIREABLE(t1510) OR FIREABLE(t1509) OR FIREABLE(t1508) OR FIREABLE(t1507) OR FIREABLE(t1506) OR FIREABLE(t1505) OR FIREABLE(t1504) OR FIREABLE(t1503) OR FIREABLE(t1502) OR FIREABLE(t1501) OR FIREABLE(t1500) OR FIREABLE(t1499) OR FIREABLE(t1498) OR FIREABLE(t1497) OR FIREABLE(t1496) OR FIREABLE(t1495) OR FIREABLE(t1494) OR FIREABLE(t1493) OR FIREABLE(t1492) OR FIREABLE(t1491) OR FIREABLE(t1490) OR FIREABLE(t1489) OR FIREABLE(t1488) OR FIREABLE(t1487) OR FIREABLE(t1486) OR FIREABLE(t1485) OR FIREABLE(t1484) OR FIREABLE(t1483) OR FIREABLE(t1482) OR FIREABLE(t1481) OR FIREABLE(t1480) OR FIREABLE(t1479) OR FIREABLE(t1478) OR FIREABLE(t1477) OR FIREABLE(t1476) OR FIREABLE(t1475) OR FIREABLE(t1474) OR FIREABLE(t1473) OR FIREABLE(t1472) OR FIREABLE(t1471) OR FIREABLE(t1470) OR FIREABLE(t1469) OR FIREABLE(t1468) OR FIREABLE(t1467) OR FIREABLE(t1466) OR FIREABLE(t1465) OR FIREABLE(t1464) OR FIREABLE(t1463) OR FIREABLE(t1462) OR FIREABLE(t1461) OR FIREABLE(t1460) OR FIREABLE(t1459) OR FIREABLE(t1458) OR FIREABLE(t1457) OR FIREABLE(t1456) OR FIREABLE(t1455) OR FIREABLE(t1454) OR FIREABLE(t1453) OR FIREABLE(t1452) OR FIREABLE(t1451) OR FIREABLE(t1450) OR FIREABLE(t1449) OR FIREABLE(t1448) OR FIREABLE(t1447) OR FIREABLE(t1446) OR FIREABLE(t1445) OR FIREABLE(t1444) OR FIREABLE(t1443) OR FIREABLE(t1442) OR FIREABLE(t1441) OR FIREABLE(t1440) OR FIREABLE(t1439) OR FIREABLE(t1438) OR FIREABLE(t1437) OR FIREABLE(t1436) OR FIREABLE(t1435) OR FIREABLE(t1434) OR FIREABLE(t1433) OR FIREABLE(t1432) OR FIREABLE(t1431) OR FIREABLE(t1430) OR FIREABLE(t1429) OR FIREABLE(t1428) OR FIREABLE(t1427) OR FIREABLE(t1426) OR FIREABLE(t1425) OR FIREABLE(t1424) OR FIREABLE(t1423) OR FIREABLE(t1422) OR FIREABLE(t1421) OR FIREABLE(t1420) OR FIREABLE(t1419) OR FIREABLE(t1418) OR FIREABLE(t1417) OR FIREABLE(t1416) OR FIREABLE(t1415) OR FIREABLE(t1414) OR FIREABLE(t1413) OR FIREABLE(t1412) OR FIREABLE(t1411) OR FIREABLE(t1410) OR FIREABLE(t1409) OR FIREABLE(t1408) OR FIREABLE(t1407) OR FIREABLE(t1406) OR FIREABLE(t1405) OR FIREABLE(t1404) OR FIREABLE(t1403) OR FIREABLE(t1402) OR FIREABLE(t1401) OR FIREABLE(t1400) OR FIREABLE(t1399) OR FIREABLE(t1398) OR FIREABLE(t1397) OR FIREABLE(t1396) OR FIREABLE(t1395) OR FIREABLE(t1394) OR FIREABLE(t1393) OR FIREABLE(t1392) OR FIREABLE(t1391) OR FIREABLE(t1390) OR FIREABLE(t1389) OR FIREABLE(t1388) OR FIREABLE(t1387) OR FIREABLE(t1386) OR FIREABLE(t1385) OR FIREABLE(t1384) OR FIREABLE(t1383) OR FIREABLE(t1382) OR FIREABLE(t1381) OR FIREABLE(t1380) OR FIREABLE(t1379) OR FIREABLE(t1378) OR FIREABLE(t1377) OR FIREABLE(t1376) OR FIREABLE(t1375) OR FIREABLE(t1374) OR FIREABLE(t1373) OR FIREABLE(t1372) OR FIREABLE(t1371) OR FIREABLE(t1370) OR FIREABLE(t1369) OR FIREABLE(t1368) OR FIREABLE(t1367) OR FIREABLE(t1366) OR FIREABLE(t1365) OR FIREABLE(t1364) OR FIREABLE(t1363) OR FIREABLE(t1362) OR FIREABLE(t1361) OR FIREABLE(t1360) OR FIREABLE(t1359) OR FIREABLE(t1358) OR FIREABLE(t1357) OR FIREABLE(t1356) OR FIREABLE(t1355) OR FIREABLE(t1354) OR FIREABLE(t1353) OR FIREABLE(t1352) OR FIREABLE(t1351) OR FIREABLE(t1350) OR FIREABLE(t1349) OR FIREABLE(t1348) OR FIREABLE(t1347) OR FIREABLE(t1346) OR FIREABLE(t1345) OR FIREABLE(t1344) OR FIREABLE(t1343) OR FIREABLE(t1342) OR FIREABLE(t1341) OR FIREABLE(t1340) OR FIREABLE(t1339) OR FIREABLE(t1338) OR FIREABLE(t1337) OR FIREABLE(t1336) OR FIREABLE(t1335) OR FIREABLE(t1334) OR FIREABLE(t1333) OR FIREABLE(t1332) OR FIREABLE(t1331) OR FIREABLE(t1330) OR FIREABLE(t1329) OR FIREABLE(t1328) OR FIREABLE(t1327) OR FIREABLE(t1326) OR FIREABLE(t1325) OR FIREABLE(t1324) OR FIREABLE(t1323) OR FIREABLE(t1322) OR FIREABLE(t1321) OR FIREABLE(t1320) OR FIREABLE(t1319) OR FIREABLE(t1318) OR FIREABLE(t1317) OR FIREABLE(t1316) OR FIREABLE(t1315) OR FIREABLE(t1314) OR FIREABLE(t1313) OR FIREABLE(t1312) OR FIREABLE(t1311) OR FIREABLE(t1310) OR FIREABLE(t1309) OR FIREABLE(t1308) OR FIREABLE(t1307) OR FIREABLE(t1306) OR FIREABLE(t1305) OR FIREABLE(t1304) OR FIREABLE(t1303) OR FIREABLE(t1302) OR FIREABLE(t1301) OR FIREABLE(t1300) OR FIREABLE(t1299) OR FIREABLE(t1298) OR FIREABLE(t1297) OR FIREABLE(t1296) OR FIREABLE(t1295) OR FIREABLE(t1294) OR FIREABLE(t1293) OR FIREABLE(t1292) OR FIREABLE(t1291) OR FIREABLE(t1290) OR FIREABLE(t1289) OR FIREABLE(t1288) OR FIREABLE(t1287) OR FIREABLE(t1286) OR FIREABLE(t1285) OR FIREABLE(t1284) OR FIREABLE(t1283) OR FIREABLE(t1282) OR FIREABLE(t1281) OR FIREABLE(t1280) OR FIREABLE(t1279) OR FIREABLE(t1278) OR FIREABLE(t1277) OR FIREABLE(t1276) OR FIREABLE(t1275) OR FIREABLE(t1274) OR FIREABLE(t1273) OR FIREABLE(t1272) OR FIREABLE(t1271) OR FIREABLE(t1270) OR FIREABLE(t1269) OR FIREABLE(t1268) OR FIREABLE(t1267) OR FIREABLE(t1266) OR FIREABLE(t1265) OR FIREABLE(t1264) OR FIREABLE(t1263) OR FIREABLE(t1262) OR FIREABLE(t1261) OR FIREABLE(t1260) OR FIREABLE(t1259) OR FIREABLE(t1258) OR FIREABLE(t1257) OR FIREABLE(t1256) OR FIREABLE(t1255) OR FIREABLE(t1254) OR FIREABLE(t1253) OR FIREABLE(t1252) OR FIREABLE(t1251) OR FIREABLE(t1250) OR FIREABLE(t1249) OR FIREABLE(t1248) OR FIREABLE(t1247) OR FIREABLE(t1246) OR FIREABLE(t1245) OR FIREABLE(t1244) OR FIREABLE(t1243) OR FIREABLE(t1242) OR FIREABLE(t1241) OR FIREABLE(t1240) OR FIREABLE(t1239) OR FIREABLE(t1238) OR FIREABLE(t1237) OR FIREABLE(t1236) OR FIREABLE(t1235) OR FIREABLE(t1234) OR FIREABLE(t1233) OR FIREABLE(t1232) OR FIREABLE(t1231) OR FIREABLE(t1230) OR FIREABLE(t1229) OR FIREABLE(t1228)))))) : A (FIREABLE(t327)) : A (X ((X ((FIREABLE(t326) OR FIREABLE(t325))) U X ((FIREABLE(t82) OR FIREABLE(t81)))))) : A (((F (FIREABLE(t327)) U (FIREABLE(t324) OR FIREABLE(t323) OR FIREABLE(t322) OR FIREABLE(t321) OR FIREABLE(t320) OR FIREABLE(t319) OR FIREABLE(t318) OR FIREABLE(t317) OR FIREABLE(t316) OR FIREABLE(t315) OR FIREABLE(t314) OR FIREABLE(t313) OR FIREABLE(t312) OR FIREABLE(t311) OR FIREABLE(t310) OR FIREABLE(t309) OR FIREABLE(t308) OR FIREABLE(t307) OR FIREABLE(t306) OR FIREABLE(t305) OR FIREABLE(t304) OR FIREABLE(t303) OR FIREABLE(t302) OR FIREABLE(t301) OR FIREABLE(t300) OR FIREABLE(t299) OR FIREABLE(t298) OR FIREABLE(t297) OR FIREABLE(t296) OR FIREABLE(t295) OR FIREABLE(t294) OR FIREABLE(t293) OR FIREABLE(t292) OR FIREABLE(t291) OR FIREABLE(t290) OR FIREABLE(t289) OR FIREABLE(t288) OR FIREABLE(t287) OR FIREABLE(t286) OR FIREABLE(t285) OR FIREABLE(t284) OR FIREABLE(t283) OR FIREABLE(t282) OR FIREABLE(t281) OR FIREABLE(t280) OR FIREABLE(t279) OR FIREABLE(t278) OR FIREABLE(t277) OR FIREABLE(t276) OR FIREABLE(t275) OR FIREABLE(t274) OR FIREABLE(t273) OR FIREABLE(t272) OR FIREABLE(t271) OR FIREABLE(t270) OR FIREABLE(t269) OR FIREABLE(t268) OR FIREABLE(t267) OR FIREABLE(t266) OR FIREABLE(t265) OR FIREABLE(t264) OR FIREABLE(t263) OR FIREABLE(t262) OR FIREABLE(t261) OR FIREABLE(t260) OR FIREABLE(t259) OR FIREABLE(t258) OR FIREABLE(t257) OR FIREABLE(t256) OR FIREABLE(t255) OR FIREABLE(t254) OR FIREABLE(t253) OR FIREABLE(t252) OR FIREABLE(t251) OR FIREABLE(t250) OR FIREABLE(t249) OR FIREABLE(t248) OR FIREABLE(t247) OR FIREABLE(t246) OR FIREABLE(t245))) U F ((FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIREABLE(t60) OR FIREABLE(t59) OR FIREABLE(t58) OR FIREABLE(t57) OR FIREABLE(t56) OR FIREABLE(t55) OR FIREABLE(t54) OR FIREABLE(t53) OR FIREABLE(t52) OR FIREABLE(t51) OR FIREABLE(t50) OR FIREABLE(t49) OR FIREABLE(t48) OR FIREABLE(t47) OR FIREABLE(t46) OR FIREABLE(t45) OR FIREABLE(t44) OR FIREABLE(t43) OR FIREABLE(t42) OR FIREABLE(t41) OR FIREABLE(t40) OR FIREABLE(t39) OR FIREABLE(t38) OR FIREABLE(t37) OR FIREABLE(t36) OR FIREABLE(t35) OR FIREABLE(t34) OR FIREABLE(t33) OR FIREABLE(t32) OR FIREABLE(t31) OR FIREABLE(t30) OR FIREABLE(t29) OR FIREABLE(t28) OR FIREABLE(t27) OR FIREABLE(t26) OR FIREABLE(t25) OR FIREABLE(t24) OR FIREABLE(t23) OR FIREABLE(t22) OR FIREABLE(t21) OR FIREABLE(t20) OR FIREABLE(t19) OR FIREABLE(t18) OR FIREABLE(t17) OR FIREABLE(t16) OR FIREABLE(t15) OR FIREABLE(t14) OR FIREABLE(t13) OR FIREABLE(t12) OR FIREABLE(t11) OR FIREABLE(t10) OR FIREABLE(t9) OR FIREABLE(t8) OR FIREABLE(t7) OR FIREABLE(t6) OR FIREABLE(t5) OR FIREABLE(t4) OR FIREABLE(t3) OR FIREABLE(t2) OR FIREABLE(t1) OR FIREABLE(t0))))) : A (X (FIREABLE(t327))) : A (F (X (F (X (X ((FIREABLE(t82) OR FIREABLE(t81)))))))) : A (G ((X (G ((FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIREABLE(t60) OR FIREABLE(t59) OR FIREABLE(t58) OR FIREABLE(t57) OR FIREABLE(t56) OR FIREABLE(t55) OR FIREABLE(t54) OR FIREABLE(t53) OR FIREABLE(t52) OR FIREABLE(t51) OR FIREABLE(t50) OR FIREABLE(t49) OR FIREABLE(t48) OR FIREABLE(t47) OR FIREABLE(t46) OR FIREABLE(t45) OR FIREABLE(t44) OR FIREABLE(t43) OR FIREABLE(t42) OR FIREABLE(t41) OR FIREABLE(t40) OR FIREABLE(t39) OR FIREABLE(t38) OR FIREABLE(t37) OR FIREABLE(t36) OR FIREABLE(t35) OR FIREABLE(t34) OR FIREABLE(t33) OR FIREABLE(t32) OR FIREABLE(t31) OR FIREABLE(t30) OR FIREABLE(t29) OR FIREABLE(t28) OR FIREABLE(t27) OR FIREABLE(t26) OR FIREABLE(t25) OR FIREABLE(t24) OR FIREABLE(t23) OR FIREABLE(t22) OR FIREABLE(t21) OR FIREABLE(t20) OR FIREABLE(t19) OR FIREABLE(t18) OR FIREABLE(t17) OR FIREABLE(t16) OR FIREABLE(t15) OR FIREABLE(t14) OR FIREABLE(t13) OR FIREABLE(t12) OR FIREABLE(t11) OR FIREABLE(t10) OR FIREABLE(t9) OR FIREABLE(t8) OR FIREABLE(t7) OR FIREABLE(t6) OR FIREABLE(t5) OR FIREABLE(t4) OR FIREABLE(t3) OR FIREABLE(t2) OR FIREABLE(t1) OR FIREABLE(t0)))) U G (X (FIREABLE(t327)))))) : A (G (((FIREABLE(t162) OR FIREABLE(t161) OR FIREABLE(t160) OR FIREABLE(t159) OR FIREABLE(t158) OR FIREABLE(t157) OR FIREABLE(t156) OR FIREABLE(t155) OR FIREABLE(t154) OR FIREABLE(t153) OR FIREABLE(t152) OR FIREABLE(t151) OR FIREABLE(t150) OR FIREABLE(t149) OR FIREABLE(t148) OR FIREABLE(t147) OR FIREABLE(t146) OR FIREABLE(t145) OR FIREABLE(t144) OR FIREABLE(t143) OR FIREABLE(t142) OR FIREABLE(t141) OR FIREABLE(t140) OR FIREABLE(t139) OR FIREABLE(t138) OR FIREABLE(t137) OR FIREABLE(t136) OR FIREABLE(t135) OR FIREABLE(t134) OR FIREABLE(t133) OR FIREABLE(t132) OR FIREABLE(t131) OR FIREABLE(t130) OR FIREABLE(t129) OR FIREABLE(t128) OR FIREABLE(t127) OR FIREABLE(t126) OR FIREABLE(t125) OR FIREABLE(t124) OR FIREABLE(t123) OR FIREABLE(t122) OR FIREABLE(t121) OR FIREABLE(t120) OR FIREABLE(t119) OR FIREABLE(t118) OR FIREABLE(t117) OR FIREABLE(t116) OR FIREABLE(t115) OR FIREABLE(t114) OR FIREABLE(t113) OR FIREABLE(t112) OR FIREABLE(t111) OR FIREABLE(t110) OR FIREABLE(t109) OR FIREABLE(t108) OR FIREABLE(t107) OR FIREABLE(t106) OR FIREABLE(t105) OR FIREABLE(t104) OR FIREABLE(t103) OR FIREABLE(t102) OR FIREABLE(t101) OR FIREABLE(t100) OR FIREABLE(t99) OR FIREABLE(t98) OR FIREABLE(t97) OR FIREABLE(t96) OR FIREABLE(t95) OR FIREABLE(t94) OR FIREABLE(t93) OR FIREABLE(t92) OR FIREABLE(t91) OR FIREABLE(t90) OR FIREABLE(t89) OR FIREABLE(t88) OR FIREABLE(t87) OR FIREABLE(t86) OR FIREABLE(t85) OR FIREABLE(t84) OR FIREABLE(t83)) U G (F (FIREABLE(t244)))))) : A (F (((FIREABLE(t244) U FIREABLE(t244)) U (FIREABLE(t347) OR FIREABLE(t346) OR FIREABLE(t345) OR FIREABLE(t344) OR FIREABLE(t343) OR FIREABLE(t342) OR FIREABLE(t341) OR FIREABLE(t340) OR FIREABLE(t339) OR FIREABLE(t338) OR FIREABLE(t337) OR FIREABLE(t336) OR FIREABLE(t335) OR FIREABLE(t334) OR FIREABLE(t333) OR FIREABLE(t332) OR FIREABLE(t331) OR FIREABLE(t330) OR FIREABLE(t329) OR FIREABLE(t328))))) : A (F (F (X ((FIREABLE(t327) U (FIREABLE(t1227) OR FIREABLE(t1226) OR FIREABLE(t1225) OR FIREABLE(t1224) OR FIREABLE(t1223) OR FIREABLE(t1222) OR FIREABLE(t1221) OR FIREABLE(t1220) OR FIREABLE(t1219) OR FIREABLE(t1218) OR FIREABLE(t1217) OR FIREABLE(t1216) OR FIREABLE(t1215) OR FIREABLE(t1214) OR FIREABLE(t1213) OR FIREABLE(t1212) OR FIREABLE(t1211) OR FIREABLE(t1210) OR FIREABLE(t1209) OR FIREABLE(t1208) OR FIREABLE(t1207) OR FIREABLE(t1206) OR FIREABLE(t1205) OR FIREABLE(t1204) OR FIREABLE(t1203) OR FIREABLE(t1202) OR FIREABLE(t1201) OR FIREABLE(t1200) OR FIREABLE(t1199) OR FIREABLE(t1198) OR FIREABLE(t1197) OR FIREABLE(t1196) OR FIREABLE(t1195) OR FIREABLE(t1194) OR FIREABLE(t1193) OR FIREABLE(t1192) OR FIREABLE(t1191) OR FIREABLE(t1190) OR FIREABLE(t1189) OR FIREABLE(t1188) OR FIREABLE(t1187) OR FIREABLE(t1186) OR FIREABLE(t1185) OR FIREABLE(t1184) OR FIREABLE(t1183) OR FIREABLE(t1182) OR FIREABLE(t1181) OR FIREABLE(t1180) OR FIREABLE(t1179) OR FIREABLE(t1178) OR FIREABLE(t1177) OR FIREABLE(t1176) OR FIREABLE(t1175) OR FIREABLE(t1174) OR FIREABLE(t1173) OR FIREABLE(t1172) OR FIREABLE(t1171) OR FIREABLE(t1170) OR FIREABLE(t1169) OR FIREABLE(t1168) OR FIREABLE(t1167) OR FIREABLE(t1166) OR FIREABLE(t1165) OR FIREABLE(t1164) OR FIREABLE(t1163) OR FIREABLE(t1162) OR FIREABLE(t1161) OR FIREABLE(t1160) OR FIREABLE(t1159) OR FIREABLE(t1158) OR FIREABLE(t1157) OR FIREABLE(t1156) OR FIREABLE(t1155) OR FIREABLE(t1154) OR FIREABLE(t1153) OR FIREABLE(t1152) OR FIREABLE(t1151) OR FIREABLE(t1150) OR FIREABLE(t1149) OR FIREABLE(t1148) OR FIREABLE(t1147) OR FIREABLE(t1146) OR FIREABLE(t1145) OR FIREABLE(t1144) OR FIREABLE(t1143) OR FIREABLE(t1142) OR FIREABLE(t1141) OR FIREABLE(t1140) OR FIREABLE(t1139) OR FIREABLE(t1138) OR FIREABLE(t1137) OR FIREABLE(t1136) OR FIREABLE(t1135) OR FIREABLE(t1134) OR FIREABLE(t1133) OR FIREABLE(t1132) OR FIREABLE(t1131) OR FIREABLE(t1130) OR FIREABLE(t1129) OR FIREABLE(t1128) OR FIREABLE(t1127) OR FIREABLE(t1126) OR FIREABLE(t1125) OR FIREABLE(t1124) OR FIREABLE(t1123) OR FIREABLE(t1122) OR FIREABLE(t1121) OR FIREABLE(t1120) OR FIREABLE(t1119) OR FIREABLE(t1118) OR FIREABLE(t1117) OR FIREABLE(t1116) OR FIREABLE(t1115) OR FIREABLE(t1114) OR FIREABLE(t1113) OR FIREABLE(t1112) OR FIREABLE(t1111) OR FIREABLE(t1110) OR FIREABLE(t1109) OR FIREABLE(t1108) OR FIREABLE(t1107) OR FIREABLE(t1106) OR FIREABLE(t1105) OR FIREABLE(t1104) OR FIREABLE(t1103) OR FIREABLE(t1102) OR FIREABLE(t1101) OR FIREABLE(t1100) OR FIREABLE(t1099) OR FIREABLE(t1098) OR FIREABLE(t1097) OR FIREABLE(t1096) OR FIREABLE(t1095) OR FIREABLE(t1094) OR FIREABLE(t1093) OR FIREABLE(t1092) OR FIREABLE(t1091) OR FIREABLE(t1090) OR FIREABLE(t1089) OR FIREABLE(t1088) OR FIREABLE(t1087) OR FIREABLE(t1086) OR FIREABLE(t1085) OR FIREABLE(t1084) OR FIREABLE(t1083) OR FIREABLE(t1082) OR FIREABLE(t1081) OR FIREABLE(t1080) OR FIREABLE(t1079) OR FIREABLE(t1078) OR FIREABLE(t1077) OR FIREABLE(t1076) OR FIREABLE(t1075) OR FIREABLE(t1074) OR FIREABLE(t1073) OR FIREABLE(t1072) OR FIREABLE(t1071) OR FIREABLE(t1070) OR FIREABLE(t1069) OR FIREABLE(t1068) OR FIREABLE(t1067) OR FIREABLE(t1066) OR FIREABLE(t1065) OR FIREABLE(t1064) OR FIREABLE(t1063) OR FIREABLE(t1062) OR FIREABLE(t1061) OR FIREABLE(t1060) OR FIREABLE(t1059) OR FIREABLE(t1058) OR FIREABLE(t1057) OR FIREABLE(t1056) OR FIREABLE(t1055) OR FIREABLE(t1054) OR FIREABLE(t1053) OR FIREABLE(t1052) OR FIREABLE(t1051) OR FIREABLE(t1050) OR FIREABLE(t1049) OR FIREABLE(t1048) OR FIREABLE(t1047) OR FIREABLE(t1046) OR FIREABLE(t1045) OR FIREABLE(t1044) OR FIREABLE(t1043) OR FIREABLE(t1042) OR FIREABLE(t1041) OR FIREABLE(t1040) OR FIREABLE(t1039) OR FIREABLE(t1038) OR FIREABLE(t1037) OR FIREABLE(t1036) OR FIREABLE(t1035) OR FIREABLE(t1034) OR FIREABLE(t1033) OR FIREABLE(t1032) OR FIREABLE(t1031) OR FIREABLE(t1030) OR FIREABLE(t1029) OR FIREABLE(t1028) OR FIREABLE(t1027) OR FIREABLE(t1026) OR FIREABLE(t1025) OR FIREABLE(t1024) OR FIREABLE(t1023) OR FIREABLE(t1022) OR FIREABLE(t1021) OR FIREABLE(t1020) OR FIREABLE(t1019) OR FIREABLE(t1018) OR FIREABLE(t1017) OR FIREABLE(t1016) OR FIREABLE(t1015) OR FIREABLE(t1014) OR FIREABLE(t1013) OR FIREABLE(t1012) OR FIREABLE(t1011) OR FIREABLE(t1010) OR FIREABLE(t1009) OR FIREABLE(t1008) OR FIREABLE(t1007) OR FIREABLE(t1006) OR FIREABLE(t1005) OR FIREABLE(t1004) OR FIREABLE(t1003) OR FIREABLE(t1002) OR FIREABLE(t1001) OR FIREABLE(t1000) OR FIREABLE(t999) OR FIREABLE(t998) OR FIREABLE(t997) OR FIREABLE(t996) OR FIREABLE(t995) OR FIREABLE(t994) OR FIREABLE(t993) OR FIREABLE(t992) OR FIREABLE(t991) OR FIREABLE(t990) OR FIREABLE(t989) OR FIREABLE(t988) OR FIREABLE(t987) OR FIREABLE(t986) OR FIREABLE(t985) OR FIREABLE(t984) OR FIREABLE(t983) OR FIREABLE(t982) OR FIREABLE(t981) OR FIREABLE(t980) OR FIREABLE(t979) OR FIREABLE(t978) OR FIREABLE(t977) OR FIREABLE(t976) OR FIREABLE(t975) OR FIREABLE(t974) OR FIREABLE(t973) OR FIREABLE(t972) OR FIREABLE(t971) OR FIREABLE(t970) OR FIREABLE(t969) OR FIREABLE(t968) OR FIREABLE(t967) OR FIREABLE(t966) OR FIREABLE(t965) OR FIREABLE(t964) OR FIREABLE(t963) OR FIREABLE(t962) OR FIREABLE(t961) OR FIREABLE(t960) OR FIREABLE(t959) OR FIREABLE(t958) OR FIREABLE(t957) OR FIREABLE(t956) OR FIREABLE(t955) OR FIREABLE(t954) OR FIREABLE(t953) OR FIREABLE(t952) OR FIREABLE(t951) OR FIREABLE(t950) OR FIREABLE(t949) OR FIREABLE(t948) OR FIREABLE(t947) OR FIREABLE(t946) OR FIREABLE(t945) OR FIREABLE(t944) OR FIREABLE(t943) OR FIREABLE(t942) OR FIREABLE(t941) OR FIREABLE(t940) OR FIREABLE(t939) OR FIREABLE(t938) OR FIREABLE(t937) OR FIREABLE(t936) OR FIREABLE(t935) OR FIREABLE(t934) OR FIREABLE(t933) OR FIREABLE(t932) OR FIREABLE(t931) OR FIREABLE(t930) OR FIREABLE(t929) OR FIREABLE(t928) OR FIREABLE(t927) OR FIREABLE(t926) OR FIREABLE(t925) OR FIREABLE(t924) OR FIREABLE(t923) OR FIREABLE(t922) OR FIREABLE(t921) OR FIREABLE(t920) OR FIREABLE(t919) OR FIREABLE(t918) OR FIREABLE(t917) OR FIREABLE(t916) OR FIREABLE(t915) OR FIREABLE(t914) OR FIREABLE(t913) OR FIREABLE(t912) OR FIREABLE(t911) OR FIREABLE(t910) OR FIREABLE(t909) OR FIREABLE(t908) OR FIREABLE(t907) OR FIREABLE(t906) OR FIREABLE(t905) OR FIREABLE(t904) OR FIREABLE(t903) OR FIREABLE(t902) OR FIREABLE(t901) OR FIREABLE(t900) OR FIREABLE(t899) OR FIREABLE(t898) OR FIREABLE(t897) OR FIREABLE(t896) OR FIREABLE(t895) OR FIREABLE(t894) OR FIREABLE(t893) OR FIREABLE(t892) OR FIREABLE(t891) OR FIREABLE(t890) OR FIREABLE(t889) OR FIREABLE(t888) OR FIREABLE(t887) OR FIREABLE(t886) OR FIREABLE(t885) OR FIREABLE(t884) OR FIREABLE(t883) OR FIREABLE(t882) OR FIREABLE(t881) OR FIREABLE(t880) OR FIREABLE(t879) OR FIREABLE(t878) OR FIREABLE(t877) OR FIREABLE(t876) OR FIREABLE(t875) OR FIREABLE(t874) OR FIREABLE(t873) OR FIREABLE(t872) OR FIREABLE(t871) OR FIREABLE(t870) OR FIREABLE(t869) OR FIREABLE(t868) OR FIREABLE(t867) OR FIREABLE(t866) OR FIREABLE(t865) OR FIREABLE(t864) OR FIREABLE(t863) OR FIREABLE(t862) OR FIREABLE(t861) OR FIREABLE(t860) OR FIREABLE(t859) OR FIREABLE(t858) OR FIREABLE(t857) OR FIREABLE(t856) OR FIREABLE(t855) OR FIREABLE(t854) OR FIREABLE(t853) OR FIREABLE(t852) OR FIREABLE(t851) OR FIREABLE(t850) OR FIREABLE(t849) OR FIREABLE(t848) OR FIREABLE(t847) OR FIREABLE(t846) OR FIREABLE(t845) OR FIREABLE(t844) OR FIREABLE(t843) OR FIREABLE(t842) OR FIREABLE(t841) OR FIREABLE(t840) OR FIREABLE(t839) OR FIREABLE(t838) OR FIREABLE(t837) OR FIREABLE(t836) OR FIREABLE(t835) OR FIREABLE(t834) OR FIREABLE(t833) OR FIREABLE(t832) OR FIREABLE(t831) OR FIREABLE(t830) OR FIREABLE(t829) OR FIREABLE(t828) OR FIREABLE(t827) OR FIREABLE(t826) OR FIREABLE(t825) OR FIREABLE(t824) OR FIREABLE(t823) OR FIREABLE(t822) OR FIREABLE(t821) OR FIREABLE(t820) OR FIREABLE(t819) OR FIREABLE(t818) OR FIREABLE(t817) OR FIREABLE(t816) OR FIREABLE(t815) OR FIREABLE(t814) OR FIREABLE(t813) OR FIREABLE(t812) OR FIREABLE(t811) OR FIREABLE(t810) OR FIREABLE(t809) OR FIREABLE(t808) OR FIREABLE(t807) OR FIREABLE(t806) OR FIREABLE(t805) OR FIREABLE(t804) OR FIREABLE(t803) OR FIREABLE(t802) OR FIREABLE(t801) OR FIREABLE(t800) OR FIREABLE(t799) OR FIREABLE(t798) OR FIREABLE(t797) OR FIREABLE(t796) OR FIREABLE(t795) OR FIREABLE(t794) OR FIREABLE(t793) OR FIREABLE(t792) OR FIREABLE(t791) OR FIREABLE(t790) OR FIREABLE(t789) OR FIREABLE(t788) OR FIREABLE(t787) OR FIREABLE(t786) OR FIREABLE(t785) OR FIREABLE(t784) OR FIREABLE(t783) OR FIREABLE(t782) OR FIREABLE(t781) OR FIREABLE(t780) OR FIREABLE(t779) OR FIREABLE(t778) OR FIREABLE(t777) OR FIREABLE(t776) OR FIREABLE(t775) OR FIREABLE(t774) OR FIREABLE(t773) OR FIREABLE(t772) OR FIREABLE(t771) OR FIREABLE(t770) OR FIREABLE(t769) OR FIREABLE(t768) OR FIREABLE(t767) OR FIREABLE(t766) OR FIREABLE(t765) OR FIREABLE(t764) OR FIREABLE(t763) OR FIREABLE(t762) OR FIREABLE(t761) OR FIREABLE(t760) OR FIREABLE(t759) OR FIREABLE(t758) OR FIREABLE(t757) OR FIREABLE(t756) OR FIREABLE(t755) OR FIREABLE(t754) OR FIREABLE(t753) OR FIREABLE(t752) OR FIREABLE(t751) OR FIREABLE(t750) OR FIREABLE(t749) OR FIREABLE(t748) OR FIREABLE(t747) OR FIREABLE(t746) OR FIREABLE(t745) OR FIREABLE(t744) OR FIREABLE(t743) OR FIREABLE(t742) OR FIREABLE(t741) OR FIREABLE(t740) OR FIREABLE(t739) OR FIREABLE(t738) OR FIREABLE(t737) OR FIREABLE(t736) OR FIREABLE(t735) OR FIREABLE(t734) OR FIREABLE(t733) OR FIREABLE(t732) OR FIREABLE(t731) OR FIREABLE(t730) OR FIREABLE(t729) OR FIREABLE(t728) OR FIREABLE(t727) OR FIREABLE(t726) OR FIREABLE(t725) OR FIREABLE(t724) OR FIREABLE(t723) OR FIREABLE(t722) OR FIREABLE(t721) OR FIREABLE(t720) OR FIREABLE(t719) OR FIREABLE(t718) OR FIREABLE(t717) OR FIREABLE(t716) OR FIREABLE(t715) OR FIREABLE(t714) OR FIREABLE(t713) OR FIREABLE(t712) OR FIREABLE(t711) OR FIREABLE(t710) OR FIREABLE(t709) OR FIREABLE(t708) OR FIREABLE(t707) OR FIREABLE(t706) OR FIREABLE(t705) OR FIREABLE(t704) OR FIREABLE(t703) OR FIREABLE(t702) OR FIREABLE(t701) OR FIREABLE(t700) OR FIREABLE(t699) OR FIREABLE(t698) OR FIREABLE(t697) OR FIREABLE(t696) OR FIREABLE(t695) OR FIREABLE(t694) OR FIREABLE(t693) OR FIREABLE(t692) OR FIREABLE(t691) OR FIREABLE(t690) OR FIREABLE(t689) OR FIREABLE(t688) OR FIREABLE(t687) OR FIREABLE(t686) OR FIREABLE(t685) OR FIREABLE(t684) OR FIREABLE(t683) OR FIREABLE(t682) OR FIREABLE(t681) OR FIREABLE(t680) OR FIREABLE(t679) OR FIREABLE(t678) OR FIREABLE(t677) OR FIREABLE(t676) OR FIREABLE(t675) OR FIREABLE(t674) OR FIREABLE(t673) OR FIREABLE(t672) OR FIREABLE(t671) OR FIREABLE(t670) OR FIREABLE(t669) OR FIREABLE(t668) OR FIREABLE(t667) OR FIREABLE(t666) OR FIREABLE(t665) OR FIREABLE(t664) OR FIREABLE(t663) OR FIREABLE(t662) OR FIREABLE(t661) OR FIREABLE(t660) OR FIREABLE(t659) OR FIREABLE(t658) OR FIREABLE(t657) OR FIREABLE(t656) OR FIREABLE(t655) OR FIREABLE(t654) OR FIREABLE(t653) OR FIREABLE(t652) OR FIREABLE(t651) OR FIREABLE(t650) OR FIREABLE(t649) OR FIREABLE(t648) OR FIREABLE(t647) OR FIREABLE(t646) OR FIREABLE(t645) OR FIREABLE(t644) OR FIREABLE(t643) OR FIREABLE(t642) OR FIREABLE(t641) OR FIREABLE(t640) OR FIREABLE(t639) OR FIREABLE(t638) OR FIREABLE(t637) OR FIREABLE(t636) OR FIREABLE(t635) OR FIREABLE(t634) OR FIREABLE(t633) OR FIREABLE(t632) OR FIREABLE(t631) OR FIREABLE(t630) OR FIREABLE(t629) OR FIREABLE(t628) OR FIREABLE(t627) OR FIREABLE(t626) OR FIREABLE(t625) OR FIREABLE(t624) OR FIREABLE(t623) OR FIREABLE(t622) OR FIREABLE(t621) OR FIREABLE(t620) OR FIREABLE(t619) OR FIREABLE(t618) OR FIREABLE(t617) OR FIREABLE(t616) OR FIREABLE(t615) OR FIREABLE(t614) OR FIREABLE(t613) OR FIREABLE(t612) OR FIREABLE(t611) OR FIREABLE(t610) OR FIREABLE(t609) OR FIREABLE(t608) OR FIREABLE(t607) OR FIREABLE(t606) OR FIREABLE(t605) OR FIREABLE(t604) OR FIREABLE(t603) OR FIREABLE(t602) OR FIREABLE(t601) OR FIREABLE(t600) OR FIREABLE(t599) OR FIREABLE(t598) OR FIREABLE(t597) OR FIREABLE(t596) OR FIREABLE(t595) OR FIREABLE(t594) OR FIREABLE(t593) OR FIREABLE(t592) OR FIREABLE(t591) OR FIREABLE(t590) OR FIREABLE(t589) OR FIREABLE(t588) OR FIREABLE(t587) OR FIREABLE(t586) OR FIREABLE(t585) OR FIREABLE(t584) OR FIREABLE(t583) OR FIREABLE(t582) OR FIREABLE(t581) OR FIREABLE(t580) OR FIREABLE(t579) OR FIREABLE(t578) OR FIREABLE(t577) OR FIREABLE(t576) OR FIREABLE(t575) OR FIREABLE(t574) OR FIREABLE(t573) OR FIREABLE(t572) OR FIREABLE(t571) OR FIREABLE(t570) OR FIREABLE(t569) OR FIREABLE(t568) OR FIREABLE(t567) OR FIREABLE(t566) OR FIREABLE(t565) OR FIREABLE(t564) OR FIREABLE(t563) OR FIREABLE(t562) OR FIREABLE(t561) OR FIREABLE(t560) OR FIREABLE(t559) OR FIREABLE(t558) OR FIREABLE(t557) OR FIREABLE(t556) OR FIREABLE(t555) OR FIREABLE(t554) OR FIREABLE(t553) OR FIREABLE(t552) OR FIREABLE(t551) OR FIREABLE(t550) OR FIREABLE(t549) OR FIREABLE(t548) OR FIREABLE(t547) OR FIREABLE(t546) OR FIREABLE(t545) OR FIREABLE(t544) OR FIREABLE(t543) OR FIREABLE(t542) OR FIREABLE(t541) OR FIREABLE(t540) OR FIREABLE(t539) OR FIREABLE(t538) OR FIREABLE(t537) OR FIREABLE(t536) OR FIREABLE(t535) OR FIREABLE(t534) OR FIREABLE(t533) OR FIREABLE(t532) OR FIREABLE(t531) OR FIREABLE(t530) OR FIREABLE(t529) OR FIREABLE(t528) OR FIREABLE(t527) OR FIREABLE(t526) OR FIREABLE(t525) OR FIREABLE(t524) OR FIREABLE(t523) OR FIREABLE(t522) OR FIREABLE(t521) OR FIREABLE(t520) OR FIREABLE(t519) OR FIREABLE(t518) OR FIREABLE(t517) OR FIREABLE(t516) OR FIREABLE(t515) OR FIREABLE(t514) OR FIREABLE(t513) OR FIREABLE(t512) OR FIREABLE(t511) OR FIREABLE(t510) OR FIREABLE(t509) OR FIREABLE(t508) OR FIREABLE(t507) OR FIREABLE(t506) OR FIREABLE(t505) OR FIREABLE(t504) OR FIREABLE(t503) OR FIREABLE(t502) OR FIREABLE(t501) OR FIREABLE(t500) OR FIREABLE(t499) OR FIREABLE(t498) OR FIREABLE(t497) OR FIREABLE(t496) OR FIREABLE(t495) OR FIREABLE(t494) OR FIREABLE(t493) OR FIREABLE(t492) OR FIREABLE(t491) OR FIREABLE(t490) OR FIREABLE(t489) OR FIREABLE(t488) OR FIREABLE(t487) OR FIREABLE(t486) OR FIREABLE(t485) OR FIREABLE(t484) OR FIREABLE(t483) OR FIREABLE(t482) OR FIREABLE(t481) OR FIREABLE(t480) OR FIREABLE(t479) OR FIREABLE(t478) OR FIREABLE(t477) OR FIREABLE(t476) OR FIREABLE(t475) OR FIREABLE(t474) OR FIREABLE(t473) OR FIREABLE(t472) OR FIREABLE(t471) OR FIREABLE(t470) OR FIREABLE(t469) OR FIREABLE(t468) OR FIREABLE(t467) OR FIREABLE(t466) OR FIREABLE(t465) OR FIREABLE(t464) OR FIREABLE(t463) OR FIREABLE(t462) OR FIREABLE(t461) OR FIREABLE(t460) OR FIREABLE(t459) OR FIREABLE(t458) OR FIREABLE(t457) OR FIREABLE(t456) OR FIREABLE(t455) OR FIREABLE(t454) OR FIREABLE(t453) OR FIREABLE(t452) OR FIREABLE(t451) OR FIREABLE(t450) OR FIREABLE(t449) OR FIREABLE(t448) OR FIREABLE(t447) OR FIREABLE(t446) OR FIREABLE(t445) OR FIREABLE(t444) OR FIREABLE(t443) OR FIREABLE(t442) OR FIREABLE(t441) OR FIREABLE(t440) OR FIREABLE(t439) OR FIREABLE(t438) OR FIREABLE(t437) OR FIREABLE(t436) OR FIREABLE(t435) OR FIREABLE(t434) OR FIREABLE(t433) OR FIREABLE(t432) OR FIREABLE(t431) OR FIREABLE(t430) OR FIREABLE(t429) OR FIREABLE(t428) OR FIREABLE(t427) OR FIREABLE(t426) OR FIREABLE(t425) OR FIREABLE(t424) OR FIREABLE(t423) OR FIREABLE(t422) OR FIREABLE(t421) OR FIREABLE(t420) OR FIREABLE(t419) OR FIREABLE(t418) OR FIREABLE(t417) OR FIREABLE(t416) OR FIREABLE(t415) OR FIREABLE(t414) OR FIREABLE(t413) OR FIREABLE(t412) OR FIREABLE(t411) OR FIREABLE(t410) OR FIREABLE(t409) OR FIREABLE(t408) OR FIREABLE(t407) OR FIREABLE(t406) OR FIREABLE(t405) OR FIREABLE(t404) OR FIREABLE(t403) OR FIREABLE(t402) OR FIREABLE(t401) OR FIREABLE(t400) OR FIREABLE(t399) OR FIREABLE(t398) OR FIREABLE(t397) OR FIREABLE(t396) OR FIREABLE(t395) OR FIREABLE(t394) OR FIREABLE(t393) OR FIREABLE(t392) OR FIREABLE(t391) OR FIREABLE(t390) OR FIREABLE(t389) OR FIREABLE(t388) OR FIREABLE(t387) OR FIREABLE(t386) OR FIREABLE(t385) OR FIREABLE(t384) OR FIREABLE(t383) OR FIREABLE(t382) OR FIREABLE(t381) OR FIREABLE(t380) OR FIREABLE(t379) OR FIREABLE(t378) OR FIREABLE(t377) OR FIREABLE(t376) OR FIREABLE(t375) OR FIREABLE(t374) OR FIREABLE(t373) OR FIREABLE(t372) OR FIREABLE(t371) OR FIREABLE(t370) OR FIREABLE(t369) OR FIREABLE(t368) OR FIREABLE(t367) OR FIREABLE(t366) OR FIREABLE(t365) OR FIREABLE(t364) OR FIREABLE(t363) OR FIREABLE(t362) OR FIREABLE(t361) OR FIREABLE(t360) OR FIREABLE(t359) OR FIREABLE(t358) OR FIREABLE(t357) OR FIREABLE(t356) OR FIREABLE(t355) OR FIREABLE(t354) OR FIREABLE(t353) OR FIREABLE(t352) OR FIREABLE(t351) OR FIREABLE(t350) OR FIREABLE(t349) OR FIREABLE(t348))))))) : A (F (F (G (X (X ((FIREABLE(t82) OR FIREABLE(t81)))))))) : A (G (((FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIREABLE(t60) OR FIREABLE(t59) OR FIREABLE(t58) OR FIREABLE(t57) OR FIREABLE(t56) OR FIREABLE(t55) OR FIREABLE(t54) OR FIREABLE(t53) OR FIREABLE(t52) OR FIREABLE(t51) OR FIREABLE(t50) OR FIREABLE(t49) OR FIREABLE(t48) OR FIREABLE(t47) OR FIREABLE(t46) OR FIREABLE(t45) OR FIREABLE(t44) OR FIREABLE(t43) OR FIREABLE(t42) OR FIREABLE(t41) OR FIREABLE(t40) OR FIREABLE(t39) OR FIREABLE(t38) OR FIREABLE(t37) OR FIREABLE(t36) OR FIREABLE(t35) OR FIREABLE(t34) OR FIREABLE(t33) OR FIREABLE(t32) OR FIREABLE(t31) OR FIREABLE(t30) OR FIREABLE(t29) OR FIREABLE(t28) OR FIREABLE(t27) OR FIREABLE(t26) OR FIREABLE(t25) OR FIREABLE(t24) OR FIREABLE(t23) OR FIREABLE(t22) OR FIREABLE(t21) OR FIREABLE(t20) OR FIREABLE(t19) OR FIREABLE(t18) OR FIREABLE(t17) OR FIREABLE(t16) OR FIREABLE(t15) OR FIREABLE(t14) OR FIREABLE(t13) OR FIREABLE(t12) OR FIREABLE(t11) OR FIREABLE(t10) OR FIREABLE(t9) OR FIREABLE(t8) OR FIREABLE(t7) OR FIREABLE(t6) OR FIREABLE(t5) OR FIREABLE(t4) OR FIREABLE(t3) OR FIREABLE(t2) OR FIREABLE(t1) OR FIREABLE(t0)) U FIREABLE(t244)))) : A (((FIREABLE(t1227) OR FIREABLE(t1226) OR FIREABLE(t1225) OR FIREABLE(t1224) OR FIREABLE(t1223) OR FIREABLE(t1222) OR FIREABLE(t1221) OR FIREABLE(t1220) OR FIREABLE(t1219) OR FIREABLE(t1218) OR FIREABLE(t1217) OR FIREABLE(t1216) OR FIREABLE(t1215) OR FIREABLE(t1214) OR FIREABLE(t1213) OR FIREABLE(t1212) OR FIREABLE(t1211) OR FIREABLE(t1210) OR FIREABLE(t1209) OR FIREABLE(t1208) OR FIREABLE(t1207) OR FIREABLE(t1206) OR FIREABLE(t1205) OR FIREABLE(t1204) OR FIREABLE(t1203) OR FIREABLE(t1202) OR FIREABLE(t1201) OR FIREABLE(t1200) OR FIREABLE(t1199) OR FIREABLE(t1198) OR FIREABLE(t1197) OR FIREABLE(t1196) OR FIREABLE(t1195) OR FIREABLE(t1194) OR FIREABLE(t1193) OR FIREABLE(t1192) OR FIREABLE(t1191) OR FIREABLE(t1190) OR FIREABLE(t1189) OR FIREABLE(t1188) OR FIREABLE(t1187) OR FIREABLE(t1186) OR FIREABLE(t1185) OR FIREABLE(t1184) OR FIREABLE(t1183) OR FIREABLE(t1182) OR FIREABLE(t1181) OR FIREABLE(t1180) OR FIREABLE(t1179) OR FIREABLE(t1178) OR FIREABLE(t1177) OR FIREABLE(t1176) OR FIREABLE(t1175) OR FIREABLE(t1174) OR FIREABLE(t1173) OR FIREABLE(t1172) OR FIREABLE(t1171) OR FIREABLE(t1170) OR FIREABLE(t1169) OR FIREABLE(t1168) OR FIREABLE(t1167) OR FIREABLE(t1166) OR FIREABLE(t1165) OR FIREABLE(t1164) OR FIREABLE(t1163) OR FIREABLE(t1162) OR FIREABLE(t1161) OR FIREABLE(t1160) OR FIREABLE(t1159) OR FIREABLE(t1158) OR FIREABLE(t1157) OR FIREABLE(t1156) OR FIREABLE(t1155) OR FIREABLE(t1154) OR FIREABLE(t1153) OR FIREABLE(t1152) OR FIREABLE(t1151) OR FIREABLE(t1150) OR FIREABLE(t1149) OR FIREABLE(t1148) OR FIREABLE(t1147) OR FIREABLE(t1146) OR FIREABLE(t1145) OR FIREABLE(t1144) OR FIREABLE(t1143) OR FIREABLE(t1142) OR FIREABLE(t1141) OR FIREABLE(t1140) OR FIREABLE(t1139) OR FIREABLE(t1138) OR FIREABLE(t1137) OR FIREABLE(t1136) OR FIREABLE(t1135) OR FIREABLE(t1134) OR FIREABLE(t1133) OR FIREABLE(t1132) OR FIREABLE(t1131) OR FIREABLE(t1130) OR FIREABLE(t1129) OR FIREABLE(t1128) OR FIREABLE(t1127) OR FIREABLE(t1126) OR FIREABLE(t1125) OR FIREABLE(t1124) OR FIREABLE(t1123) OR FIREABLE(t1122) OR FIREABLE(t1121) OR FIREABLE(t1120) OR FIREABLE(t1119) OR FIREABLE(t1118) OR FIREABLE(t1117) OR FIREABLE(t1116) OR FIREABLE(t1115) OR FIREABLE(t1114) OR FIREABLE(t1113) OR FIREABLE(t1112) OR FIREABLE(t1111) OR FIREABLE(t1110) OR FIREABLE(t1109) OR FIREABLE(t1108) OR FIREABLE(t1107) OR FIREABLE(t1106) OR FIREABLE(t1105) OR FIREABLE(t1104) OR FIREABLE(t1103) OR FIREABLE(t1102) OR FIREABLE(t1101) OR FIREABLE(t1100) OR FIREABLE(t1099) OR FIREABLE(t1098) OR FIREABLE(t1097) OR FIREABLE(t1096) OR FIREABLE(t1095) OR FIREABLE(t1094) OR FIREABLE(t1093) OR FIREABLE(t1092) OR FIREABLE(t1091) OR FIREABLE(t1090) OR FIREABLE(t1089) OR FIREABLE(t1088) OR FIREABLE(t1087) OR FIREABLE(t1086) OR FIREABLE(t1085) OR FIREABLE(t1084) OR FIREABLE(t1083) OR FIREABLE(t1082) OR FIREABLE(t1081) OR FIREABLE(t1080) OR FIREABLE(t1079) OR FIREABLE(t1078) OR FIREABLE(t1077) OR FIREABLE(t1076) OR FIREABLE(t1075) OR FIREABLE(t1074) OR FIREABLE(t1073) OR FIREABLE(t1072) OR FIREABLE(t1071) OR FIREABLE(t1070) OR FIREABLE(t1069) OR FIREABLE(t1068) OR FIREABLE(t1067) OR FIREABLE(t1066) OR FIREABLE(t1065) OR FIREABLE(t1064) OR FIREABLE(t1063) OR FIREABLE(t1062) OR FIREABLE(t1061) OR FIREABLE(t1060) OR FIREABLE(t1059) OR FIREABLE(t1058) OR FIREABLE(t1057) OR FIREABLE(t1056) OR FIREABLE(t1055) OR FIREABLE(t1054) OR FIREABLE(t1053) OR FIREABLE(t1052) OR FIREABLE(t1051) OR FIREABLE(t1050) OR FIREABLE(t1049) OR FIREABLE(t1048) OR FIREABLE(t1047) OR FIREABLE(t1046) OR FIREABLE(t1045) OR FIREABLE(t1044) OR FIREABLE(t1043) OR FIREABLE(t1042) OR FIREABLE(t1041) OR FIREABLE(t1040) OR FIREABLE(t1039) OR FIREABLE(t1038) OR FIREABLE(t1037) OR FIREABLE(t1036) OR FIREABLE(t1035) OR FIREABLE(t1034) OR FIREABLE(t1033) OR FIREABLE(t1032) OR FIREABLE(t1031) OR FIREABLE(t1030) OR FIREABLE(t1029) OR FIREABLE(t1028) OR FIREABLE(t1027) OR FIREABLE(t1026) OR FIREABLE(t1025) OR FIREABLE(t1024) OR FIREABLE(t1023) OR FIREABLE(t1022) OR FIREABLE(t1021) OR FIREABLE(t1020) OR FIREABLE(t1019) OR FIREABLE(t1018) OR FIREABLE(t1017) OR FIREABLE(t1016) OR FIREABLE(t1015) OR FIREABLE(t1014) OR FIREABLE(t1013) OR FIREABLE(t1012) OR FIREABLE(t1011) OR FIREABLE(t1010) OR FIREABLE(t1009) OR FIREABLE(t1008) OR FIREABLE(t1007) OR FIREABLE(t1006) OR FIREABLE(t1005) OR FIREABLE(t1004) OR FIREABLE(t1003) OR FIREABLE(t1002) OR FIREABLE(t1001) OR FIREABLE(t1000) OR FIREABLE(t999) OR FIREABLE(t998) OR FIREABLE(t997) OR FIREABLE(t996) OR FIREABLE(t995) OR FIREABLE(t994) OR FIREABLE(t993) OR FIREABLE(t992) OR FIREABLE(t991) OR FIREABLE(t990) OR FIREABLE(t989) OR FIREABLE(t988) OR FIREABLE(t987) OR FIREABLE(t986) OR FIREABLE(t985) OR FIREABLE(t984) OR FIREABLE(t983) OR FIREABLE(t982) OR FIREABLE(t981) OR FIREABLE(t980) OR FIREABLE(t979) OR FIREABLE(t978) OR FIREABLE(t977) OR FIREABLE(t976) OR FIREABLE(t975) OR FIREABLE(t974) OR FIREABLE(t973) OR FIREABLE(t972) OR FIREABLE(t971) OR FIREABLE(t970) OR FIREABLE(t969) OR FIREABLE(t968) OR FIREABLE(t967) OR FIREABLE(t966) OR FIREABLE(t965) OR FIREABLE(t964) OR FIREABLE(t963) OR FIREABLE(t962) OR FIREABLE(t961) OR FIREABLE(t960) OR FIREABLE(t959) OR FIREABLE(t958) OR FIREABLE(t957) OR FIREABLE(t956) OR FIREABLE(t955) OR FIREABLE(t954) OR FIREABLE(t953) OR FIREABLE(t952) OR FIREABLE(t951) OR FIREABLE(t950) OR FIREABLE(t949) OR FIREABLE(t948) OR FIREABLE(t947) OR FIREABLE(t946) OR FIREABLE(t945) OR FIREABLE(t944) OR FIREABLE(t943) OR FIREABLE(t942) OR FIREABLE(t941) OR FIREABLE(t940) OR FIREABLE(t939) OR FIREABLE(t938) OR FIREABLE(t937) OR FIREABLE(t936) OR FIREABLE(t935) OR FIREABLE(t934) OR FIREABLE(t933) OR FIREABLE(t932) OR FIREABLE(t931) OR FIREABLE(t930) OR FIREABLE(t929) OR FIREABLE(t928) OR FIREABLE(t927) OR FIREABLE(t926) OR FIREABLE(t925) OR FIREABLE(t924) OR FIREABLE(t923) OR FIREABLE(t922) OR FIREABLE(t921) OR FIREABLE(t920) OR FIREABLE(t919) OR FIREABLE(t918) OR FIREABLE(t917) OR FIREABLE(t916) OR FIREABLE(t915) OR FIREABLE(t914) OR FIREABLE(t913) OR FIREABLE(t912) OR FIREABLE(t911) OR FIREABLE(t910) OR FIREABLE(t909) OR FIREABLE(t908) OR FIREABLE(t907) OR FIREABLE(t906) OR FIREABLE(t905) OR FIREABLE(t904) OR FIREABLE(t903) OR FIREABLE(t902) OR FIREABLE(t901) OR FIREABLE(t900) OR FIREABLE(t899) OR FIREABLE(t898) OR FIREABLE(t897) OR FIREABLE(t896) OR FIREABLE(t895) OR FIREABLE(t894) OR FIREABLE(t893) OR FIREABLE(t892) OR FIREABLE(t891) OR FIREABLE(t890) OR FIREABLE(t889) OR FIREABLE(t888) OR FIREABLE(t887) OR FIREABLE(t886) OR FIREABLE(t885) OR FIREABLE(t884) OR FIREABLE(t883) OR FIREABLE(t882) OR FIREABLE(t881) OR FIREABLE(t880) OR FIREABLE(t879) OR FIREABLE(t878) OR FIREABLE(t877) OR FIREABLE(t876) OR FIREABLE(t875) OR FIREABLE(t874) OR FIREABLE(t873) OR FIREABLE(t872) OR FIREABLE(t871) OR FIREABLE(t870) OR FIREABLE(t869) OR FIREABLE(t868) OR FIREABLE(t867) OR FIREABLE(t866) OR FIREABLE(t865) OR FIREABLE(t864) OR FIREABLE(t863) OR FIREABLE(t862) OR FIREABLE(t861) OR FIREABLE(t860) OR FIREABLE(t859) OR FIREABLE(t858) OR FIREABLE(t857) OR FIREABLE(t856) OR FIREABLE(t855) OR FIREABLE(t854) OR FIREABLE(t853) OR FIREABLE(t852) OR FIREABLE(t851) OR FIREABLE(t850) OR FIREABLE(t849) OR FIREABLE(t848) OR FIREABLE(t847) OR FIREABLE(t846) OR FIREABLE(t845) OR FIREABLE(t844) OR FIREABLE(t843) OR FIREABLE(t842) OR FIREABLE(t841) OR FIREABLE(t840) OR FIREABLE(t839) OR FIREABLE(t838) OR FIREABLE(t837) OR FIREABLE(t836) OR FIREABLE(t835) OR FIREABLE(t834) OR FIREABLE(t833) OR FIREABLE(t832) OR FIREABLE(t831) OR FIREABLE(t830) OR FIREABLE(t829) OR FIREABLE(t828) OR FIREABLE(t827) OR FIREABLE(t826) OR FIREABLE(t825) OR FIREABLE(t824) OR FIREABLE(t823) OR FIREABLE(t822) OR FIREABLE(t821) OR FIREABLE(t820) OR FIREABLE(t819) OR FIREABLE(t818) OR FIREABLE(t817) OR FIREABLE(t816) OR FIREABLE(t815) OR FIREABLE(t814) OR FIREABLE(t813) OR FIREABLE(t812) OR FIREABLE(t811) OR FIREABLE(t810) OR FIREABLE(t809) OR FIREABLE(t808) OR FIREABLE(t807) OR FIREABLE(t806) OR FIREABLE(t805) OR FIREABLE(t804) OR FIREABLE(t803) OR FIREABLE(t802) OR FIREABLE(t801) OR FIREABLE(t800) OR FIREABLE(t799) OR FIREABLE(t798) OR FIREABLE(t797) OR FIREABLE(t796) OR FIREABLE(t795) OR FIREABLE(t794) OR FIREABLE(t793) OR FIREABLE(t792) OR FIREABLE(t791) OR FIREABLE(t790) OR FIREABLE(t789) OR FIREABLE(t788) OR FIREABLE(t787) OR FIREABLE(t786) OR FIREABLE(t785) OR FIREABLE(t784) OR FIREABLE(t783) OR FIREABLE(t782) OR FIREABLE(t781) OR FIREABLE(t780) OR FIREABLE(t779) OR FIREABLE(t778) OR FIREABLE(t777) OR FIREABLE(t776) OR FIREABLE(t775) OR FIREABLE(t774) OR FIREABLE(t773) OR FIREABLE(t772) OR FIREABLE(t771) OR FIREABLE(t770) OR FIREABLE(t769) OR FIREABLE(t768) OR FIREABLE(t767) OR FIREABLE(t766) OR FIREABLE(t765) OR FIREABLE(t764) OR FIREABLE(t763) OR FIREABLE(t762) OR FIREABLE(t761) OR FIREABLE(t760) OR FIREABLE(t759) OR FIREABLE(t758) OR FIREABLE(t757) OR FIREABLE(t756) OR FIREABLE(t755) OR FIREABLE(t754) OR FIREABLE(t753) OR FIREABLE(t752) OR FIREABLE(t751) OR FIREABLE(t750) OR FIREABLE(t749) OR FIREABLE(t748) OR FIREABLE(t747) OR FIREABLE(t746) OR FIREABLE(t745) OR FIREABLE(t744) OR FIREABLE(t743) OR FIREABLE(t742) OR FIREABLE(t741) OR FIREABLE(t740) OR FIREABLE(t739) OR FIREABLE(t738) OR FIREABLE(t737) OR FIREABLE(t736) OR FIREABLE(t735) OR FIREABLE(t734) OR FIREABLE(t733) OR FIREABLE(t732) OR FIREABLE(t731) OR FIREABLE(t730) OR FIREABLE(t729) OR FIREABLE(t728) OR FIREABLE(t727) OR FIREABLE(t726) OR FIREABLE(t725) OR FIREABLE(t724) OR FIREABLE(t723) OR FIREABLE(t722) OR FIREABLE(t721) OR FIREABLE(t720) OR FIREABLE(t719) OR FIREABLE(t718) OR FIREABLE(t717) OR FIREABLE(t716) OR FIREABLE(t715) OR FIREABLE(t714) OR FIREABLE(t713) OR FIREABLE(t712) OR FIREABLE(t711) OR FIREABLE(t710) OR FIREABLE(t709) OR FIREABLE(t708) OR FIREABLE(t707) OR FIREABLE(t706) OR FIREABLE(t705) OR FIREABLE(t704) OR FIREABLE(t703) OR FIREABLE(t702) OR FIREABLE(t701) OR FIREABLE(t700) OR FIREABLE(t699) OR FIREABLE(t698) OR FIREABLE(t697) OR FIREABLE(t696) OR FIREABLE(t695) OR FIREABLE(t694) OR FIREABLE(t693) OR FIREABLE(t692) OR FIREABLE(t691) OR FIREABLE(t690) OR FIREABLE(t689) OR FIREABLE(t688) OR FIREABLE(t687) OR FIREABLE(t686) OR FIREABLE(t685) OR FIREABLE(t684) OR FIREABLE(t683) OR FIREABLE(t682) OR FIREABLE(t681) OR FIREABLE(t680) OR FIREABLE(t679) OR FIREABLE(t678) OR FIREABLE(t677) OR FIREABLE(t676) OR FIREABLE(t675) OR FIREABLE(t674) OR FIREABLE(t673) OR FIREABLE(t672) OR FIREABLE(t671) OR FIREABLE(t670) OR FIREABLE(t669) OR FIREABLE(t668) OR FIREABLE(t667) OR FIREABLE(t666) OR FIREABLE(t665) OR FIREABLE(t664) OR FIREABLE(t663) OR FIREABLE(t662) OR FIREABLE(t661) OR FIREABLE(t660) OR FIREABLE(t659) OR FIREABLE(t658) OR FIREABLE(t657) OR FIREABLE(t656) OR FIREABLE(t655) OR FIREABLE(t654) OR FIREABLE(t653) OR FIREABLE(t652) OR FIREABLE(t651) OR FIREABLE(t650) OR FIREABLE(t649) OR FIREABLE(t648) OR FIREABLE(t647) OR FIREABLE(t646) OR FIREABLE(t645) OR FIREABLE(t644) OR FIREABLE(t643) OR FIREABLE(t642) OR FIREABLE(t641) OR FIREABLE(t640) OR FIREABLE(t639) OR FIREABLE(t638) OR FIREABLE(t637) OR FIREABLE(t636) OR FIREABLE(t635) OR FIREABLE(t634) OR FIREABLE(t633) OR FIREABLE(t632) OR FIREABLE(t631) OR FIREABLE(t630) OR FIREABLE(t629) OR FIREABLE(t628) OR FIREABLE(t627) OR FIREABLE(t626) OR FIREABLE(t625) OR FIREABLE(t624) OR FIREABLE(t623) OR FIREABLE(t622) OR FIREABLE(t621) OR FIREABLE(t620) OR FIREABLE(t619) OR FIREABLE(t618) OR FIREABLE(t617) OR FIREABLE(t616) OR FIREABLE(t615) OR FIREABLE(t614) OR FIREABLE(t613) OR FIREABLE(t612) OR FIREABLE(t611) OR FIREABLE(t610) OR FIREABLE(t609) OR FIREABLE(t608) OR FIREABLE(t607) OR FIREABLE(t606) OR FIREABLE(t605) OR FIREABLE(t604) OR FIREABLE(t603) OR FIREABLE(t602) OR FIREABLE(t601) OR FIREABLE(t600) OR FIREABLE(t599) OR FIREABLE(t598) OR FIREABLE(t597) OR FIREABLE(t596) OR FIREABLE(t595) OR FIREABLE(t594) OR FIREABLE(t593) OR FIREABLE(t592) OR FIREABLE(t591) OR FIREABLE(t590) OR FIREABLE(t589) OR FIREABLE(t588) OR FIREABLE(t587) OR FIREABLE(t586) OR FIREABLE(t585) OR FIREABLE(t584) OR FIREABLE(t583) OR FIREABLE(t582) OR FIREABLE(t581) OR FIREABLE(t580) OR FIREABLE(t579) OR FIREABLE(t578) OR FIREABLE(t577) OR FIREABLE(t576) OR FIREABLE(t575) OR FIREABLE(t574) OR FIREABLE(t573) OR FIREABLE(t572) OR FIREABLE(t571) OR FIREABLE(t570) OR FIREABLE(t569) OR FIREABLE(t568) OR FIREABLE(t567) OR FIREABLE(t566) OR FIREABLE(t565) OR FIREABLE(t564) OR FIREABLE(t563) OR FIREABLE(t562) OR FIREABLE(t561) OR FIREABLE(t560) OR FIREABLE(t559) OR FIREABLE(t558) OR FIREABLE(t557) OR FIREABLE(t556) OR FIREABLE(t555) OR FIREABLE(t554) OR FIREABLE(t553) OR FIREABLE(t552) OR FIREABLE(t551) OR FIREABLE(t550) OR FIREABLE(t549) OR FIREABLE(t548) OR FIREABLE(t547) OR FIREABLE(t546) OR FIREABLE(t545) OR FIREABLE(t544) OR FIREABLE(t543) OR FIREABLE(t542) OR FIREABLE(t541) OR FIREABLE(t540) OR FIREABLE(t539) OR FIREABLE(t538) OR FIREABLE(t537) OR FIREABLE(t536) OR FIREABLE(t535) OR FIREABLE(t534) OR FIREABLE(t533) OR FIREABLE(t532) OR FIREABLE(t531) OR FIREABLE(t530) OR FIREABLE(t529) OR FIREABLE(t528) OR FIREABLE(t527) OR FIREABLE(t526) OR FIREABLE(t525) OR FIREABLE(t524) OR FIREABLE(t523) OR FIREABLE(t522) OR FIREABLE(t521) OR FIREABLE(t520) OR FIREABLE(t519) OR FIREABLE(t518) OR FIREABLE(t517) OR FIREABLE(t516) OR FIREABLE(t515) OR FIREABLE(t514) OR FIREABLE(t513) OR FIREABLE(t512) OR FIREABLE(t511) OR FIREABLE(t510) OR FIREABLE(t509) OR FIREABLE(t508) OR FIREABLE(t507) OR FIREABLE(t506) OR FIREABLE(t505) OR FIREABLE(t504) OR FIREABLE(t503) OR FIREABLE(t502) OR FIREABLE(t501) OR FIREABLE(t500) OR FIREABLE(t499) OR FIREABLE(t498) OR FIREABLE(t497) OR FIREABLE(t496) OR FIREABLE(t495) OR FIREABLE(t494) OR FIREABLE(t493) OR FIREABLE(t492) OR FIREABLE(t491) OR FIREABLE(t490) OR FIREABLE(t489) OR FIREABLE(t488) OR FIREABLE(t487) OR FIREABLE(t486) OR FIREABLE(t485) OR FIREABLE(t484) OR FIREABLE(t483) OR FIREABLE(t482) OR FIREABLE(t481) OR FIREABLE(t480) OR FIREABLE(t479) OR FIREABLE(t478) OR FIREABLE(t477) OR FIREABLE(t476) OR FIREABLE(t475) OR FIREABLE(t474) OR FIREABLE(t473) OR FIREABLE(t472) OR FIREABLE(t471) OR FIREABLE(t470) OR FIREABLE(t469) OR FIREABLE(t468) OR FIREABLE(t467) OR FIREABLE(t466) OR FIREABLE(t465) OR FIREABLE(t464) OR FIREABLE(t463) OR FIREABLE(t462) OR FIREABLE(t461) OR FIREABLE(t460) OR FIREABLE(t459) OR FIREABLE(t458) OR FIREABLE(t457) OR FIREABLE(t456) OR FIREABLE(t455) OR FIREABLE(t454) OR FIREABLE(t453) OR FIREABLE(t452) OR FIREABLE(t451) OR FIREABLE(t450) OR FIREABLE(t449) OR FIREABLE(t448) OR FIREABLE(t447) OR FIREABLE(t446) OR FIREABLE(t445) OR FIREABLE(t444) OR FIREABLE(t443) OR FIREABLE(t442) OR FIREABLE(t441) OR FIREABLE(t440) OR FIREABLE(t439) OR FIREABLE(t438) OR FIREABLE(t437) OR FIREABLE(t436) OR FIREABLE(t435) OR FIREABLE(t434) OR FIREABLE(t433) OR FIREABLE(t432) OR FIREABLE(t431) OR FIREABLE(t430) OR FIREABLE(t429) OR FIREABLE(t428) OR FIREABLE(t427) OR FIREABLE(t426) OR FIREABLE(t425) OR FIREABLE(t424) OR FIREABLE(t423) OR FIREABLE(t422) OR FIREABLE(t421) OR FIREABLE(t420) OR FIREABLE(t419) OR FIREABLE(t418) OR FIREABLE(t417) OR FIREABLE(t416) OR FIREABLE(t415) OR FIREABLE(t414) OR FIREABLE(t413) OR FIREABLE(t412) OR FIREABLE(t411) OR FIREABLE(t410) OR FIREABLE(t409) OR FIREABLE(t408) OR FIREABLE(t407) OR FIREABLE(t406) OR FIREABLE(t405) OR FIREABLE(t404) OR FIREABLE(t403) OR FIREABLE(t402) OR FIREABLE(t401) OR FIREABLE(t400) OR FIREABLE(t399) OR FIREABLE(t398) OR FIREABLE(t397) OR FIREABLE(t396) OR FIREABLE(t395) OR FIREABLE(t394) OR FIREABLE(t393) OR FIREABLE(t392) OR FIREABLE(t391) OR FIREABLE(t390) OR FIREABLE(t389) OR FIREABLE(t388) OR FIREABLE(t387) OR FIREABLE(t386) OR FIREABLE(t385) OR FIREABLE(t384) OR FIREABLE(t383) OR FIREABLE(t382) OR FIREABLE(t381) OR FIREABLE(t380) OR FIREABLE(t379) OR FIREABLE(t378) OR FIREABLE(t377) OR FIREABLE(t376) OR FIREABLE(t375) OR FIREABLE(t374) OR FIREABLE(t373) OR FIREABLE(t372) OR FIREABLE(t371) OR FIREABLE(t370) OR FIREABLE(t369) OR FIREABLE(t368) OR FIREABLE(t367) OR FIREABLE(t366) OR FIREABLE(t365) OR FIREABLE(t364) OR FIREABLE(t363) OR FIREABLE(t362) OR FIREABLE(t361) OR FIREABLE(t360) OR FIREABLE(t359) OR FIREABLE(t358) OR FIREABLE(t357) OR FIREABLE(t356) OR FIREABLE(t355) OR FIREABLE(t354) OR FIREABLE(t353) OR FIREABLE(t352) OR FIREABLE(t351) OR FIREABLE(t350) OR FIREABLE(t349) OR FIREABLE(t348)) U (FIREABLE(t82) OR FIREABLE(t81)))) : A (G ((((FIREABLE(t82) OR FIREABLE(t81)) U (FIREABLE(t162) OR FIREABLE(t161) OR FIREABLE(t160) OR FIREABLE(t159) OR FIREABLE(t158) OR FIREABLE(t157) OR FIREABLE(t156) OR FIREABLE(t155) OR FIREABLE(t154) OR FIREABLE(t153) OR FIREABLE(t152) OR FIREABLE(t151) OR FIREABLE(t150) OR FIREABLE(t149) OR FIREABLE(t148) OR FIREABLE(t147) OR FIREABLE(t146) OR FIREABLE(t145) OR FIREABLE(t144) OR FIREABLE(t143) OR FIREABLE(t142) OR FIREABLE(t141) OR FIREABLE(t140) OR FIREABLE(t139) OR FIREABLE(t138) OR FIREABLE(t137) OR FIREABLE(t136) OR FIREABLE(t135) OR FIREABLE(t134) OR FIREABLE(t133) OR FIREABLE(t132) OR FIREABLE(t131) OR FIREABLE(t130) OR FIREABLE(t129) OR FIREABLE(t128) OR FIREABLE(t127) OR FIREABLE(t126) OR FIREABLE(t125) OR FIREABLE(t124) OR FIREABLE(t123) OR FIREABLE(t122) OR FIREABLE(t121) OR FIREABLE(t120) OR FIREABLE(t119) OR FIREABLE(t118) OR FIREABLE(t117) OR FIREABLE(t116) OR FIREABLE(t115) OR FIREABLE(t114) OR FIREABLE(t113) OR FIREABLE(t112) OR FIREABLE(t111) OR FIREABLE(t110) OR FIREABLE(t109) OR FIREABLE(t108) OR FIREABLE(t107) OR FIREABLE(t106) OR FIREABLE(t105) OR FIREABLE(t104) OR FIREABLE(t103) OR FIREABLE(t102) OR FIREABLE(t101) OR FIREABLE(t100) OR FIREABLE(t99) OR FIREABLE(t98) OR FIREABLE(t97) OR FIREABLE(t96) OR FIREABLE(t95) OR FIREABLE(t94) OR FIREABLE(t93) OR FIREABLE(t92) OR FIREABLE(t91) OR FIREABLE(t90) OR FIREABLE(t89) OR FIREABLE(t88) OR FIREABLE(t87) OR FIREABLE(t86) OR FIREABLE(t85) OR FIREABLE(t84) OR FIREABLE(t83))) U (FIREABLE(t327) U (FIREABLE(t2107) OR FIREABLE(t2106) OR FIREABLE(t2105) OR FIREABLE(t2104) OR FIREABLE(t2103) OR FIREABLE(t2102) OR FIREABLE(t2101) OR FIREABLE(t2100) OR FIREABLE(t2099) OR FIREABLE(t2098) OR FIREABLE(t2097) OR FIREABLE(t2096) OR FIREABLE(t2095) OR FIREABLE(t2094) OR FIREABLE(t2093) OR FIREABLE(t2092) OR FIREABLE(t2091) OR FIREABLE(t2090) OR FIREABLE(t2089) OR FIREABLE(t2088) OR FIREABLE(t2087) OR FIREABLE(t2086) OR FIREABLE(t2085) OR FIREABLE(t2084) OR FIREABLE(t2083) OR FIREABLE(t2082) OR FIREABLE(t2081) OR FIREABLE(t2080) OR FIREABLE(t2079) OR FIREABLE(t2078) OR FIREABLE(t2077) OR FIREABLE(t2076) OR FIREABLE(t2075) OR FIREABLE(t2074) OR FIREABLE(t2073) OR FIREABLE(t2072) OR FIREABLE(t2071) OR FIREABLE(t2070) OR FIREABLE(t2069) OR FIREABLE(t2068) OR FIREABLE(t2067) OR FIREABLE(t2066) OR FIREABLE(t2065) OR FIREABLE(t2064) OR FIREABLE(t2063) OR FIREABLE(t2062) OR FIREABLE(t2061) OR FIREABLE(t2060) OR FIREABLE(t2059) OR FIREABLE(t2058) OR FIREABLE(t2057) OR FIREABLE(t2056) OR FIREABLE(t2055) OR FIREABLE(t2054) OR FIREABLE(t2053) OR FIREABLE(t2052) OR FIREABLE(t2051) OR FIREABLE(t2050) OR FIREABLE(t2049) OR FIREABLE(t2048) OR FIREABLE(t2047) OR FIREABLE(t2046) OR FIREABLE(t2045) OR FIREABLE(t2044) OR FIREABLE(t2043) OR FIREABLE(t2042) OR FIREABLE(t2041) OR FIREABLE(t2040) OR FIREABLE(t2039) OR FIREABLE(t2038) OR FIREABLE(t2037) OR FIREABLE(t2036) OR FIREABLE(t2035) OR FIREABLE(t2034) OR FIREABLE(t2033) OR FIREABLE(t2032) OR FIREABLE(t2031) OR FIREABLE(t2030) OR FIREABLE(t2029) OR FIREABLE(t2028) OR FIREABLE(t2027) OR FIREABLE(t2026) OR FIREABLE(t2025) OR FIREABLE(t2024) OR FIREABLE(t2023) OR FIREABLE(t2022) OR FIREABLE(t2021) OR FIREABLE(t2020) OR FIREABLE(t2019) OR FIREABLE(t2018) OR FIREABLE(t2017) OR FIREABLE(t2016) OR FIREABLE(t2015) OR FIREABLE(t2014) OR FIREABLE(t2013) OR FIREABLE(t2012) OR FIREABLE(t2011) OR FIREABLE(t2010) OR FIREABLE(t2009) OR FIREABLE(t2008) OR FIREABLE(t2007) OR FIREABLE(t2006) OR FIREABLE(t2005) OR FIREABLE(t2004) OR FIREABLE(t2003) OR FIREABLE(t2002) OR FIREABLE(t2001) OR FIREABLE(t2000) OR FIREABLE(t1999) OR FIREABLE(t1998) OR FIREABLE(t1997) OR FIREABLE(t1996) OR FIREABLE(t1995) OR FIREABLE(t1994) OR FIREABLE(t1993) OR FIREABLE(t1992) OR FIREABLE(t1991) OR FIREABLE(t1990) OR FIREABLE(t1989) OR FIREABLE(t1988) OR FIREABLE(t1987) OR FIREABLE(t1986) OR FIREABLE(t1985) OR FIREABLE(t1984) OR FIREABLE(t1983) OR FIREABLE(t1982) OR FIREABLE(t1981) OR FIREABLE(t1980) OR FIREABLE(t1979) OR FIREABLE(t1978) OR FIREABLE(t1977) OR FIREABLE(t1976) OR FIREABLE(t1975) OR FIREABLE(t1974) OR FIREABLE(t1973) OR FIREABLE(t1972) OR FIREABLE(t1971) OR FIREABLE(t1970) OR FIREABLE(t1969) OR FIREABLE(t1968) OR FIREABLE(t1967) OR FIREABLE(t1966) OR FIREABLE(t1965) OR FIREABLE(t1964) OR FIREABLE(t1963) OR FIREABLE(t1962) OR FIREABLE(t1961) OR FIREABLE(t1960) OR FIREABLE(t1959) OR FIREABLE(t1958) OR FIREABLE(t1957) OR FIREABLE(t1956) OR FIREABLE(t1955) OR FIREABLE(t1954) OR FIREABLE(t1953) OR FIREABLE(t1952) OR FIREABLE(t1951) OR FIREABLE(t1950) OR FIREABLE(t1949) OR FIREABLE(t1948) OR FIREABLE(t1947) OR FIREABLE(t1946) OR FIREABLE(t1945) OR FIREABLE(t1944) OR FIREABLE(t1943) OR FIREABLE(t1942) OR FIREABLE(t1941) OR FIREABLE(t1940) OR FIREABLE(t1939) OR FIREABLE(t1938) OR FIREABLE(t1937) OR FIREABLE(t1936) OR FIREABLE(t1935) OR FIREABLE(t1934) OR FIREABLE(t1933) OR FIREABLE(t1932) OR FIREABLE(t1931) OR FIREABLE(t1930) OR FIREABLE(t1929) OR FIREABLE(t1928) OR FIREABLE(t1927) OR FIREABLE(t1926) OR FIREABLE(t1925) OR FIREABLE(t1924) OR FIREABLE(t1923) OR FIREABLE(t1922) OR FIREABLE(t1921) OR FIREABLE(t1920) OR FIREABLE(t1919) OR FIREABLE(t1918) OR FIREABLE(t1917) OR FIREABLE(t1916) OR FIREABLE(t1915) OR FIREABLE(t1914) OR FIREABLE(t1913) OR FIREABLE(t1912) OR FIREABLE(t1911) OR FIREABLE(t1910) OR FIREABLE(t1909) OR FIREABLE(t1908) OR FIREABLE(t1907) OR FIREABLE(t1906) OR FIREABLE(t1905) OR FIREABLE(t1904) OR FIREABLE(t1903) OR FIREABLE(t1902) OR FIREABLE(t1901) OR FIREABLE(t1900) OR FIREABLE(t1899) OR FIREABLE(t1898) OR FIREABLE(t1897) OR FIREABLE(t1896) OR FIREABLE(t1895) OR FIREABLE(t1894) OR FIREABLE(t1893) OR FIREABLE(t1892) OR FIREABLE(t1891) OR FIREABLE(t1890) OR FIREABLE(t1889) OR FIREABLE(t1888) OR FIREABLE(t1887) OR FIREABLE(t1886) OR FIREABLE(t1885) OR FIREABLE(t1884) OR FIREABLE(t1883) OR FIREABLE(t1882) OR FIREABLE(t1881) OR FIREABLE(t1880) OR FIREABLE(t1879) OR FIREABLE(t1878) OR FIREABLE(t1877) OR FIREABLE(t1876) OR FIREABLE(t1875) OR FIREABLE(t1874) OR FIREABLE(t1873) OR FIREABLE(t1872) OR FIREABLE(t1871) OR FIREABLE(t1870) OR FIREABLE(t1869) OR FIREABLE(t1868) OR FIREABLE(t1867) OR FIREABLE(t1866) OR FIREABLE(t1865) OR FIREABLE(t1864) OR FIREABLE(t1863) OR FIREABLE(t1862) OR FIREABLE(t1861) OR FIREABLE(t1860) OR FIREABLE(t1859) OR FIREABLE(t1858) OR FIREABLE(t1857) OR FIREABLE(t1856) OR FIREABLE(t1855) OR FIREABLE(t1854) OR FIREABLE(t1853) OR FIREABLE(t1852) OR FIREABLE(t1851) OR FIREABLE(t1850) OR FIREABLE(t1849) OR FIREABLE(t1848) OR FIREABLE(t1847) OR FIREABLE(t1846) OR FIREABLE(t1845) OR FIREABLE(t1844) OR FIREABLE(t1843) OR FIREABLE(t1842) OR FIREABLE(t1841) OR FIREABLE(t1840) OR FIREABLE(t1839) OR FIREABLE(t1838) OR FIREABLE(t1837) OR FIREABLE(t1836) OR FIREABLE(t1835) OR FIREABLE(t1834) OR FIREABLE(t1833) OR FIREABLE(t1832) OR FIREABLE(t1831) OR FIREABLE(t1830) OR FIREABLE(t1829) OR FIREABLE(t1828) OR FIREABLE(t1827) OR FIREABLE(t1826) OR FIREABLE(t1825) OR FIREABLE(t1824) OR FIREABLE(t1823) OR FIREABLE(t1822) OR FIREABLE(t1821) OR FIREABLE(t1820) OR FIREABLE(t1819) OR FIREABLE(t1818) OR FIREABLE(t1817) OR FIREABLE(t1816) OR FIREABLE(t1815) OR FIREABLE(t1814) OR FIREABLE(t1813) OR FIREABLE(t1812) OR FIREABLE(t1811) OR FIREABLE(t1810) OR FIREABLE(t1809) OR FIREABLE(t1808) OR FIREABLE(t1807) OR FIREABLE(t1806) OR FIREABLE(t1805) OR FIREABLE(t1804) OR FIREABLE(t1803) OR FIREABLE(t1802) OR FIREABLE(t1801) OR FIREABLE(t1800) OR FIREABLE(t1799) OR FIREABLE(t1798) OR FIREABLE(t1797) OR FIREABLE(t1796) OR FIREABLE(t1795) OR FIREABLE(t1794) OR FIREABLE(t1793) OR FIREABLE(t1792) OR FIREABLE(t1791) OR FIREABLE(t1790) OR FIREABLE(t1789) OR FIREABLE(t1788) OR FIREABLE(t1787) OR FIREABLE(t1786) OR FIREABLE(t1785) OR FIREABLE(t1784) OR FIREABLE(t1783) OR FIREABLE(t1782) OR FIREABLE(t1781) OR FIREABLE(t1780) OR FIREABLE(t1779) OR FIREABLE(t1778) OR FIREABLE(t1777) OR FIREABLE(t1776) OR FIREABLE(t1775) OR FIREABLE(t1774) OR FIREABLE(t1773) OR FIREABLE(t1772) OR FIREABLE(t1771) OR FIREABLE(t1770) OR FIREABLE(t1769) OR FIREABLE(t1768) OR FIREABLE(t1767) OR FIREABLE(t1766) OR FIREABLE(t1765) OR FIREABLE(t1764) OR FIREABLE(t1763) OR FIREABLE(t1762) OR FIREABLE(t1761) OR FIREABLE(t1760) OR FIREABLE(t1759) OR FIREABLE(t1758) OR FIREABLE(t1757) OR FIREABLE(t1756) OR FIREABLE(t1755) OR FIREABLE(t1754) OR FIREABLE(t1753) OR FIREABLE(t1752) OR FIREABLE(t1751) OR FIREABLE(t1750) OR FIREABLE(t1749) OR FIREABLE(t1748) OR FIREABLE(t1747) OR FIREABLE(t1746) OR FIREABLE(t1745) OR FIREABLE(t1744) OR FIREABLE(t1743) OR FIREABLE(t1742) OR FIREABLE(t1741) OR FIREABLE(t1740) OR FIREABLE(t1739) OR FIREABLE(t1738) OR FIREABLE(t1737) OR FIREABLE(t1736) OR FIREABLE(t1735) OR FIREABLE(t1734) OR FIREABLE(t1733) OR FIREABLE(t1732) OR FIREABLE(t1731) OR FIREABLE(t1730) OR FIREABLE(t1729) OR FIREABLE(t1728) OR FIREABLE(t1727) OR FIREABLE(t1726) OR FIREABLE(t1725) OR FIREABLE(t1724) OR FIREABLE(t1723) OR FIREABLE(t1722) OR FIREABLE(t1721) OR FIREABLE(t1720) OR FIREABLE(t1719) OR FIREABLE(t1718) OR FIREABLE(t1717) OR FIREABLE(t1716) OR FIREABLE(t1715) OR FIREABLE(t1714) OR FIREABLE(t1713) OR FIREABLE(t1712) OR FIREABLE(t1711) OR FIREABLE(t1710) OR FIREABLE(t1709) OR FIREABLE(t1708) OR FIREABLE(t1707) OR FIREABLE(t1706) OR FIREABLE(t1705) OR FIREABLE(t1704) OR FIREABLE(t1703) OR FIREABLE(t1702) OR FIREABLE(t1701) OR FIREABLE(t1700) OR FIREABLE(t1699) OR FIREABLE(t1698) OR FIREABLE(t1697) OR FIREABLE(t1696) OR FIREABLE(t1695) OR FIREABLE(t1694) OR FIREABLE(t1693) OR FIREABLE(t1692) OR FIREABLE(t1691) OR FIREABLE(t1690) OR FIREABLE(t1689) OR FIREABLE(t1688) OR FIREABLE(t1687) OR FIREABLE(t1686) OR FIREABLE(t1685) OR FIREABLE(t1684) OR FIREABLE(t1683) OR FIREABLE(t1682) OR FIREABLE(t1681) OR FIREABLE(t1680) OR FIREABLE(t1679) OR FIREABLE(t1678) OR FIREABLE(t1677) OR FIREABLE(t1676) OR FIREABLE(t1675) OR FIREABLE(t1674) OR FIREABLE(t1673) OR FIREABLE(t1672) OR FIREABLE(t1671) OR FIREABLE(t1670) OR FIREABLE(t1669) OR FIREABLE(t1668) OR FIREABLE(t1667) OR FIREABLE(t1666) OR FIREABLE(t1665) OR FIREABLE(t1664) OR FIREABLE(t1663) OR FIREABLE(t1662) OR FIREABLE(t1661) OR FIREABLE(t1660) OR FIREABLE(t1659) OR FIREABLE(t1658) OR FIREABLE(t1657) OR FIREABLE(t1656) OR FIREABLE(t1655) OR FIREABLE(t1654) OR FIREABLE(t1653) OR FIREABLE(t1652) OR FIREABLE(t1651) OR FIREABLE(t1650) OR FIREABLE(t1649) OR FIREABLE(t1648) OR FIREABLE(t1647) OR FIREABLE(t1646) OR FIREABLE(t1645) OR FIREABLE(t1644) OR FIREABLE(t1643) OR FIREABLE(t1642) OR FIREABLE(t1641) OR FIREABLE(t1640) OR FIREABLE(t1639) OR FIREABLE(t1638) OR FIREABLE(t1637) OR FIREABLE(t1636) OR FIREABLE(t1635) OR FIREABLE(t1634) OR FIREABLE(t1633) OR FIREABLE(t1632) OR FIREABLE(t1631) OR FIREABLE(t1630) OR FIREABLE(t1629) OR FIREABLE(t1628) OR FIREABLE(t1627) OR FIREABLE(t1626) OR FIREABLE(t1625) OR FIREABLE(t1624) OR FIREABLE(t1623) OR FIREABLE(t1622) OR FIREABLE(t1621) OR FIREABLE(t1620) OR FIREABLE(t1619) OR FIREABLE(t1618) OR FIREABLE(t1617) OR FIREABLE(t1616) OR FIREABLE(t1615) OR FIREABLE(t1614) OR FIREABLE(t1613) OR FIREABLE(t1612) OR FIREABLE(t1611) OR FIREABLE(t1610) OR FIREABLE(t1609) OR FIREABLE(t1608) OR FIREABLE(t1607) OR FIREABLE(t1606) OR FIREABLE(t1605) OR FIREABLE(t1604) OR FIREABLE(t1603) OR FIREABLE(t1602) OR FIREABLE(t1601) OR FIREABLE(t1600) OR FIREABLE(t1599) OR FIREABLE(t1598) OR FIREABLE(t1597) OR FIREABLE(t1596) OR FIREABLE(t1595) OR FIREABLE(t1594) OR FIREABLE(t1593) OR FIREABLE(t1592) OR FIREABLE(t1591) OR FIREABLE(t1590) OR FIREABLE(t1589) OR FIREABLE(t1588) OR FIREABLE(t1587) OR FIREABLE(t1586) OR FIREABLE(t1585) OR FIREABLE(t1584) OR FIREABLE(t1583) OR FIREABLE(t1582) OR FIREABLE(t1581) OR FIREABLE(t1580) OR FIREABLE(t1579) OR FIREABLE(t1578) OR FIREABLE(t1577) OR FIREABLE(t1576) OR FIREABLE(t1575) OR FIREABLE(t1574) OR FIREABLE(t1573) OR FIREABLE(t1572) OR FIREABLE(t1571) OR FIREABLE(t1570) OR FIREABLE(t1569) OR FIREABLE(t1568) OR FIREABLE(t1567) OR FIREABLE(t1566) OR FIREABLE(t1565) OR FIREABLE(t1564) OR FIREABLE(t1563) OR FIREABLE(t1562) OR FIREABLE(t1561) OR FIREABLE(t1560) OR FIREABLE(t1559) OR FIREABLE(t1558) OR FIREABLE(t1557) OR FIREABLE(t1556) OR FIREABLE(t1555) OR FIREABLE(t1554) OR FIREABLE(t1553) OR FIREABLE(t1552) OR FIREABLE(t1551) OR FIREABLE(t1550) OR FIREABLE(t1549) OR FIREABLE(t1548) OR FIREABLE(t1547) OR FIREABLE(t1546) OR FIREABLE(t1545) OR FIREABLE(t1544) OR FIREABLE(t1543) OR FIREABLE(t1542) OR FIREABLE(t1541) OR FIREABLE(t1540) OR FIREABLE(t1539) OR FIREABLE(t1538) OR FIREABLE(t1537) OR FIREABLE(t1536) OR FIREABLE(t1535) OR FIREABLE(t1534) OR FIREABLE(t1533) OR FIREABLE(t1532) OR FIREABLE(t1531) OR FIREABLE(t1530) OR FIREABLE(t1529) OR FIREABLE(t1528) OR FIREABLE(t1527) OR FIREABLE(t1526) OR FIREABLE(t1525) OR FIREABLE(t1524) OR FIREABLE(t1523) OR FIREABLE(t1522) OR FIREABLE(t1521) OR FIREABLE(t1520) OR FIREABLE(t1519) OR FIREABLE(t1518) OR FIREABLE(t1517) OR FIREABLE(t1516) OR FIREABLE(t1515) OR FIREABLE(t1514) OR FIREABLE(t1513) OR FIREABLE(t1512) OR FIREABLE(t1511) OR FIREABLE(t1510) OR FIREABLE(t1509) OR FIREABLE(t1508) OR FIREABLE(t1507) OR FIREABLE(t1506) OR FIREABLE(t1505) OR FIREABLE(t1504) OR FIREABLE(t1503) OR FIREABLE(t1502) OR FIREABLE(t1501) OR FIREABLE(t1500) OR FIREABLE(t1499) OR FIREABLE(t1498) OR FIREABLE(t1497) OR FIREABLE(t1496) OR FIREABLE(t1495) OR FIREABLE(t1494) OR FIREABLE(t1493) OR FIREABLE(t1492) OR FIREABLE(t1491) OR FIREABLE(t1490) OR FIREABLE(t1489) OR FIREABLE(t1488) OR FIREABLE(t1487) OR FIREABLE(t1486) OR FIREABLE(t1485) OR FIREABLE(t1484) OR FIREABLE(t1483) OR FIREABLE(t1482) OR FIREABLE(t1481) OR FIREABLE(t1480) OR FIREABLE(t1479) OR FIREABLE(t1478) OR FIREABLE(t1477) OR FIREABLE(t1476) OR FIREABLE(t1475) OR FIREABLE(t1474) OR FIREABLE(t1473) OR FIREABLE(t1472) OR FIREABLE(t1471) OR FIREABLE(t1470) OR FIREABLE(t1469) OR FIREABLE(t1468) OR FIREABLE(t1467) OR FIREABLE(t1466) OR FIREABLE(t1465) OR FIREABLE(t1464) OR FIREABLE(t1463) OR FIREABLE(t1462) OR FIREABLE(t1461) OR FIREABLE(t1460) OR FIREABLE(t1459) OR FIREABLE(t1458) OR FIREABLE(t1457) OR FIREABLE(t1456) OR FIREABLE(t1455) OR FIREABLE(t1454) OR FIREABLE(t1453) OR FIREABLE(t1452) OR FIREABLE(t1451) OR FIREABLE(t1450) OR FIREABLE(t1449) OR FIREABLE(t1448) OR FIREABLE(t1447) OR FIREABLE(t1446) OR FIREABLE(t1445) OR FIREABLE(t1444) OR FIREABLE(t1443) OR FIREABLE(t1442) OR FIREABLE(t1441) OR FIREABLE(t1440) OR FIREABLE(t1439) OR FIREABLE(t1438) OR FIREABLE(t1437) OR FIREABLE(t1436) OR FIREABLE(t1435) OR FIREABLE(t1434) OR FIREABLE(t1433) OR FIREABLE(t1432) OR FIREABLE(t1431) OR FIREABLE(t1430) OR FIREABLE(t1429) OR FIREABLE(t1428) OR FIREABLE(t1427) OR FIREABLE(t1426) OR FIREABLE(t1425) OR FIREABLE(t1424) OR FIREABLE(t1423) OR FIREABLE(t1422) OR FIREABLE(t1421) OR FIREABLE(t1420) OR FIREABLE(t1419) OR FIREABLE(t1418) OR FIREABLE(t1417) OR FIREABLE(t1416) OR FIREABLE(t1415) OR FIREABLE(t1414) OR FIREABLE(t1413) OR FIREABLE(t1412) OR FIREABLE(t1411) OR FIREABLE(t1410) OR FIREABLE(t1409) OR FIREABLE(t1408) OR FIREABLE(t1407) OR FIREABLE(t1406) OR FIREABLE(t1405) OR FIREABLE(t1404) OR FIREABLE(t1403) OR FIREABLE(t1402) OR FIREABLE(t1401) OR FIREABLE(t1400) OR FIREABLE(t1399) OR FIREABLE(t1398) OR FIREABLE(t1397) OR FIREABLE(t1396) OR FIREABLE(t1395) OR FIREABLE(t1394) OR FIREABLE(t1393) OR FIREABLE(t1392) OR FIREABLE(t1391) OR FIREABLE(t1390) OR FIREABLE(t1389) OR FIREABLE(t1388) OR FIREABLE(t1387) OR FIREABLE(t1386) OR FIREABLE(t1385) OR FIREABLE(t1384) OR FIREABLE(t1383) OR FIREABLE(t1382) OR FIREABLE(t1381) OR FIREABLE(t1380) OR FIREABLE(t1379) OR FIREABLE(t1378) OR FIREABLE(t1377) OR FIREABLE(t1376) OR FIREABLE(t1375) OR FIREABLE(t1374) OR FIREABLE(t1373) OR FIREABLE(t1372) OR FIREABLE(t1371) OR FIREABLE(t1370) OR FIREABLE(t1369) OR FIREABLE(t1368) OR FIREABLE(t1367) OR FIREABLE(t1366) OR FIREABLE(t1365) OR FIREABLE(t1364) OR FIREABLE(t1363) OR FIREABLE(t1362) OR FIREABLE(t1361) OR FIREABLE(t1360) OR FIREABLE(t1359) OR FIREABLE(t1358) OR FIREABLE(t1357) OR FIREABLE(t1356) OR FIREABLE(t1355) OR FIREABLE(t1354) OR FIREABLE(t1353) OR FIREABLE(t1352) OR FIREABLE(t1351) OR FIREABLE(t1350) OR FIREABLE(t1349) OR FIREABLE(t1348) OR FIREABLE(t1347) OR FIREABLE(t1346) OR FIREABLE(t1345) OR FIREABLE(t1344) OR FIREABLE(t1343) OR FIREABLE(t1342) OR FIREABLE(t1341) OR FIREABLE(t1340) OR FIREABLE(t1339) OR FIREABLE(t1338) OR FIREABLE(t1337) OR FIREABLE(t1336) OR FIREABLE(t1335) OR FIREABLE(t1334) OR FIREABLE(t1333) OR FIREABLE(t1332) OR FIREABLE(t1331) OR FIREABLE(t1330) OR FIREABLE(t1329) OR FIREABLE(t1328) OR FIREABLE(t1327) OR FIREABLE(t1326) OR FIREABLE(t1325) OR FIREABLE(t1324) OR FIREABLE(t1323) OR FIREABLE(t1322) OR FIREABLE(t1321) OR FIREABLE(t1320) OR FIREABLE(t1319) OR FIREABLE(t1318) OR FIREABLE(t1317) OR FIREABLE(t1316) OR FIREABLE(t1315) OR FIREABLE(t1314) OR FIREABLE(t1313) OR FIREABLE(t1312) OR FIREABLE(t1311) OR FIREABLE(t1310) OR FIREABLE(t1309) OR FIREABLE(t1308) OR FIREABLE(t1307) OR FIREABLE(t1306) OR FIREABLE(t1305) OR FIREABLE(t1304) OR FIREABLE(t1303) OR FIREABLE(t1302) OR FIREABLE(t1301) OR FIREABLE(t1300) OR FIREABLE(t1299) OR FIREABLE(t1298) OR FIREABLE(t1297) OR FIREABLE(t1296) OR FIREABLE(t1295) OR FIREABLE(t1294) OR FIREABLE(t1293) OR FIREABLE(t1292) OR FIREABLE(t1291) OR FIREABLE(t1290) OR FIREABLE(t1289) OR FIREABLE(t1288) OR FIREABLE(t1287) OR FIREABLE(t1286) OR FIREABLE(t1285) OR FIREABLE(t1284) OR FIREABLE(t1283) OR FIREABLE(t1282) OR FIREABLE(t1281) OR FIREABLE(t1280) OR FIREABLE(t1279) OR FIREABLE(t1278) OR FIREABLE(t1277) OR FIREABLE(t1276) OR FIREABLE(t1275) OR FIREABLE(t1274) OR FIREABLE(t1273) OR FIREABLE(t1272) OR FIREABLE(t1271) OR FIREABLE(t1270) OR FIREABLE(t1269) OR FIREABLE(t1268) OR FIREABLE(t1267) OR FIREABLE(t1266) OR FIREABLE(t1265) OR FIREABLE(t1264) OR FIREABLE(t1263) OR FIREABLE(t1262) OR FIREABLE(t1261) OR FIREABLE(t1260) OR FIREABLE(t1259) OR FIREABLE(t1258) OR FIREABLE(t1257) OR FIREABLE(t1256) OR FIREABLE(t1255) OR FIREABLE(t1254) OR FIREABLE(t1253) OR FIREABLE(t1252) OR FIREABLE(t1251) OR FIREABLE(t1250) OR FIREABLE(t1249) OR FIREABLE(t1248) OR FIREABLE(t1247) OR FIREABLE(t1246) OR FIREABLE(t1245) OR FIREABLE(t1244) OR FIREABLE(t1243) OR FIREABLE(t1242) OR FIREABLE(t1241) OR FIREABLE(t1240) OR FIREABLE(t1239) OR FIREABLE(t1238) OR FIREABLE(t1237) OR FIREABLE(t1236) OR FIREABLE(t1235) OR FIREABLE(t1234) OR FIREABLE(t1233) OR FIREABLE(t1232) OR FIREABLE(t1231) OR FIREABLE(t1230) OR FIREABLE(t1229) OR FIREABLE(t1228))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:416
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t327)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t327)
lola: processed formula length: 14
lola: 35 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((((FIREABLE(t326) OR FIREABLE(t325)) U (FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t6... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((((FIREABLE(t326) OR FIREABLE(t325)) U (FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t6... (shortened)
lola: processed formula length: 19099
lola: 35 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 674 markings, 674 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t82) OR FIREABLE(t81)) U X (((FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t82) OR FIREABLE(t81)) U X (((FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61)... (shortened)
lola: processed formula length: 19093
lola: 35 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 674 markings, 674 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (((FIREABLE(t326) OR FIREABLE(t325)) U (FIREABLE(t82) OR FIREABLE(t81))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (((FIREABLE(t326) OR FIREABLE(t325)) U (FIREABLE(t82) OR FIREABLE(t81))))))
lola: processed formula length: 85
lola: 35 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 674 markings, 674 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(t327)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (FIREABLE(t327)))
lola: processed formula length: 22
lola: 35 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 674 markings, 674 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (F ((FIREABLE(t82) OR FIREABLE(t81)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (F ((FIREABLE(t82) OR FIREABLE(t81)))))))
lola: processed formula length: 53
lola: 35 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 294009 markings, 1017173 edges, 58802 markings/sec, 0 secs
lola: 584898 markings, 2033273 edges, 58178 markings/sec, 5 secs
lola: 853722 markings, 2948437 edges, 53765 markings/sec, 10 secs
lola: 1123129 markings, 3900818 edges, 53881 markings/sec, 15 secs
lola: 1396200 markings, 4823445 edges, 54614 markings/sec, 20 secs
lola: 1678418 markings, 5808644 edges, 56444 markings/sec, 25 secs
lola: 1947744 markings, 6729972 edges, 53865 markings/sec, 30 secs
lola: 2221508 markings, 7694936 edges, 54753 markings/sec, 35 secs
lola: 2494519 markings, 8622937 edges, 54602 markings/sec, 40 secs
lola: 2759156 markings, 9546854 edges, 52927 markings/sec, 45 secs
lola: 3016837 markings, 10437406 edges, 51536 markings/sec, 50 secs
lola: 3293114 markings, 11382671 edges, 55255 markings/sec, 55 secs
lola: 3560112 markings, 12307071 edges, 53400 markings/sec, 60 secs
lola: 3836643 markings, 13256416 edges, 55306 markings/sec, 65 secs
lola: 4103277 markings, 14170532 edges, 53327 markings/sec, 70 secs
lola: 4368197 markings, 15078509 edges, 52984 markings/sec, 75 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4407373 markings, 15208765 edges

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: ========================================
subprocess 6 will run for 348 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((G (FIREABLE(t327)) OR (G ((FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((G (FIREABLE(t327)) OR (G ((FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIR... (shortened)
lola: processed formula length: 1514
lola: 35 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 674 markings, 674 edges

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 387 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (F ((FIREABLE(t1227) OR FIREABLE(t1226) OR FIREABLE(t1225) OR FIREABLE(t1224) OR FIREABLE(t1223) OR FIREABLE(t1222) OR FIREABLE(t1221) OR FIREABLE(t1220) OR FIREABLE(t1219) OR FIREABLE(t1218) OR FIREABLE(t1217) OR FIREABLE(t1216) OR FIREABLE(t1215) OR FIREABLE(t1214) OR FIREABLE(t1213) OR FIREABLE(t1212) OR FIREABLE(t1211) OR FIREABLE(t1210) OR FIREABLE(t1209) OR FIREABLE(t... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((FIREABLE(t1227) OR FIREABLE(t1226) OR FIREABLE(t1225) OR FIREABLE(t1224) OR FIREABLE(t1223) OR FIREABLE(t1222) OR FIREABLE(t1221) OR FIREABLE(t1220) OR FIREABLE(t1219) OR FIREABLE(t1218) OR FIREABLE(t1217) OR FIREABLE(t1216) OR FIREABLE(t1215) OR FIREABLE(t1214) OR FIREABLE(t1213) OR FIREABLE(t1212) OR FIREABLE(t1211) OR FIREABLE(t1210) OR FIREABLE(t1209) OR FIREABLE(t... (shortened)
lola: processed formula length: 16957
lola: 35 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 674 markings, 674 edges

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 436 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t347) OR FIREABLE(t346) OR FIREABLE(t345) OR FIREABLE(t344) OR FIREABLE(t343) OR FIREABLE(t342) OR FIREABLE(t341) OR FIREABLE(t340) OR FIREABLE(t339) OR FIREABLE(t338) OR FIREABLE(t337) OR FIREABLE(t336) OR FIREABLE(t335) OR FIREABLE(t334) OR FIREABLE(t333) OR FIREABLE(t332) OR FIREABLE(t331) OR FIREABLE(t330) OR FIREABLE(t329) OR FIREABLE(t328))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t347) AND NOT FIREABLE(t346) AND NOT FIREABLE(t345) AND NOT FIREABLE(t344) AND NOT FIREABLE(t343) AND NOT FIREABLE(t342) AND NOT FIREABLE(t341) AND NOT FIREABLE(t340) AND NOT FIREABLE(t339) AND NOT FIREABLE(t338) AND NOT FIREABLE(t337) AND NOT FIREABLE(t336) AND NOT FIREABLE(t335) AND NOT FIREABLE(t334) AND NOT FIREABLE(t333) AND NOT FIREABLE(t332) AND NOT FIREABLE(t331) AND NOT FIRE... (shortened)
lola: processed formula length: 457
lola: 37 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 498 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t347) OR FIREABLE(t346) OR FIREABLE(t345) OR FIREABLE(t344) OR FIREABLE(t343) OR FIREABLE(t342) OR FIREABLE(t341) OR FIREABLE(t340) OR FIREABLE(t339) OR FIREABLE(t338) OR FIREABLE(t337) OR FIREABLE(t336) OR FIREABLE(t335) OR FIREABLE(t334) OR FIREABLE(t333) OR FIREABLE(t332) OR FIREABLE(t331) OR FIREABLE(t330) OR FIREABLE(t329) OR FIREABLE(t328))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t347) AND NOT FIREABLE(t346) AND NOT FIREABLE(t345) AND NOT FIREABLE(t344) AND NOT FIREABLE(t343) AND NOT FIREABLE(t342) AND NOT FIREABLE(t341) AND NOT FIREABLE(t340) AND NOT FIREABLE(t339) AND NOT FIREABLE(t338) AND NOT FIREABLE(t337) AND NOT FIREABLE(t336) AND NOT FIREABLE(t335) AND NOT FIREABLE(t334) AND NOT FIREABLE(t333) AND NOT FIREABLE(t332) AND NOT FIREABLE(t331) AND NOT FIRE... (shortened)
lola: processed formula length: 457
lola: 37 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 581 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIREABLE(t60) OR FIREABLE(t59) O... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t80) AND NOT FIREABLE(t79) AND NOT FIREABLE(t78) AND NOT FIREABLE(t77) AND NOT FIREABLE(t76) AND NOT FIREABLE(t75) AND NOT FIREABLE(t74) AND NOT FIREABLE(t73) AND NOT FIREABLE(t72) AND NOT FIREABLE(t71) AND NOT FIREABLE(t70) AND NOT FIREABLE(t69) AND NOT FIREABLE(t68) AND NOT FIREABLE(t67) AND NOT FIREABLE(t66) AND NOT FIREABLE(t65) AND NOT FIREABLE(t64) AND NOT FIREABLE(t63) AND NOT... (shortened)
lola: processed formula length: 1769
lola: 37 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 697 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t244))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t244))))
lola: processed formula length: 26
lola: 35 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 1595 markings, 2265 edges, 319 markings/sec, 0 secs
lola: 3079 markings, 4487 edges, 297 markings/sec, 5 secs
lola: 4615 markings, 6786 edges, 307 markings/sec, 10 secs
lola: 6122 markings, 9042 edges, 301 markings/sec, 15 secs
lola: 7611 markings, 11271 edges, 298 markings/sec, 20 secs
lola: 9062 markings, 13443 edges, 290 markings/sec, 25 secs
lola: 10591 markings, 15736 edges, 306 markings/sec, 30 secs
lola: 12129 markings, 18039 edges, 308 markings/sec, 35 secs
lola: 13637 markings, 20217 edges, 302 markings/sec, 40 secs
lola: 14803 markings, 21913 edges, 233 markings/sec, 45 secs
lola: 15958 markings, 23630 edges, 231 markings/sec, 50 secs
lola: 17383 markings, 25629 edges, 285 markings/sec, 55 secs
lola: 18855 markings, 28192 edges, 294 markings/sec, 60 secs
lola: 20205 markings, 31225 edges, 270 markings/sec, 65 secs
lola: 21571 markings, 34254 edges, 273 markings/sec, 70 secs
lola: 23101 markings, 37323 edges, 306 markings/sec, 75 secs
lola: 24469 markings, 40338 edges, 274 markings/sec, 80 secs
lola: 25832 markings, 43336 edges, 273 markings/sec, 85 secs
lola: 27271 markings, 46393 edges, 288 markings/sec, 90 secs
lola: 28750 markings, 49404 edges, 296 markings/sec, 95 secs
lola: 30090 markings, 52474 edges, 268 markings/sec, 100 secs
lola: 31455 markings, 55491 edges, 273 markings/sec, 105 secs
lola: 32977 markings, 58545 edges, 304 markings/sec, 110 secs
lola: 34390 markings, 61524 edges, 283 markings/sec, 115 secs
lola: 35717 markings, 64578 edges, 265 markings/sec, 120 secs
lola: 37117 markings, 67557 edges, 280 markings/sec, 125 secs
lola: 38621 markings, 70625 edges, 301 markings/sec, 130 secs
lola: 39978 markings, 73617 edges, 271 markings/sec, 135 secs
lola: 41325 markings, 76658 edges, 269 markings/sec, 140 secs
lola: 42817 markings, 79695 edges, 298 markings/sec, 145 secs
lola: 44253 markings, 82714 edges, 287 markings/sec, 150 secs
lola: 45591 markings, 85742 edges, 268 markings/sec, 155 secs
lola: 46978 markings, 88750 edges, 277 markings/sec, 160 secs
lola: 48520 markings, 91798 edges, 308 markings/sec, 165 secs
lola: 49878 markings, 94795 edges, 272 markings/sec, 170 secs
lola: 51217 markings, 97879 edges, 268 markings/sec, 175 secs
lola: 52693 markings, 100917 edges, 295 markings/sec, 180 secs
lola: 54157 markings, 103990 edges, 293 markings/sec, 185 secs
lola: 55519 markings, 106941 edges, 272 markings/sec, 190 secs
lola: 56865 markings, 109992 edges, 269 markings/sec, 195 secs
lola: 58402 markings, 113077 edges, 307 markings/sec, 200 secs
lola: 59764 markings, 116052 edges, 272 markings/sec, 205 secs
lola: 61098 markings, 119010 edges, 267 markings/sec, 210 secs
lola: 62515 markings, 122033 edges, 283 markings/sec, 215 secs
lola: 64018 markings, 125073 edges, 301 markings/sec, 220 secs
lola: 65356 markings, 128038 edges, 268 markings/sec, 225 secs
lola: 66673 markings, 131081 edges, 263 markings/sec, 230 secs
lola: 68188 markings, 134117 edges, 303 markings/sec, 235 secs
lola: 69589 markings, 137128 edges, 280 markings/sec, 240 secs
lola: 70932 markings, 140071 edges, 269 markings/sec, 245 secs
lola: 72306 markings, 143084 edges, 275 markings/sec, 250 secs
lola: 73872 markings, 146144 edges, 313 markings/sec, 255 secs
lola: 75197 markings, 149157 edges, 265 markings/sec, 260 secs
lola: 76529 markings, 152164 edges, 266 markings/sec, 265 secs
lola: 78000 markings, 155209 edges, 294 markings/sec, 270 secs
lola: 79458 markings, 158259 edges, 292 markings/sec, 275 secs
lola: 80806 markings, 161200 edges, 270 markings/sec, 280 secs
lola: 82143 markings, 164228 edges, 267 markings/sec, 285 secs
lola: 83713 markings, 167379 edges, 314 markings/sec, 290 secs
lola: 85068 markings, 170369 edges, 271 markings/sec, 295 secs
lola: 86431 markings, 173327 edges, 273 markings/sec, 300 secs
lola: 87885 markings, 176451 edges, 291 markings/sec, 305 secs
lola: 89408 markings, 179550 edges, 305 markings/sec, 310 secs
lola: 90744 markings, 182608 edges, 267 markings/sec, 315 secs
lola: 92106 markings, 185625 edges, 272 markings/sec, 320 secs
lola: 93691 markings, 188805 edges, 317 markings/sec, 325 secs
lola: 95095 markings, 191811 edges, 281 markings/sec, 330 secs
lola: 96437 markings, 194863 edges, 268 markings/sec, 335 secs
lola: 97894 markings, 197943 edges, 291 markings/sec, 340 secs
lola: 99447 markings, 201061 edges, 311 markings/sec, 345 secs
lola: 100789 markings, 204104 edges, 268 markings/sec, 350 secs
lola: 102136 markings, 207159 edges, 269 markings/sec, 355 secs
lola: 103723 markings, 210341 edges, 317 markings/sec, 360 secs
lola: 105148 markings, 213343 edges, 285 markings/sec, 365 secs
lola: 106485 markings, 216416 edges, 267 markings/sec, 370 secs
lola: 107929 markings, 219485 edges, 289 markings/sec, 375 secs
lola: 109494 markings, 222659 edges, 313 markings/sec, 380 secs
lola: 110850 markings, 225649 edges, 271 markings/sec, 385 secs
lola: 112185 markings, 228727 edges, 267 markings/sec, 390 secs
lola: 113772 markings, 231909 edges, 317 markings/sec, 395 secs
lola: 115200 markings, 234948 edges, 286 markings/sec, 400 secs
lola: 116549 markings, 237969 edges, 270 markings/sec, 405 secs
lola: 117979 markings, 241057 edges, 286 markings/sec, 410 secs
lola: 119557 markings, 244280 edges, 316 markings/sec, 415 secs
lola: 120918 markings, 247243 edges, 272 markings/sec, 420 secs
lola: 122255 markings, 250331 edges, 267 markings/sec, 425 secs
lola: 123844 markings, 253527 edges, 318 markings/sec, 430 secs
lola: 125279 markings, 256594 edges, 287 markings/sec, 435 secs
lola: 126622 markings, 259550 edges, 269 markings/sec, 440 secs
lola: 128032 markings, 262635 edges, 282 markings/sec, 445 secs
lola: 129606 markings, 265838 edges, 315 markings/sec, 450 secs
lola: 130942 markings, 268806 edges, 267 markings/sec, 455 secs
lola: 132301 markings, 271844 edges, 272 markings/sec, 460 secs
lola: 133882 markings, 275073 edges, 316 markings/sec, 465 secs
lola: 135311 markings, 278147 edges, 286 markings/sec, 470 secs
lola: 136679 markings, 281117 edges, 274 markings/sec, 475 secs
lola: 138072 markings, 284185 edges, 279 markings/sec, 480 secs
lola: 139692 markings, 287458 edges, 324 markings/sec, 485 secs
lola: 141041 markings, 290481 edges, 270 markings/sec, 490 secs
lola: 142397 markings, 293494 edges, 271 markings/sec, 495 secs
lola: 143980 markings, 296741 edges, 317 markings/sec, 500 secs
lola: 145431 markings, 299869 edges, 290 markings/sec, 505 secs
lola: 146781 markings, 302797 edges, 270 markings/sec, 510 secs
lola: 148195 markings, 305905 edges, 283 markings/sec, 515 secs
lola: 149806 markings, 309162 edges, 322 markings/sec, 520 secs
lola: 151158 markings, 312184 edges, 270 markings/sec, 525 secs
lola: 152516 markings, 315213 edges, 272 markings/sec, 530 secs
lola: 153996 markings, 318243 edges, 296 markings/sec, 535 secs
lola: 155429 markings, 321224 edges, 287 markings/sec, 540 secs
lola: 156765 markings, 324293 edges, 267 markings/sec, 545 secs
lola: 158146 markings, 327278 edges, 276 markings/sec, 550 secs
lola: 159646 markings, 330284 edges, 300 markings/sec, 555 secs
lola: 160985 markings, 333226 edges, 268 markings/sec, 560 secs
lola: 162338 markings, 336241 edges, 271 markings/sec, 565 secs
lola: 163912 markings, 339547 edges, 315 markings/sec, 570 secs
lola: 165439 markings, 342710 edges, 305 markings/sec, 575 secs
lola: 166782 markings, 345705 edges, 269 markings/sec, 580 secs
lola: 168171 markings, 348796 edges, 278 markings/sec, 585 secs
lola: 169870 markings, 352147 edges, 340 markings/sec, 590 secs
lola: 171209 markings, 355132 edges, 268 markings/sec, 595 secs
lola: 172536 markings, 358182 edges, 265 markings/sec, 600 secs
lola: 174130 markings, 361457 edges, 319 markings/sec, 605 secs
lola: 175637 markings, 364572 edges, 301 markings/sec, 610 secs
lola: 176961 markings, 367605 edges, 265 markings/sec, 615 secs
lola: 178384 markings, 370698 edges, 285 markings/sec, 620 secs
lola: 180072 markings, 374045 edges, 338 markings/sec, 625 secs
lola: 181399 markings, 377065 edges, 265 markings/sec, 630 secs
lola: 182751 markings, 380031 edges, 270 markings/sec, 635 secs
lola: 184372 markings, 383413 edges, 324 markings/sec, 640 secs
lola: 185840 markings, 386544 edges, 294 markings/sec, 645 secs
lola: 187183 markings, 389508 edges, 269 markings/sec, 650 secs
lola: 188634 markings, 392669 edges, 290 markings/sec, 655 secs
lola: 190286 markings, 396050 edges, 330 markings/sec, 660 secs
lola: 191634 markings, 399006 edges, 270 markings/sec, 665 secs
lola: 192970 markings, 402023 edges, 267 markings/sec, 670 secs
lola: 194653 markings, 405449 edges, 337 markings/sec, 675 secs
lola: 196089 markings, 408498 edges, 287 markings/sec, 680 secs
lola: 197432 markings, 411514 edges, 269 markings/sec, 685 secs
lola: 198946 markings, 414767 edges, 303 markings/sec, 690 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no no no no yes no no no unknown yes no unknown unknown unknown unknown
lola: memory consumption: 55108 KB
lola: time consumption: 778 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 697 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(t82) OR FIREABLE(t81)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(t82) OR FIREABLE(t81)))))
lola: processed formula length: 45
lola: 35 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 675 markings, 676 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 930 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t1227) OR FIREABLE(t1226) OR FIREABLE(t1225) OR FIREABLE(t1224) OR FIREABLE(t1223) OR FIREABLE(t1222) OR FIREABLE(t1221) OR FIREABLE(t1220) OR FIREABLE(t1219) OR FIREABLE(t1218) OR FIREABLE(t1217) OR FIREABLE(t1216) OR FIREABLE(t1215) OR FIREABLE(t1214) OR FIREABLE(t1213) OR FIREABLE(t1212) OR FIREABLE(t1211) OR FIREABLE(t1210) OR FIREABLE(t1209) OR FIREABLE(t1208)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((FIREABLE(t1227) OR FIREABLE(t1226) OR FIREABLE(t1225) OR FIREABLE(t1224) OR FIREABLE(t1223) OR FIREABLE(t1222) OR FIREABLE(t1221) OR FIREABLE(t1220) OR FIREABLE(t1219) OR FIREABLE(t1218) OR FIREABLE(t1217) OR FIREABLE(t1216) OR FIREABLE(t1215) OR FIREABLE(t1214) OR FIREABLE(t1213) OR FIREABLE(t1212) OR FIREABLE(t1211) OR FIREABLE(t1210) OR FIREABLE(t1209) OR FIREABLE(t1208)... (shortened)
lola: processed formula length: 16987
lola: 39 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola:
FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 14 will run for 1395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F (FIREABLE(t244)))) AND A (G (((FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIREABLE(t60) OR FIREABLE(t59) ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:674
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: processed formula: A (G (((FIREABLE(t80) OR FIREABLE(t79) OR FIREABLE(t78) OR FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72) OR FIREABLE(t71) OR FIREABLE(t70) OR FIREABLE(t69) OR FIREABLE(t68) OR FIREABLE(t67) OR FIREABLE(t66) OR FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIREABLE(t60) OR FIREABLE(t59) ... (shortened)
lola: processed formula length: 1473
lola: 40 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:674
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((NOT FIREABLE(t80) AND NOT FIREABLE(t79) AND NOT FIREABLE(t78) AND NOT FIREABLE(t77) AND NOT FIREABLE(t76) AND NOT FIREABLE(t75) AND NOT FIREABLE(t74) AND NOT FIREABLE(t73) AND NOT FIREABLE(t72) AND NOT FIREABLE(t71) AND NOT FIREABLE(t70) AND NOT FIREABLE(t69) AND NOT FIREABLE(t68) AND NOT FIREABLE(t67) AND NOT FIREABLE(t66) AND NOT FIREABLE(t65) AND NOT FIREABLE(t64) AND NOT FIREABLE(t63) AND NOT FIREABLE(t62) AND NOT FIREABLE(t61) AND NOT FIREABLE(t60) AND NOT FIREABLE(t59) AND NOT FIREABLE(t58) AND NOT FIREABLE(t57) AND NOT FIREABLE(t56) AND NOT FIREABLE(t55) AND NOT FIREABLE(t54) AND NOT FIREABLE(t53) AND NOT FIREABLE(t52) AND NOT FIREABLE(t51) AND NOT FIREABLE(t50) AND NOT FIREABLE(t49) AND NOT FIREABLE(t48) AND NOT FIREABLE(t47) AND NOT FIREABLE(t46) AND NOT FIREABLE(t45) AND NOT FIREABLE(t44) AND NOT FIREABLE(t43) AND NOT FIREABLE(t42) AND NOT FIREABLE(t41) AND NOT FIREABLE(t40) AND NOT FIREABLE(t39) AND NOT FIREABLE(t38) AND NOT FIREABLE(t37) AND NOT FIREABLE(t36) AND NOT FIREABLE(t35) AND NOT FIREABLE(t34) AND NOT FIREABLE(t33) AND NOT FIREABLE(t32) AND NOT FIREABLE(t31) AND NOT FIREABLE(t30) AND NOT FIREABLE(t29) AND NOT FIREABLE(t28) AND NOT FIREABLE(t27) AND NOT FIREABLE(t26) AND NOT FIREABLE(t25) AND NOT FIREABLE(t24) AND NOT FIREABLE(t23) AND NOT FIREABLE(t22) AND NOT FIREABLE(t21) AND NOT FIREABLE(t20) AND NOT FIREABLE(t19) AND NOT FIREABLE(t18) AND NOT FIREABLE(t17) AND NOT FIREABLE(t16) AND NOT FIREABLE(t15) AND NOT FIREABLE(t14) AND NOT FIREABLE(t13) AND NOT FIREABLE(t12) AND NOT FIREABLE(t11) AND NOT FIREABLE(t10) AND NOT FIREABLE(t9) AND NOT FIREABLE(t8) AND NOT FIREABLE(t7) AND NOT FIREABLE(t6) AND NOT FIREABLE(t5) AND NOT FIREABLE(t4) AND NOT FIREABLE(t3) AND NOT FIREABLE(t2) AND NOT FIREABLE(t1) AND NOT FIREABLE(t0)) AND NOT FIREABLE(t244))
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 81 markings, 80 edges
lola: lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
========================================
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2790 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F ((FIREABLE(t2107) OR FIREABLE(t2106) OR FIREABLE(t2105) OR FIREABLE(t2104) OR FIREABLE(t2103) OR FIREABLE(t2102) OR FIREABLE(t2101) OR FIREABLE(t2100) OR FIREABLE(t2099) OR FIREABLE(t2098) OR FIREABLE(t2097) OR FIREABLE(t2096) OR FIREABLE(t2095) OR FIREABLE(t2094) OR FIREABLE(t2093) OR FIREABLE(t2092) OR FIREABLE(t2091) OR FIREABLE(t2090) OR FIREABLE(t2089) OR FIREABLE(... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2790 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(t2107) OR FIREABLE(t2106) OR FIREABLE(t2105) OR FIREABLE(t2104) OR FIREABLE(t2103) OR FIREABLE(t2102) OR FIREABLE(t2101) OR FIREABLE(t2100) OR FIREABLE(t2099) OR FIREABLE(t2098) OR FIREABLE(t2097) OR FIREABLE(t2096) OR FIREABLE(t2095) OR FIREABLE(t2094) OR FIREABLE(t2093) OR FIREABLE(t2092) OR FIREABLE(t2091) OR FIREABLE(t2090) OR FIREABLE(t2089) OR FIREABLE(t... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(t2107) OR FIREABLE(t2106) OR FIREABLE(t2105) OR FIREABLE(t2104) OR FIREABLE(t2103) OR FIREABLE(t2102) OR FIREABLE(t2101) OR FIREABLE(t2100) OR FIREABLE(t2099) OR FIREABLE(t2098) OR FIREABLE(t2097) OR FIREABLE(t2096) OR FIREABLE(t2095) OR FIREABLE(t2094) OR FIREABLE(t2093) OR FIREABLE(t2092) OR FIREABLE(t2091) OR FIREABLE(t2090) OR FIREABLE(t2089) OR FIREABLE(t... (shortened)
lola: processed formula length: 17609
lola: 35 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 674 markings, 674 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N10-LTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t244))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t244))))
lola: processed formula length: 26
lola: 35 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 1617 markings, 2298 edges, 323 markings/sec, 0 secs
lola: 3172 markings, 4626 edges, 311 markings/sec, 5 secs
lola: 4720 markings, 6943 edges, 310 markings/sec, 10 secs
lola: 6265 markings, 9256 edges, 309 markings/sec, 15 secs
lola: 7805 markings, 11561 edges, 308 markings/sec, 20 secs
lola: 9348 markings, 13871 edges, 309 markings/sec, 25 secs
lola: 10889 markings, 16182 edges, 308 markings/sec, 30 secs
lola: 12433 markings, 18494 edges, 309 markings/sec, 35 secs
lola: 13935 markings, 20651 edges, 300 markings/sec, 40 secs
lola: 15096 markings, 22345 edges, 232 markings/sec, 45 secs
lola: 16174 markings, 24016 edges, 216 markings/sec, 50 secs
lola: 17730 markings, 26093 edges, 311 markings/sec, 55 secs
lola: 19151 markings, 28868 edges, 284 markings/sec, 60 secs
lola: 20506 markings, 31901 edges, 271 markings/sec, 65 secs
lola: 21912 markings, 34937 edges, 281 markings/sec, 70 secs
lola: 23418 markings, 37973 edges, 301 markings/sec, 75 secs
lola: 24767 markings, 41010 edges, 270 markings/sec, 80 secs
lola: 26129 markings, 44027 edges, 272 markings/sec, 85 secs
lola: 27604 markings, 47061 edges, 295 markings/sec, 90 secs
lola: 29045 markings, 50047 edges, 288 markings/sec, 95 secs
lola: 30380 markings, 53113 edges, 267 markings/sec, 100 secs
lola: 31762 markings, 56110 edges, 276 markings/sec, 105 secs
lola: 33283 markings, 59152 edges, 304 markings/sec, 110 secs
lola: 34653 markings, 62141 edges, 274 markings/sec, 115 secs
lola: 35999 markings, 65200 edges, 269 markings/sec, 120 secs
lola: 37435 markings, 68193 edges, 287 markings/sec, 125 secs
lola: 38900 markings, 71217 edges, 293 markings/sec, 130 secs
lola: 40222 markings, 74205 edges, 264 markings/sec, 135 secs
lola: 41586 markings, 77227 edges, 273 markings/sec, 140 secs
lola: 43120 markings, 80303 edges, 307 markings/sec, 145 secs
lola: 44526 markings, 83294 edges, 281 markings/sec, 150 secs
lola: 45858 markings, 86360 edges, 266 markings/sec, 155 secs
lola: 47296 markings, 89387 edges, 288 markings/sec, 160 secs
lola: 48810 markings, 92471 edges, 303 markings/sec, 165 secs
lola: 50176 markings, 95455 edges, 273 markings/sec, 170 secs
lola: 51508 markings, 98543 edges, 266 markings/sec, 175 secs
lola: 53037 markings, 101607 edges, 306 markings/sec, 180 secs
lola: 54455 markings, 104669 edges, 284 markings/sec, 185 secs
lola: 55828 markings, 107634 edges, 275 markings/sec, 190 secs
lola: 57226 markings, 110719 edges, 280 markings/sec, 195 secs
lola: 58750 markings, 113735 edges, 305 markings/sec, 200 secs
lola: 60075 markings, 116749 edges, 265 markings/sec, 205 secs
lola: 61432 markings, 119728 edges, 271 markings/sec, 210 secs
lola: 62886 markings, 122773 edges, 291 markings/sec, 215 secs
lola: 64337 markings, 125787 edges, 290 markings/sec, 220 secs
lola: 65693 markings, 128818 edges, 271 markings/sec, 225 secs
lola: 67045 markings, 131826 edges, 270 markings/sec, 230 secs
lola: 68623 markings, 134991 edges, 316 markings/sec, 235 secs
lola: 69992 markings, 137994 edges, 274 markings/sec, 240 secs
lola: 71311 markings, 140902 edges, 264 markings/sec, 245 secs
lola: 72723 markings, 143919 edges, 282 markings/sec, 250 secs
lola: 74221 markings, 146946 edges, 300 markings/sec, 255 secs
lola: 75561 markings, 150016 edges, 268 markings/sec, 260 secs
lola: 76879 markings, 152965 edges, 264 markings/sec, 265 secs
lola: 78382 markings, 155979 edges, 301 markings/sec, 270 secs
lola: 79787 markings, 158984 edges, 281 markings/sec, 275 secs
lola: 81144 markings, 161987 edges, 271 markings/sec, 280 secs
lola: 82558 markings, 165063 edges, 283 markings/sec, 285 secs
lola: 84113 markings, 168230 edges, 311 markings/sec, 290 secs
lola: 85459 markings, 171210 edges, 269 markings/sec, 295 secs
lola: 86814 markings, 174254 edges, 271 markings/sec, 300 secs
lola: 88317 markings, 177317 edges, 301 markings/sec, 305 secs
lola: 89758 markings, 180359 edges, 288 markings/sec, 310 secs
lola: 91110 markings, 183392 edges, 270 markings/sec, 315 secs
lola: 92509 markings, 186436 edges, 280 markings/sec, 320 secs
lola: 94116 markings, 189600 edges, 321 markings/sec, 325 secs
lola: 95462 markings, 192677 edges, 269 markings/sec, 330 secs
lola: 96836 markings, 195681 edges, 275 markings/sec, 335 secs
lola: 98356 markings, 198869 edges, 304 markings/sec, 340 secs
lola: 99831 markings, 201939 edges, 295 markings/sec, 345 secs
lola: 101158 markings, 204981 edges, 265 markings/sec, 350 secs
lola: 102556 markings, 208002 edges, 280 markings/sec, 355 secs
lola: 104181 markings, 211188 edges, 325 markings/sec, 360 secs
lola: 105527 markings, 214233 edges, 269 markings/sec, 365 secs
lola: 106882 markings, 217275 edges, 271 markings/sec, 370 secs
lola: 108403 markings, 220435 edges, 304 markings/sec, 375 secs
lola: 109897 markings, 223499 edges, 299 markings/sec, 380 secs
lola: 111234 markings, 226571 edges, 267 markings/sec, 385 secs
lola: 112597 markings, 229556 edges, 273 markings/sec, 390 secs
lola: 114233 markings, 232793 edges, 327 markings/sec, 395 secs
lola: 115579 markings, 235751 edges, 269 markings/sec, 400 secs
lola: 116912 markings, 238835 edges, 267 markings/sec, 405 secs
lola: 118441 markings, 241981 edges, 306 markings/sec, 410 secs
lola: 119946 markings, 245099 edges, 301 markings/sec, 415 secs
lola: 121297 markings, 248121 edges, 270 markings/sec, 420 secs
lola: 122667 markings, 251164 edges, 274 markings/sec, 425 secs
lola: 124321 markings, 254452 edges, 331 markings/sec, 430 secs
lola: 125685 markings, 257432 edges, 273 markings/sec, 435 secs
lola: 127018 markings, 260515 edges, 267 markings/sec, 440 secs
lola: 128553 markings, 263675 edges, 307 markings/sec, 445 secs
lola: 130064 markings, 266803 edges, 302 markings/sec, 450 secs
lola: 131414 markings, 269834 edges, 270 markings/sec, 455 secs
lola: 132784 markings, 272872 edges, 274 markings/sec, 460 secs
lola: 134415 markings, 276120 edges, 326 markings/sec, 465 secs
lola: 135779 markings, 279100 edges, 273 markings/sec, 470 secs
lola: 137118 markings, 282177 edges, 268 markings/sec, 475 secs
lola: 138658 markings, 285359 edges, 308 markings/sec, 480 secs
lola: 140178 markings, 288501 edges, 304 markings/sec, 485 secs
lola: 141515 markings, 291499 edges, 267 markings/sec, 490 secs
lola: 142869 markings, 294512 edges, 271 markings/sec, 495 secs
lola: 144547 markings, 297845 edges, 336 markings/sec, 500 secs
lola: 145912 markings, 300836 edges, 273 markings/sec, 505 secs
lola: 147247 markings, 303926 edges, 267 markings/sec, 510 secs
lola: 148801 markings, 307117 edges, 311 markings/sec, 515 secs
lola: 150324 markings, 310247 edges, 305 markings/sec, 520 secs
lola: 151666 markings, 313315 edges, 268 markings/sec, 525 secs
lola: 153036 markings, 316320 edges, 274 markings/sec, 530 secs
lola: 154560 markings, 319375 edges, 305 markings/sec, 535 secs
lola: 155927 markings, 322376 edges, 273 markings/sec, 540 secs
lola: 157281 markings, 325389 edges, 271 markings/sec, 545 secs
lola: 158742 markings, 328469 edges, 292 markings/sec, 550 secs
lola: 160206 markings, 331478 edges, 293 markings/sec, 555 secs
lola: 161554 markings, 334527 edges, 270 markings/sec, 560 secs
lola: 162925 markings, 337570 edges, 274 markings/sec, 565 secs
lola: 164647 markings, 341023 edges, 344 markings/sec, 570 secs
lola: 166019 markings, 344041 edges, 274 markings/sec, 575 secs
lola: 167378 markings, 347042 edges, 272 markings/sec, 580 secs
lola: 168954 markings, 350365 edges, 315 markings/sec, 585 secs
lola: 170495 markings, 353557 edges, 308 markings/sec, 590 secs
lola: 171848 markings, 356584 edges, 271 markings/sec, 595 secs
lola: 173260 markings, 359714 edges, 282 markings/sec, 600 secs
lola: 174978 markings, 363082 edges, 344 markings/sec, 605 secs
lola: 176319 markings, 366144 edges, 268 markings/sec, 610 secs
lola: 177678 markings, 369158 edges, 272 markings/sec, 615 secs
lola: 179269 markings, 372471 edges, 318 markings/sec, 620 secs
lola: 180764 markings, 375635 edges, 299 markings/sec, 625 secs
lola: 182118 markings, 378647 edges, 271 markings/sec, 630 secs
lola: 183556 markings, 381778 edges, 288 markings/sec, 635 secs
lola: 185218 markings, 385165 edges, 332 markings/sec, 640 secs
lola: 186574 markings, 388152 edges, 271 markings/sec, 645 secs
lola: 187920 markings, 391192 edges, 269 markings/sec, 650 secs
lola: 189604 markings, 394615 edges, 337 markings/sec, 655 secs
lola: 191056 markings, 397685 edges, 290 markings/sec, 660 secs
lola: 192400 markings, 400738 edges, 269 markings/sec, 665 secs
lola: 193927 markings, 403993 edges, 305 markings/sec, 670 secs
lola: 195557 markings, 407298 edges, 326 markings/sec, 675 secs
lola: 196897 markings, 410368 edges, 268 markings/sec, 680 secs
lola: 198264 markings, 413397 edges, 273 markings/sec, 685 secs
lola: 200044 markings, 416969 edges, 356 markings/sec, 690 secs
lola: 201416 markings, 419981 edges, 274 markings/sec, 695 secs
lola: 202772 markings, 422991 edges, 271 markings/sec, 700 secs
lola: 204390 markings, 426389 edges, 324 markings/sec, 705 secs
lola: 205947 markings, 429588 edges, 311 markings/sec, 710 secs
lola: 207286 markings, 432666 edges, 268 markings/sec, 715 secs
lola: 208735 markings, 435816 edges, 290 markings/sec, 720 secs
lola: 210458 markings, 439290 edges, 345 markings/sec, 725 secs
lola: 211809 markings, 442322 edges, 270 markings/sec, 730 secs
lola: 213169 markings, 445344 edges, 272 markings/sec, 735 secs
lola: 214891 markings, 448869 edges, 344 markings/sec, 740 secs
lola: 216352 markings, 451946 edges, 292 markings/sec, 745 secs
lola: 217690 markings, 455013 edges, 268 markings/sec, 750 secs
lola: 219244 markings, 458307 edges, 311 markings/sec, 755 secs
lola: 220877 markings, 461664 edges, 327 markings/sec, 760 secs
lola: 222226 markings, 464697 edges, 270 markings/sec, 765 secs
lola: 223597 markings, 467746 edges, 274 markings/sec, 770 secs
lola: 225417 markings, 471366 edges, 364 markings/sec, 775 secs
lola: 226779 markings, 474343 edges, 272 markings/sec, 780 secs
lola: 228112 markings, 477417 edges, 267 markings/sec, 785 secs
lola: 229792 markings, 480877 edges, 336 markings/sec, 790 secs
lola: 231315 markings, 484098 edges, 305 markings/sec, 795 secs
lola: 232668 markings, 487107 edges, 271 markings/sec, 800 secs
lola: 234138 markings, 490301 edges, 294 markings/sec, 805 secs
lola: 235839 markings, 493764 edges, 340 markings/sec, 810 secs
lola: 237201 markings, 496728 edges, 272 markings/sec, 815 secs
lola: 238539 markings, 499837 edges, 268 markings/sec, 820 secs
lola: 240343 markings, 503455 edges, 361 markings/sec, 825 secs
lola: 241723 markings, 506445 edges, 276 markings/sec, 830 secs
lola: 243074 markings, 509460 edges, 270 markings/sec, 835 secs
lola: 244666 markings, 512831 edges, 318 markings/sec, 840 secs
lola: 246277 markings, 516183 edges, 322 markings/sec, 845 secs
lola: 247636 markings, 519163 edges, 272 markings/sec, 850 secs
lola: 249049 markings, 522330 edges, 283 markings/sec, 855 secs
lola: 250858 markings, 525937 edges, 362 markings/sec, 860 secs
lola: 252197 markings, 528993 edges, 268 markings/sec, 865 secs
lola: 253554 markings, 531946 edges, 271 markings/sec, 870 secs
lola: 255304 markings, 535583 edges, 350 markings/sec, 875 secs
lola: 256755 markings, 538659 edges, 290 markings/sec, 880 secs
lola: 258101 markings, 541694 edges, 269 markings/sec, 885 secs
lola: 259672 markings, 545051 edges, 314 markings/sec, 890 secs
lola: 261340 markings, 548501 edges, 334 markings/sec, 895 secs
lola: 262700 markings, 551516 edges, 272 markings/sec, 900 secs
lola: 264091 markings, 554622 edges, 278 markings/sec, 905 secs
lola: 265966 markings, 558304 edges, 375 markings/sec, 910 secs
lola: 267309 markings, 561372 edges, 269 markings/sec, 915 secs
lola: 268647 markings, 564354 edges, 268 markings/sec, 920 secs
lola: 270405 markings, 567991 edges, 352 markings/sec, 925 secs
lola: 271906 markings, 571176 edges, 300 markings/sec, 930 secs
lola: 273259 markings, 574211 edges, 271 markings/sec, 935 secs
lola: 274842 markings, 577597 edges, 317 markings/sec, 940 secs
lola: 276521 markings, 581087 edges, 336 markings/sec, 945 secs
lola: 277885 markings, 584084 edges, 273 markings/sec, 950 secs
lola: 279277 markings, 587202 edges, 278 markings/sec, 955 secs
lola: 281147 markings, 590890 edges, 374 markings/sec, 960 secs
lola: 282461 markings, 593870 edges, 263 markings/sec, 965 secs
lola: 283792 markings, 596862 edges, 266 markings/sec, 970 secs
lola: 285544 markings, 600477 edges, 350 markings/sec, 975 secs
lola: 287053 markings, 603687 edges, 302 markings/sec, 980 secs
lola: 288410 markings, 606706 edges, 271 markings/sec, 985 secs
lola: 289995 markings, 610111 edges, 317 markings/sec, 990 secs
lola: 291688 markings, 613631 edges, 339 markings/sec, 995 secs
lola: 293052 markings, 616625 edges, 273 markings/sec, 1000 secs
lola: 294372 markings, 619598 edges, 264 markings/sec, 1005 secs
lola: 296269 markings, 623333 edges, 379 markings/sec, 1010 secs
lola: 297615 markings, 626375 edges, 269 markings/sec, 1015 secs
lola: 298972 markings, 629423 edges, 271 markings/sec, 1020 secs
lola: 300748 markings, 633095 edges, 355 markings/sec, 1025 secs
lola: 302253 markings, 636277 edges, 301 markings/sec, 1030 secs
lola: 303599 markings, 639317 edges, 269 markings/sec, 1035 secs
lola: 305212 markings, 642755 edges, 323 markings/sec, 1040 secs
lola: 306884 markings, 646256 edges, 334 markings/sec, 1045 secs
lola: 308253 markings, 649217 edges, 274 markings/sec, 1050 secs
lola: 309643 markings, 652350 edges, 278 markings/sec, 1055 secs
lola: 311540 markings, 656156 edges, 379 markings/sec, 1060 secs
lola: 312886 markings, 659208 edges, 269 markings/sec, 1065 secs
lola: 314224 markings, 662128 edges, 268 markings/sec, 1070 secs
lola: 316087 markings, 665981 edges, 373 markings/sec, 1075 secs
lola: 317533 markings, 669089 edges, 289 markings/sec, 1080 secs
lola: 318840 markings, 672061 edges, 261 markings/sec, 1085 secs
lola: 320509 markings, 675557 edges, 334 markings/sec, 1090 secs
lola: 322174 markings, 678981 edges, 333 markings/sec, 1095 secs
lola: 323516 markings, 682019 edges, 268 markings/sec, 1100 secs
lola: 324994 markings, 685262 edges, 296 markings/sec, 1105 secs
lola: 326854 markings, 689029 edges, 372 markings/sec, 1110 secs
lola: 328214 markings, 692024 edges, 272 markings/sec, 1115 secs
lola: 329535 markings, 695077 edges, 264 markings/sec, 1120 secs
lola: 331520 markings, 699055 edges, 397 markings/sec, 1125 secs
lola: 332888 markings, 702045 edges, 274 markings/sec, 1130 secs
lola: 334231 markings, 705075 edges, 269 markings/sec, 1135 secs
lola: 336013 markings, 708775 edges, 356 markings/sec, 1140 secs
lola: 337565 markings, 712095 edges, 310 markings/sec, 1145 secs
lola: 338924 markings, 715058 edges, 272 markings/sec, 1150 secs
lola: 340504 markings, 718491 edges, 316 markings/sec, 1155 secs
lola: 342246 markings, 722115 edges, 348 markings/sec, 1160 secs
lola: 343602 markings, 725090 edges, 271 markings/sec, 1165 secs
lola: 344971 markings, 728158 edges, 274 markings/sec, 1170 secs
lola: 346895 markings, 731987 edges, 385 markings/sec, 1175 secs
lola: 348194 markings, 734923 edges, 260 markings/sec, 1180 secs
lola: 349478 markings, 737817 edges, 257 markings/sec, 1185 secs
lola: 351325 markings, 741609 edges, 369 markings/sec, 1190 secs
lola: 352810 markings, 744753 edges, 297 markings/sec, 1195 secs
lola: 354143 markings, 747759 edges, 267 markings/sec, 1200 secs
lola: 355765 markings, 751221 edges, 324 markings/sec, 1205 secs
lola: 357478 markings, 754786 edges, 343 markings/sec, 1210 secs
lola: 358833 markings, 757736 edges, 271 markings/sec, 1215 secs
lola: 360231 markings, 760884 edges, 280 markings/sec, 1220 secs
lola: 362175 markings, 764857 edges, 389 markings/sec, 1225 secs
lola: 363544 markings, 767835 edges, 274 markings/sec, 1230 secs
lola: 364885 markings, 770913 edges, 268 markings/sec, 1235 secs
lola: 366912 markings, 774991 edges, 405 markings/sec, 1240 secs
lola: 368259 markings, 777946 edges, 269 markings/sec, 1245 secs
lola: 369595 markings, 780933 edges, 267 markings/sec, 1250 secs
lola: 371419 markings, 784739 edges, 365 markings/sec, 1255 secs
lola: 372993 markings, 788083 edges, 315 markings/sec, 1260 secs
lola: 374354 markings, 791116 edges, 272 markings/sec, 1265 secs
lola: 375921 markings, 794475 edges, 313 markings/sec, 1270 secs
lola: 377623 markings, 798013 edges, 340 markings/sec, 1275 secs
lola: 378927 markings, 800924 edges, 261 markings/sec, 1280 secs
lola: 380317 markings, 804002 edges, 278 markings/sec, 1285 secs
lola: 382264 markings, 807863 edges, 389 markings/sec, 1290 secs
lola: 383616 markings, 810956 edges, 270 markings/sec, 1295 secs
lola: 384992 markings, 813966 edges, 275 markings/sec, 1300 secs
lola: 386833 markings, 817777 edges, 368 markings/sec, 1305 secs
lola: 388288 markings, 820889 edges, 291 markings/sec, 1310 secs
lola: 389647 markings, 823968 edges, 272 markings/sec, 1315 secs
lola: 391312 markings, 827467 edges, 333 markings/sec, 1320 secs
lola: 392981 markings, 830888 edges, 334 markings/sec, 1325 secs
lola: 394325 markings, 833980 edges, 269 markings/sec, 1330 secs
lola: 395788 markings, 837154 edges, 293 markings/sec, 1335 secs
lola: 397613 markings, 840864 edges, 365 markings/sec, 1340 secs
lola: 398969 markings, 843824 edges, 271 markings/sec, 1345 secs
lola: 400301 markings, 846913 edges, 266 markings/sec, 1350 secs
lola: 402220 markings, 850761 edges, 384 markings/sec, 1355 secs
lola: 403600 markings, 853804 edges, 276 markings/sec, 1360 secs
lola: 404937 markings, 856727 edges, 267 markings/sec, 1365 secs
lola: 406629 markings, 860307 edges, 338 markings/sec, 1370 secs
lola: 408274 markings, 863810 edges, 329 markings/sec, 1375 secs
lola: 409724 markings, 866993 edges, 290 markings/sec, 1380 secs
lola: 411346 markings, 870479 edges, 324 markings/sec, 1385 secs
lola: 413558 markings, 875104 edges, 442 markings/sec, 1390 secs
lola: 415803 markings, 880124 edges, 449 markings/sec, 1395 secs
lola: 417917 markings, 884128 edges, 423 markings/sec, 1400 secs
lola: 419426 markings, 887146 edges, 302 markings/sec, 1405 secs
lola: 420997 markings, 890288 edges, 314 markings/sec, 1410 secs
lola: 422613 markings, 893520 edges, 323 markings/sec, 1415 secs
lola: 424231 markings, 896754 edges, 324 markings/sec, 1420 secs
lola: 425919 markings, 900130 edges, 338 markings/sec, 1425 secs
lola: 427695 markings, 903684 edges, 355 markings/sec, 1430 secs
lola: 429541 markings, 907376 edges, 369 markings/sec, 1435 secs
lola: 431509 markings, 911310 edges, 394 markings/sec, 1440 secs
lola: 433508 markings, 915310 edges, 400 markings/sec, 1445 secs
lola: 435599 markings, 919492 edges, 418 markings/sec, 1450 secs
lola: 437532 markings, 923638 edges, 387 markings/sec, 1455 secs
lola: 439431 markings, 928375 edges, 380 markings/sec, 1460 secs
lola: 441276 markings, 932974 edges, 369 markings/sec, 1465 secs
lola: 443146 markings, 937637 edges, 374 markings/sec, 1470 secs
lola: 444967 markings, 942180 edges, 364 markings/sec, 1475 secs
lola: 446801 markings, 946753 edges, 367 markings/sec, 1480 secs
lola: 448634 markings, 951323 edges, 367 markings/sec, 1485 secs
lola: 450254 markings, 954732 edges, 324 markings/sec, 1490 secs
lola: 451618 markings, 957830 edges, 273 markings/sec, 1495 secs
lola: 453006 markings, 960966 edges, 278 markings/sec, 1500 secs
lola: 454379 markings, 964111 edges, 275 markings/sec, 1505 secs
lola: 455772 markings, 967222 edges, 279 markings/sec, 1510 secs
lola: 457137 markings, 970379 edges, 273 markings/sec, 1515 secs
lola: 458531 markings, 973472 edges, 279 markings/sec, 1520 secs
lola: 459894 markings, 976641 edges, 273 markings/sec, 1525 secs
lola: 461286 markings, 979735 edges, 278 markings/sec, 1530 secs
lola: 462659 markings, 982914 edges, 275 markings/sec, 1535 secs
lola: 464043 markings, 986004 edges, 277 markings/sec, 1540 secs
lola: 465390 markings, 989116 edges, 269 markings/sec, 1545 secs
lola: 466752 markings, 992129 edges, 272 markings/sec, 1550 secs
lola: 468116 markings, 995297 edges, 273 markings/sec, 1555 secs
lola: 469592 markings, 998510 edges, 295 markings/sec, 1560 secs
lola: 471037 markings, 1001371 edges, 289 markings/sec, 1565 secs
lola: 472442 markings, 1004181 edges, 281 markings/sec, 1570 secs
lola: 473826 markings, 1006949 edges, 277 markings/sec, 1575 secs
lola: 475251 markings, 1009799 edges, 285 markings/sec, 1580 secs
lola: 476659 markings, 1012615 edges, 282 markings/sec, 1585 secs
lola: 478110 markings, 1015515 edges, 290 markings/sec, 1590 secs
lola: 479543 markings, 1018383 edges, 287 markings/sec, 1595 secs
lola: 480998 markings, 1021293 edges, 291 markings/sec, 1600 secs
lola: 482454 markings, 1024205 edges, 291 markings/sec, 1605 secs
lola: 483983 markings, 1027062 edges, 306 markings/sec, 1610 secs
lola: 485397 markings, 1029892 edges, 283 markings/sec, 1615 secs
lola: 486816 markings, 1032730 edges, 284 markings/sec, 1620 secs
lola: 488223 markings, 1035544 edges, 281 markings/sec, 1625 secs
lola: 489801 markings, 1038700 edges, 316 markings/sec, 1630 secs
lola: 491585 markings, 1042266 edges, 357 markings/sec, 1635 secs
lola: 493437 markings, 1045972 edges, 370 markings/sec, 1640 secs
lola: 495438 markings, 1049974 edges, 400 markings/sec, 1645 secs
lola: 497490 markings, 1054078 edges, 410 markings/sec, 1650 secs
lola: 499227 markings, 1057353 edges, 347 markings/sec, 1655 secs
lola: 500771 markings, 1060439 edges, 309 markings/sec, 1660 secs
lola: 502374 markings, 1063647 edges, 321 markings/sec, 1665 secs
lola: 504020 markings, 1066938 edges, 329 markings/sec, 1670 secs
lola: 505794 markings, 1070487 edges, 355 markings/sec, 1675 secs
lola: 507654 markings, 1074207 edges, 372 markings/sec, 1680 secs
lola: 509598 markings, 1078095 edges, 389 markings/sec, 1685 secs
lola: 511694 markings, 1082285 edges, 419 markings/sec, 1690 secs
lola: 513560 markings, 1085817 edges, 373 markings/sec, 1695 secs
lola: 515115 markings, 1088920 edges, 311 markings/sec, 1700 secs
lola: 516714 markings, 1092109 edges, 320 markings/sec, 1705 secs
lola: 518352 markings, 1095376 edges, 328 markings/sec, 1710 secs
lola: 520107 markings, 1098876 edges, 351 markings/sec, 1715 secs
lola: 521928 markings, 1102508 edges, 364 markings/sec, 1720 secs
lola: 523871 markings, 1106381 edges, 389 markings/sec, 1725 secs
lola: 525951 markings, 1110532 edges, 416 markings/sec, 1730 secs
lola: 527853 markings, 1114130 edges, 380 markings/sec, 1735 secs
lola: 529383 markings, 1117180 edges, 306 markings/sec, 1740 secs
lola: 530996 markings, 1120395 edges, 323 markings/sec, 1745 secs
lola: 532656 markings, 1123708 edges, 332 markings/sec, 1750 secs
lola: 534336 markings, 1127058 edges, 336 markings/sec, 1755 secs
lola: 536168 markings, 1130710 edges, 366 markings/sec, 1760 secs
lola: 538079 markings, 1134522 edges, 382 markings/sec, 1765 secs
lola: 540161 markings, 1138674 edges, 416 markings/sec, 1770 secs
lola: 542183 markings, 1142695 edges, 404 markings/sec, 1775 secs
lola: 543741 markings, 1145626 edges, 312 markings/sec, 1780 secs
lola: 545322 markings, 1148788 edges, 316 markings/sec, 1785 secs
lola: 546966 markings, 1152076 edges, 329 markings/sec, 1790 secs
lola: 548589 markings, 1155322 edges, 325 markings/sec, 1795 secs
lola: 550398 markings, 1158940 edges, 362 markings/sec, 1800 secs
lola: 552294 markings, 1162732 edges, 379 markings/sec, 1805 secs
lola: 554304 markings, 1166752 edges, 402 markings/sec, 1810 secs
lola: 556352 markings, 1170846 edges, 410 markings/sec, 1815 secs
lola: 558015 markings, 1173975 edges, 333 markings/sec, 1820 secs
lola: 559595 markings, 1177133 edges, 316 markings/sec, 1825 secs
lola: 561237 markings, 1180419 edges, 328 markings/sec, 1830 secs
lola: 562904 markings, 1183751 edges, 333 markings/sec, 1835 secs
lola: 564695 markings, 1187333 edges, 358 markings/sec, 1840 secs
lola: 566592 markings, 1191129 edges, 379 markings/sec, 1845 secs
lola: 568581 markings, 1195107 edges, 398 markings/sec, 1850 secs
lola: 570669 markings, 1199283 edges, 418 markings/sec, 1855 secs
lola: 572435 markings, 1202614 edges, 353 markings/sec, 1860 secs
lola: 574008 markings, 1205762 edges, 315 markings/sec, 1865 secs
lola: 575642 markings, 1209028 edges, 327 markings/sec, 1870 secs
lola: 577299 markings, 1212344 edges, 331 markings/sec, 1875 secs
lola: 579080 markings, 1215904 edges, 356 markings/sec, 1880 secs
lola: 580962 markings, 1219670 edges, 376 markings/sec, 1885 secs
lola: 582963 markings, 1223672 edges, 400 markings/sec, 1890 secs
lola: 585057 markings, 1227860 edges, 419 markings/sec, 1895 secs
lola: 586884 markings, 1231315 edges, 365 markings/sec, 1900 secs
lola: 588458 markings, 1234461 edges, 315 markings/sec, 1905 secs
lola: 590088 markings, 1237723 edges, 326 markings/sec, 1910 secs
lola: 591738 markings, 1241023 edges, 330 markings/sec, 1915 secs
lola: 593511 markings, 1244569 edges, 355 markings/sec, 1920 secs
lola: 595382 markings, 1248309 edges, 374 markings/sec, 1925 secs
lola: 597369 markings, 1252285 edges, 397 markings/sec, 1930 secs
lola: 599469 markings, 1256485 edges, 420 markings/sec, 1935 secs
lola: 601355 markings, 1260056 edges, 377 markings/sec, 1940 secs
lola: 602922 markings, 1263192 edges, 313 markings/sec, 1945 secs
lola: 604542 markings, 1266432 edges, 324 markings/sec, 1950 secs
lola: 606189 markings, 1269726 edges, 329 markings/sec, 1955 secs
lola: 607956 markings, 1273260 edges, 353 markings/sec, 1960 secs
lola: 609819 markings, 1276986 edges, 373 markings/sec, 1965 secs
lola: 611799 markings, 1280946 edges, 396 markings/sec, 1970 secs
lola: 613895 markings, 1285136 edges, 419 markings/sec, 1975 secs
lola: 615893 markings, 1289247 edges, 400 markings/sec, 1980 secs
lola: 617799 markings, 1293980 edges, 381 markings/sec, 1985 secs
lola: 619695 markings, 1298688 edges, 379 markings/sec, 1990 secs
lola: 621584 markings, 1303377 edges, 378 markings/sec, 1995 secs
lola: 623468 markings, 1308055 edges, 377 markings/sec, 2000 secs
lola: 625337 markings, 1312309 edges, 374 markings/sec, 2005 secs
lola: 626722 markings, 1315373 edges, 277 markings/sec, 2010 secs
lola: 628094 markings, 1318551 edges, 274 markings/sec, 2015 secs
lola: 629487 markings, 1321678 edges, 279 markings/sec, 2020 secs
lola: 630873 markings, 1324830 edges, 277 markings/sec, 2025 secs
lola: 632249 markings, 1327985 edges, 275 markings/sec, 2030 secs
lola: 633644 markings, 1331109 edges, 279 markings/sec, 2035 secs
lola: 635023 markings, 1334285 edges, 276 markings/sec, 2040 secs
lola: 636404 markings, 1337414 edges, 276 markings/sec, 2045 secs
lola: 637798 markings, 1340547 edges, 279 markings/sec, 2050 secs
lola: 639169 markings, 1343718 edges, 274 markings/sec, 2055 secs
lola: 640565 markings, 1346856 edges, 279 markings/sec, 2060 secs
lola: 642079 markings, 1350205 edges, 303 markings/sec, 2065 secs
lola: 643516 markings, 1353070 edges, 287 markings/sec, 2070 secs
lola: 644919 markings, 1355876 edges, 281 markings/sec, 2075 secs
lola: 646334 markings, 1358706 edges, 283 markings/sec, 2080 secs
lola: 647758 markings, 1361554 edges, 285 markings/sec, 2085 secs
lola: 649187 markings, 1364412 edges, 286 markings/sec, 2090 secs
lola: 650626 markings, 1367290 edges, 288 markings/sec, 2095 secs
lola: 652073 markings, 1370182 edges, 289 markings/sec, 2100 secs
lola: 653527 markings, 1373092 edges, 291 markings/sec, 2105 secs
lola: 655012 markings, 1375883 edges, 297 markings/sec, 2110 secs
lola: 656431 markings, 1378721 edges, 284 markings/sec, 2115 secs
lola: 657855 markings, 1381567 edges, 285 markings/sec, 2120 secs
lola: 659521 markings, 1384901 edges, 333 markings/sec, 2125 secs
lola: 661354 markings, 1388567 edges, 367 markings/sec, 2130 secs
lola: 663327 markings, 1392511 edges, 395 markings/sec, 2135 secs
lola: 665379 markings, 1396615 edges, 410 markings/sec, 2140 secs
lola: 667090 markings, 1399860 edges, 342 markings/sec, 2145 secs
lola: 668680 markings, 1403040 edges, 318 markings/sec, 2150 secs
lola: 670330 markings, 1406340 edges, 330 markings/sec, 2155 secs
lola: 672051 markings, 1409780 edges, 344 markings/sec, 2160 secs
lola: 673921 markings, 1413522 edges, 374 markings/sec, 2165 secs
lola: 675939 markings, 1417556 edges, 404 markings/sec, 2170 secs
lola: 678022 markings, 1421724 edges, 417 markings/sec, 2175 secs
lola: 679645 markings, 1424784 edges, 325 markings/sec, 2180 secs
lola: 681256 markings, 1427995 edges, 322 markings/sec, 2185 secs
lola: 682891 markings, 1431254 edges, 327 markings/sec, 2190 secs
lola: 684681 markings, 1434820 edges, 358 markings/sec, 2195 secs
lola: 686587 markings, 1438622 edges, 381 markings/sec, 2200 secs
lola: 688627 markings, 1442688 edges, 408 markings/sec, 2205 secs
lola: 690616 markings, 1446565 edges, 398 markings/sec, 2210 secs
lola: 692148 markings, 1449528 edges, 306 markings/sec, 2215 secs
lola: 693766 markings, 1452755 edges, 324 markings/sec, 2220 secs
lola: 695407 markings, 1456026 edges, 328 markings/sec, 2225 secs
lola: 697191 markings, 1459581 edges, 357 markings/sec, 2230 secs
lola: 699121 markings, 1463430 edges, 386 markings/sec, 2235 secs
lola: 701181 markings, 1467534 edges, 412 markings/sec, 2240 secs
lola: 703093 markings, 1471171 edges, 382 markings/sec, 2245 secs
lola: 704641 markings, 1474267 edges, 310 markings/sec, 2250 secs
lola: 706276 markings, 1477537 edges, 327 markings/sec, 2255 secs
lola: 707959 markings, 1480903 edges, 337 markings/sec, 2260 secs
lola: 709782 markings, 1484547 edges, 365 markings/sec, 2265 secs
lola: 711711 markings, 1488405 edges, 386 markings/sec, 2270 secs
lola: 713791 markings, 1492567 edges, 416 markings/sec, 2275 secs
lola: 715635 markings, 1496074 edges, 369 markings/sec, 2280 secs
lola: 717211 markings, 1499228 edges, 315 markings/sec, 2285 secs
lola: 718858 markings, 1502522 edges, 329 markings/sec, 2290 secs
lola: 720538 markings, 1505882 edges, 336 markings/sec, 2295 secs
lola: 722379 markings, 1509562 edges, 368 markings/sec, 2300 secs
lola: 724357 markings, 1513520 edges, 396 markings/sec, 2305 secs
lola: 726432 markings, 1517668 edges, 415 markings/sec, 2310 secs
lola: 728179 markings, 1520985 edges, 349 markings/sec, 2315 secs
lola: 729745 markings, 1524117 edges, 313 markings/sec, 2320 secs
lola: 731368 markings, 1527363 edges, 325 markings/sec, 2325 secs
lola: 733042 markings, 1530711 edges, 335 markings/sec, 2330 secs
lola: 734878 markings, 1534383 edges, 367 markings/sec, 2335 secs
lola: 736816 markings, 1538259 edges, 388 markings/sec, 2340 secs
lola: 738883 markings, 1542393 edges, 413 markings/sec, 2345 secs
lola: 740566 markings, 1545580 edges, 337 markings/sec, 2350 secs
lola: 742165 markings, 1548778 edges, 320 markings/sec, 2355 secs
lola: 743776 markings, 1552000 edges, 322 markings/sec, 2360 secs
lola: 745522 markings, 1555492 edges, 349 markings/sec, 2365 secs
lola: 747409 markings, 1559266 edges, 377 markings/sec, 2370 secs
lola: 749419 markings, 1563286 edges, 402 markings/sec, 2375 secs
lola: 751530 markings, 1567506 edges, 422 markings/sec, 2380 secs
lola: 753117 markings, 1570501 edges, 317 markings/sec, 2385 secs
lola: 754708 markings, 1573685 edges, 318 markings/sec, 2390 secs
lola: 756361 markings, 1576991 edges, 331 markings/sec, 2395 secs
lola: 758115 markings, 1580497 edges, 351 markings/sec, 2400 secs
lola: 760020 markings, 1584307 edges, 381 markings/sec, 2405 secs
lola: 762066 markings, 1588399 edges, 409 markings/sec, 2410 secs
lola: 764081 markings, 1592398 edges, 403 markings/sec, 2415 secs
lola: 765993 markings, 1597140 edges, 382 markings/sec, 2420 secs
lola: 767891 markings, 1601847 edges, 380 markings/sec, 2425 secs
lola: 769739 markings, 1606431 edges, 370 markings/sec, 2430 secs
lola: 771607 markings, 1611063 edges, 374 markings/sec, 2435 secs
lola: 773142 markings, 1614295 edges, 307 markings/sec, 2440 secs
lola: 774539 markings, 1617443 edges, 279 markings/sec, 2445 secs
lola: 775904 markings, 1620561 edges, 273 markings/sec, 2450 secs
lola: 777282 markings, 1623720 edges, 276 markings/sec, 2455 secs
lola: 778646 markings, 1626836 edges, 273 markings/sec, 2460 secs
lola: 780036 markings, 1630017 edges, 278 markings/sec, 2465 secs
lola: 781441 markings, 1633187 edges, 281 markings/sec, 2470 secs
lola: 782821 markings, 1636310 edges, 276 markings/sec, 2475 secs
lola: 784207 markings, 1639493 edges, 277 markings/sec, 2480 secs
lola: 785690 markings, 1642811 edges, 297 markings/sec, 2485 secs
lola: 787087 markings, 1645603 edges, 279 markings/sec, 2490 secs
lola: 788472 markings, 1648371 edges, 277 markings/sec, 2495 secs
lola: 789873 markings, 1651175 edges, 280 markings/sec, 2500 secs
lola: 791290 markings, 1654007 edges, 283 markings/sec, 2505 secs
lola: 792699 markings, 1656825 edges, 282 markings/sec, 2510 secs
lola: 794114 markings, 1659657 edges, 283 markings/sec, 2515 secs
lola: 795608 markings, 1662486 edges, 299 markings/sec, 2520 secs
lola: 797002 markings, 1665272 edges, 279 markings/sec, 2525 secs
lola: 798428 markings, 1668126 edges, 285 markings/sec, 2530 secs
lola: 800129 markings, 1671528 edges, 340 markings/sec, 2535 secs
lola: 802016 markings, 1675302 edges, 377 markings/sec, 2540 secs
lola: 804062 markings, 1679394 edges, 409 markings/sec, 2545 secs
lola: 805825 markings, 1682759 edges, 353 markings/sec, 2550 secs
lola: 807427 markings, 1685963 edges, 320 markings/sec, 2555 secs
lola: 809080 markings, 1689269 edges, 331 markings/sec, 2560 secs
lola: 810824 markings, 1692759 edges, 349 markings/sec, 2565 secs
lola: 812801 markings, 1696713 edges, 395 markings/sec, 2570 secs
lola: 814841 markings, 1700738 edges, 408 markings/sec, 2575 secs
lola: 816382 markings, 1703703 edges, 308 markings/sec, 2580 secs
lola: 818003 markings, 1706934 edges, 324 markings/sec, 2585 secs
lola: 819707 markings, 1710327 edges, 341 markings/sec, 2590 secs
lola: 821588 markings, 1714074 edges, 376 markings/sec, 2595 secs
lola: 823628 markings, 1718137 edges, 408 markings/sec, 2600 secs
lola: 825383 markings, 1721476 edges, 351 markings/sec, 2605 secs
lola: 826928 markings, 1724553 edges, 309 markings/sec, 2610 secs
lola: 828571 markings, 1727823 edges, 329 markings/sec, 2615 secs
lola: 830360 markings, 1731389 edges, 358 markings/sec, 2620 secs
lola: 832321 markings, 1735292 edges, 392 markings/sec, 2625 secs
lola: 834352 markings, 1739339 edges, 406 markings/sec, 2630 secs
lola: 835922 markings, 1742320 edges, 314 markings/sec, 2635 secs
lola: 837536 markings, 1745548 edges, 323 markings/sec, 2640 secs
lola: 839233 markings, 1748940 edges, 339 markings/sec, 2645 secs
lola: 841100 markings, 1752676 edges, 373 markings/sec, 2650 secs
lola: 843146 markings, 1756768 edges, 409 markings/sec, 2655 secs
lola: 844964 markings, 1760245 edges, 364 markings/sec, 2660 secs
lola: 846536 markings, 1763389 edges, 314 markings/sec, 2665 secs
lola: 848177 markings, 1766671 edges, 328 markings/sec, 2670 secs
lola: 849941 markings, 1770199 edges, 353 markings/sec, 2675 secs
lola: 851885 markings, 1774087 edges, 389 markings/sec, 2680 secs
lola: 853961 markings, 1778239 edges, 415 markings/sec, 2685 secs
lola: 855550 markings, 1781256 edges, 318 markings/sec, 2690 secs
lola: 857173 markings, 1784502 edges, 325 markings/sec, 2695 secs
lola: 858871 markings, 1787898 edges, 340 markings/sec, 2700 secs
lola: 860735 markings, 1791628 edges, 373 markings/sec, 2705 secs
lola: 862778 markings, 1795714 edges, 409 markings/sec, 2710 secs
lola: 864616 markings, 1799231 edges, 368 markings/sec, 2715 secs
lola: 866197 markings, 1802391 edges, 316 markings/sec, 2720 secs
lola: 867839 markings, 1805677 edges, 328 markings/sec, 2725 secs
lola: 869630 markings, 1809259 edges, 358 markings/sec, 2730 secs
lola: 871562 markings, 1813123 edges, 386 markings/sec, 2735 secs
lola: 873575 markings, 1817149 edges, 403 markings/sec, 2740 secs
lola: 875186 markings, 1820212 edges, 322 markings/sec, 2745 secs
lola: 876799 markings, 1823436 edges, 323 markings/sec, 2750 secs
lola: 878474 markings, 1826788 edges, 335 markings/sec, 2755 secs
lola: 880324 markings, 1830486 edges, 370 markings/sec, 2760 secs
lola: 882343 markings, 1834524 edges, 404 markings/sec, 2765 secs
lola: 884319 markings, 1838709 edges, 395 markings/sec, 2770 secs
lola: 886211 markings, 1843393 edges, 378 markings/sec, 2775 secs
lola: 888113 markings, 1848100 edges, 380 markings/sec, 2780 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no no no no yes no no no unknown yes no no no no no
lola:
preliminary result: yes no no no no yes no no no unknown yes no no no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no no no no yes no no no unknown yes no no no no no
lola: memory consumption: 158696 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no no no no yes no no no unknown yes no no no no no
lola: memory consumption: 158696 KB
lola: time consumption: 3569 seconds

BK_STOP 1527444993195

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-COL-V80P20N10"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V80P20N10.tgz
mv BridgeAndVehicles-COL-V80P20N10 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is BridgeAndVehicles-COL-V80P20N10, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r220-ebro-152732362600062"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;