fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r080-ebro-149441010300277
Last Updated
June 27, 2017

About the Execution of ITS-Tools for TokenRing-COL-050

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
13957.620 3600000.00 9091824.00 2294.90 F?FT?T?TT??FTT?T 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)
..................
=====================================================================
Generated by BenchKit 2-3253
Executing tool itstools
Input is TokenRing-COL-050, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r080-ebro-149441010300277
=====================================================================


--------------------
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 TokenRing-COL-050-ReachabilityCardinality-0
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-1
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-10
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-11
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-12
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-13
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-14
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-15
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-2
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-3
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-4
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-5
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-6
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-7
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-8
FORMULA_NAME TokenRing-COL-050-ReachabilityCardinality-9

=== Now, execution of the tool begins

BK_START 1496417999469

FORMULA TokenRing-COL-050-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-COL-050-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-COL-050-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-COL-050-ReachabilityCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-COL-050-ReachabilityCardinality-9 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-COL-050-ReachabilityCardinality-7 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-COL-050-ReachabilityCardinality-6 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-COL-050-ReachabilityCardinality-5 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-COL-050-ReachabilityCardinality-2 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-COL-050-ReachabilityCardinality-0 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE

Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-reach command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityCardinality.pnml.gal -t CGAL -reachable-file ReachabilityCardinality.prop --nowitness
Loading property file ReachabilityCardinality.prop.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 127551 rows 2601 cols
invariant : 1'state[2397] + 1'state[2398] + 1'state[2399] + 1'state[2400] + 1'state[2401] + 1'state[2402] + 1'state[2403] + 1'state[2404] + 1'state[2405] + 1'state[2406] + 1'state[2407] + 1'state[2408] + 1'state[2409] + 1'state[2410] + 1'state[2411] + 1'state[2412] + 1'state[2413] + 1'state[2414] + 1'state[2415] + 1'state[2416] + 1'state[2417] + 1'state[2418] + 1'state[2419] + 1'state[2420] + 1'state[2421] + 1'state[2422] + 1'state[2423] + 1'state[2424] + 1'state[2425] + 1'state[2426] + 1'state[2427] + 1'state[2428] + 1'state[2429] + 1'state[2430] + 1'state[2431] + 1'state[2432] + 1'state[2433] + 1'state[2434] + 1'state[2435] + 1'state[2436] + 1'state[2437] + 1'state[2438] + 1'state[2439] + 1'state[2440] + 1'state[2441] + 1'state[2442] + 1'state[2443] + 1'state[2444] + 1'state[2445] + 1'state[2446] + 1'state[2447]= 1
invariant : 1'state[714] + 1'state[715] + 1'state[716] + 1'state[717] + 1'state[718] + 1'state[719] + 1'state[720] + 1'state[721] + 1'state[722] + 1'state[723] + 1'state[724] + 1'state[725] + 1'state[726] + 1'state[727] + 1'state[728] + 1'state[729] + 1'state[730] + 1'state[731] + 1'state[732] + 1'state[733] + 1'state[734] + 1'state[735] + 1'state[736] + 1'state[737] + 1'state[738] + 1'state[739] + 1'state[740] + 1'state[741] + 1'state[742] + 1'state[743] + 1'state[744] + 1'state[745] + 1'state[746] + 1'state[747] + 1'state[748] + 1'state[749] + 1'state[750] + 1'state[751] + 1'state[752] + 1'state[753] + 1'state[754] + 1'state[755] + 1'state[756] + 1'state[757] + 1'state[758] + 1'state[759] + 1'state[760] + 1'state[761] + 1'state[762] + 1'state[763] + 1'state[764]= 1
invariant : 1'state[612] + 1'state[613] + 1'state[614] + 1'state[615] + 1'state[616] + 1'state[617] + 1'state[618] + 1'state[619] + 1'state[620] + 1'state[621] + 1'state[622] + 1'state[623] + 1'state[624] + 1'state[625] + 1'state[626] + 1'state[627] + 1'state[628] + 1'state[629] + 1'state[630] + 1'state[631] + 1'state[632] + 1'state[633] + 1'state[634] + 1'state[635] + 1'state[636] + 1'state[637] + 1'state[638] + 1'state[639] + 1'state[640] + 1'state[641] + 1'state[642] + 1'state[643] + 1'state[644] + 1'state[645] + 1'state[646] + 1'state[647] + 1'state[648] + 1'state[649] + 1'state[650] + 1'state[651] + 1'state[652] + 1'state[653] + 1'state[654] + 1'state[655] + 1'state[656] + 1'state[657] + 1'state[658] + 1'state[659] + 1'state[660] + 1'state[661] + 1'state[662]= 1
invariant : 1'state[255] + 1'state[256] + 1'state[257] + 1'state[258] + 1'state[259] + 1'state[260] + 1'state[261] + 1'state[262] + 1'state[263] + 1'state[264] + 1'state[265] + 1'state[266] + 1'state[267] + 1'state[268] + 1'state[269] + 1'state[270] + 1'state[271] + 1'state[272] + 1'state[273] + 1'state[274] + 1'state[275] + 1'state[276] + 1'state[277] + 1'state[278] + 1'state[279] + 1'state[280] + 1'state[281] + 1'state[282] + 1'state[283] + 1'state[284] + 1'state[285] + 1'state[286] + 1'state[287] + 1'state[288] + 1'state[289] + 1'state[290] + 1'state[291] + 1'state[292] + 1'state[293] + 1'state[294] + 1'state[295] + 1'state[296] + 1'state[297] + 1'state[298] + 1'state[299] + 1'state[300] + 1'state[301] + 1'state[302] + 1'state[303] + 1'state[304] + 1'state[305]= 1
invariant : 1'state[1938] + 1'state[1939] + 1'state[1940] + 1'state[1941] + 1'state[1942] + 1'state[1943] + 1'state[1944] + 1'state[1945] + 1'state[1946] + 1'state[1947] + 1'state[1948] + 1'state[1949] + 1'state[1950] + 1'state[1951] + 1'state[1952] + 1'state[1953] + 1'state[1954] + 1'state[1955] + 1'state[1956] + 1'state[1957] + 1'state[1958] + 1'state[1959] + 1'state[1960] + 1'state[1961] + 1'state[1962] + 1'state[1963] + 1'state[1964] + 1'state[1965] + 1'state[1966] + 1'state[1967] + 1'state[1968] + 1'state[1969] + 1'state[1970] + 1'state[1971] + 1'state[1972] + 1'state[1973] + 1'state[1974] + 1'state[1975] + 1'state[1976] + 1'state[1977] + 1'state[1978] + 1'state[1979] + 1'state[1980] + 1'state[1981] + 1'state[1982] + 1'state[1983] + 1'state[1984] + 1'state[1985] + 1'state[1986] + 1'state[1987] + 1'state[1988]= 1
invariant : 1'state[663] + 1'state[664] + 1'state[665] + 1'state[666] + 1'state[667] + 1'state[668] + 1'state[669] + 1'state[670] + 1'state[671] + 1'state[672] + 1'state[673] + 1'state[674] + 1'state[675] + 1'state[676] + 1'state[677] + 1'state[678] + 1'state[679] + 1'state[680] + 1'state[681] + 1'state[682] + 1'state[683] + 1'state[684] + 1'state[685] + 1'state[686] + 1'state[687] + 1'state[688] + 1'state[689] + 1'state[690] + 1'state[691] + 1'state[692] + 1'state[693] + 1'state[694] + 1'state[695] + 1'state[696] + 1'state[697] + 1'state[698] + 1'state[699] + 1'state[700] + 1'state[701] + 1'state[702] + 1'state[703] + 1'state[704] + 1'state[705] + 1'state[706] + 1'state[707] + 1'state[708] + 1'state[709] + 1'state[710] + 1'state[711] + 1'state[712] + 1'state[713]= 1
invariant : 1'state[1632] + 1'state[1633] + 1'state[1634] + 1'state[1635] + 1'state[1636] + 1'state[1637] + 1'state[1638] + 1'state[1639] + 1'state[1640] + 1'state[1641] + 1'state[1642] + 1'state[1643] + 1'state[1644] + 1'state[1645] + 1'state[1646] + 1'state[1647] + 1'state[1648] + 1'state[1649] + 1'state[1650] + 1'state[1651] + 1'state[1652] + 1'state[1653] + 1'state[1654] + 1'state[1655] + 1'state[1656] + 1'state[1657] + 1'state[1658] + 1'state[1659] + 1'state[1660] + 1'state[1661] + 1'state[1662] + 1'state[1663] + 1'state[1664] + 1'state[1665] + 1'state[1666] + 1'state[1667] + 1'state[1668] + 1'state[1669] + 1'state[1670] + 1'state[1671] + 1'state[1672] + 1'state[1673] + 1'state[1674] + 1'state[1675] + 1'state[1676] + 1'state[1677] + 1'state[1678] + 1'state[1679] + 1'state[1680] + 1'state[1681] + 1'state[1682]= 1
invariant : 1'state[1989] + 1'state[1990] + 1'state[1991] + 1'state[1992] + 1'state[1993] + 1'state[1994] + 1'state[1995] + 1'state[1996] + 1'state[1997] + 1'state[1998] + 1'state[1999] + 1'state[2000] + 1'state[2001] + 1'state[2002] + 1'state[2003] + 1'state[2004] + 1'state[2005] + 1'state[2006] + 1'state[2007] + 1'state[2008] + 1'state[2009] + 1'state[2010] + 1'state[2011] + 1'state[2012] + 1'state[2013] + 1'state[2014] + 1'state[2015] + 1'state[2016] + 1'state[2017] + 1'state[2018] + 1'state[2019] + 1'state[2020] + 1'state[2021] + 1'state[2022] + 1'state[2023] + 1'state[2024] + 1'state[2025] + 1'state[2026] + 1'state[2027] + 1'state[2028] + 1'state[2029] + 1'state[2030] + 1'state[2031] + 1'state[2032] + 1'state[2033] + 1'state[2034] + 1'state[2035] + 1'state[2036] + 1'state[2037] + 1'state[2038] + 1'state[2039]= 1
invariant : 1'state[2448] + 1'state[2449] + 1'state[2450] + 1'state[2451] + 1'state[2452] + 1'state[2453] + 1'state[2454] + 1'state[2455] + 1'state[2456] + 1'state[2457] + 1'state[2458] + 1'state[2459] + 1'state[2460] + 1'state[2461] + 1'state[2462] + 1'state[2463] + 1'state[2464] + 1'state[2465] + 1'state[2466] + 1'state[2467] + 1'state[2468] + 1'state[2469] + 1'state[2470] + 1'state[2471] + 1'state[2472] + 1'state[2473] + 1'state[2474] + 1'state[2475] + 1'state[2476] + 1'state[2477] + 1'state[2478] + 1'state[2479] + 1'state[2480] + 1'state[2481] + 1'state[2482] + 1'state[2483] + 1'state[2484] + 1'state[2485] + 1'state[2486] + 1'state[2487] + 1'state[2488] + 1'state[2489] + 1'state[2490] + 1'state[2491] + 1'state[2492] + 1'state[2493] + 1'state[2494] + 1'state[2495] + 1'state[2496] + 1'state[2497] + 1'state[2498]= 1
invariant : 1'state[459] + 1'state[460] + 1'state[461] + 1'state[462] + 1'state[463] + 1'state[464] + 1'state[465] + 1'state[466] + 1'state[467] + 1'state[468] + 1'state[469] + 1'state[470] + 1'state[471] + 1'state[472] + 1'state[473] + 1'state[474] + 1'state[475] + 1'state[476] + 1'state[477] + 1'state[478] + 1'state[479] + 1'state[480] + 1'state[481] + 1'state[482] + 1'state[483] + 1'state[484] + 1'state[485] + 1'state[486] + 1'state[487] + 1'state[488] + 1'state[489] + 1'state[490] + 1'state[491] + 1'state[492] + 1'state[493] + 1'state[494] + 1'state[495] + 1'state[496] + 1'state[497] + 1'state[498] + 1'state[499] + 1'state[500] + 1'state[501] + 1'state[502] + 1'state[503] + 1'state[504] + 1'state[505] + 1'state[506] + 1'state[507] + 1'state[508] + 1'state[509]= 1
invariant : 1'state[51] + 1'state[52] + 1'state[53] + 1'state[54] + 1'state[55] + 1'state[56] + 1'state[57] + 1'state[58] + 1'state[59] + 1'state[60] + 1'state[61] + 1'state[62] + 1'state[63] + 1'state[64] + 1'state[65] + 1'state[66] + 1'state[67] + 1'state[68] + 1'state[69] + 1'state[70] + 1'state[71] + 1'state[72] + 1'state[73] + 1'state[74] + 1'state[75] + 1'state[76] + 1'state[77] + 1'state[78] + 1'state[79] + 1'state[80] + 1'state[81] + 1'state[82] + 1'state[83] + 1'state[84] + 1'state[85] + 1'state[86] + 1'state[87] + 1'state[88] + 1'state[89] + 1'state[90] + 1'state[91] + 1'state[92] + 1'state[93] + 1'state[94] + 1'state[95] + 1'state[96] + 1'state[97] + 1'state[98] + 1'state[99] + 1'state[100] + 1'state[101]= 1
invariant : 1'state[1071] + 1'state[1072] + 1'state[1073] + 1'state[1074] + 1'state[1075] + 1'state[1076] + 1'state[1077] + 1'state[1078] + 1'state[1079] + 1'state[1080] + 1'state[1081] + 1'state[1082] + 1'state[1083] + 1'state[1084] + 1'state[1085] + 1'state[1086] + 1'state[1087] + 1'state[1088] + 1'state[1089] + 1'state[1090] + 1'state[1091] + 1'state[1092] + 1'state[1093] + 1'state[1094] + 1'state[1095] + 1'state[1096] + 1'state[1097] + 1'state[1098] + 1'state[1099] + 1'state[1100] + 1'state[1101] + 1'state[1102] + 1'state[1103] + 1'state[1104] + 1'state[1105] + 1'state[1106] + 1'state[1107] + 1'state[1108] + 1'state[1109] + 1'state[1110] + 1'state[1111] + 1'state[1112] + 1'state[1113] + 1'state[1114] + 1'state[1115] + 1'state[1116] + 1'state[1117] + 1'state[1118] + 1'state[1119] + 1'state[1120] + 1'state[1121]= 1
invariant : 1'state[2244] + 1'state[2245] + 1'state[2246] + 1'state[2247] + 1'state[2248] + 1'state[2249] + 1'state[2250] + 1'state[2251] + 1'state[2252] + 1'state[2253] + 1'state[2254] + 1'state[2255] + 1'state[2256] + 1'state[2257] + 1'state[2258] + 1'state[2259] + 1'state[2260] + 1'state[2261] + 1'state[2262] + 1'state[2263] + 1'state[2264] + 1'state[2265] + 1'state[2266] + 1'state[2267] + 1'state[2268] + 1'state[2269] + 1'state[2270] + 1'state[2271] + 1'state[2272] + 1'state[2273] + 1'state[2274] + 1'state[2275] + 1'state[2276] + 1'state[2277] + 1'state[2278] + 1'state[2279] + 1'state[2280] + 1'state[2281] + 1'state[2282] + 1'state[2283] + 1'state[2284] + 1'state[2285] + 1'state[2286] + 1'state[2287] + 1'state[2288] + 1'state[2289] + 1'state[2290] + 1'state[2291] + 1'state[2292] + 1'state[2293] + 1'state[2294]= 1
invariant : 1'state[2040] + 1'state[2041] + 1'state[2042] + 1'state[2043] + 1'state[2044] + 1'state[2045] + 1'state[2046] + 1'state[2047] + 1'state[2048] + 1'state[2049] + 1'state[2050] + 1'state[2051] + 1'state[2052] + 1'state[2053] + 1'state[2054] + 1'state[2055] + 1'state[2056] + 1'state[2057] + 1'state[2058] + 1'state[2059] + 1'state[2060] + 1'state[2061] + 1'state[2062] + 1'state[2063] + 1'state[2064] + 1'state[2065] + 1'state[2066] + 1'state[2067] + 1'state[2068] + 1'state[2069] + 1'state[2070] + 1'state[2071] + 1'state[2072] + 1'state[2073] + 1'state[2074] + 1'state[2075] + 1'state[2076] + 1'state[2077] + 1'state[2078] + 1'state[2079] + 1'state[2080] + 1'state[2081] + 1'state[2082] + 1'state[2083] + 1'state[2084] + 1'state[2085] + 1'state[2086] + 1'state[2087] + 1'state[2088] + 1'state[2089] + 1'state[2090]= 1
invariant : 1'state[2550] + 1'state[2551] + 1'state[2552] + 1'state[2553] + 1'state[2554] + 1'state[2555] + 1'state[2556] + 1'state[2557] + 1'state[2558] + 1'state[2559] + 1'state[2560] + 1'state[2561] + 1'state[2562] + 1'state[2563] + 1'state[2564] + 1'state[2565] + 1'state[2566] + 1'state[2567] + 1'state[2568] + 1'state[2569] + 1'state[2570] + 1'state[2571] + 1'state[2572] + 1'state[2573] + 1'state[2574] + 1'state[2575] + 1'state[2576] + 1'state[2577] + 1'state[2578] + 1'state[2579] + 1'state[2580] + 1'state[2581] + 1'state[2582] + 1'state[2583] + 1'state[2584] + 1'state[2585] + 1'state[2586] + 1'state[2587] + 1'state[2588] + 1'state[2589] + 1'state[2590] + 1'state[2591] + 1'state[2592] + 1'state[2593] + 1'state[2594] + 1'state[2595] + 1'state[2596] + 1'state[2597] + 1'state[2598] + 1'state[2599] + 1'state[2600]= 1
invariant : 1'state[867] + 1'state[868] + 1'state[869] + 1'state[870] + 1'state[871] + 1'state[872] + 1'state[873] + 1'state[874] + 1'state[875] + 1'state[876] + 1'state[877] + 1'state[878] + 1'state[879] + 1'state[880] + 1'state[881] + 1'state[882] + 1'state[883] + 1'state[884] + 1'state[885] + 1'state[886] + 1'state[887] + 1'state[888] + 1'state[889] + 1'state[890] + 1'state[891] + 1'state[892] + 1'state[893] + 1'state[894] + 1'state[895] + 1'state[896] + 1'state[897] + 1'state[898] + 1'state[899] + 1'state[900] + 1'state[901] + 1'state[902] + 1'state[903] + 1'state[904] + 1'state[905] + 1'state[906] + 1'state[907] + 1'state[908] + 1'state[909] + 1'state[910] + 1'state[911] + 1'state[912] + 1'state[913] + 1'state[914] + 1'state[915] + 1'state[916] + 1'state[917]= 1
invariant : 1'state[2091] + 1'state[2092] + 1'state[2093] + 1'state[2094] + 1'state[2095] + 1'state[2096] + 1'state[2097] + 1'state[2098] + 1'state[2099] + 1'state[2100] + 1'state[2101] + 1'state[2102] + 1'state[2103] + 1'state[2104] + 1'state[2105] + 1'state[2106] + 1'state[2107] + 1'state[2108] + 1'state[2109] + 1'state[2110] + 1'state[2111] + 1'state[2112] + 1'state[2113] + 1'state[2114] + 1'state[2115] + 1'state[2116] + 1'state[2117] + 1'state[2118] + 1'state[2119] + 1'state[2120] + 1'state[2121] + 1'state[2122] + 1'state[2123] + 1'state[2124] + 1'state[2125] + 1'state[2126] + 1'state[2127] + 1'state[2128] + 1'state[2129] + 1'state[2130] + 1'state[2131] + 1'state[2132] + 1'state[2133] + 1'state[2134] + 1'state[2135] + 1'state[2136] + 1'state[2137] + 1'state[2138] + 1'state[2139] + 1'state[2140] + 1'state[2141]= 1
invariant : 1'state[1275] + 1'state[1276] + 1'state[1277] + 1'state[1278] + 1'state[1279] + 1'state[1280] + 1'state[1281] + 1'state[1282] + 1'state[1283] + 1'state[1284] + 1'state[1285] + 1'state[1286] + 1'state[1287] + 1'state[1288] + 1'state[1289] + 1'state[1290] + 1'state[1291] + 1'state[1292] + 1'state[1293] + 1'state[1294] + 1'state[1295] + 1'state[1296] + 1'state[1297] + 1'state[1298] + 1'state[1299] + 1'state[1300] + 1'state[1301] + 1'state[1302] + 1'state[1303] + 1'state[1304] + 1'state[1305] + 1'state[1306] + 1'state[1307] + 1'state[1308] + 1'state[1309] + 1'state[1310] + 1'state[1311] + 1'state[1312] + 1'state[1313] + 1'state[1314] + 1'state[1315] + 1'state[1316] + 1'state[1317] + 1'state[1318] + 1'state[1319] + 1'state[1320] + 1'state[1321] + 1'state[1322] + 1'state[1323] + 1'state[1324] + 1'state[1325]= 1
invariant : 1'state[816] + 1'state[817] + 1'state[818] + 1'state[819] + 1'state[820] + 1'state[821] + 1'state[822] + 1'state[823] + 1'state[824] + 1'state[825] + 1'state[826] + 1'state[827] + 1'state[828] + 1'state[829] + 1'state[830] + 1'state[831] + 1'state[832] + 1'state[833] + 1'state[834] + 1'state[835] + 1'state[836] + 1'state[837] + 1'state[838] + 1'state[839] + 1'state[840] + 1'state[841] + 1'state[842] + 1'state[843] + 1'state[844] + 1'state[845] + 1'state[846] + 1'state[847] + 1'state[848] + 1'state[849] + 1'state[850] + 1'state[851] + 1'state[852] + 1'state[853] + 1'state[854] + 1'state[855] + 1'state[856] + 1'state[857] + 1'state[858] + 1'state[859] + 1'state[860] + 1'state[861] + 1'state[862] + 1'state[863] + 1'state[864] + 1'state[865] + 1'state[866]= 1
invariant : 1'state[1020] + 1'state[1021] + 1'state[1022] + 1'state[1023] + 1'state[1024] + 1'state[1025] + 1'state[1026] + 1'state[1027] + 1'state[1028] + 1'state[1029] + 1'state[1030] + 1'state[1031] + 1'state[1032] + 1'state[1033] + 1'state[1034] + 1'state[1035] + 1'state[1036] + 1'state[1037] + 1'state[1038] + 1'state[1039] + 1'state[1040] + 1'state[1041] + 1'state[1042] + 1'state[1043] + 1'state[1044] + 1'state[1045] + 1'state[1046] + 1'state[1047] + 1'state[1048] + 1'state[1049] + 1'state[1050] + 1'state[1051] + 1'state[1052] + 1'state[1053] + 1'state[1054] + 1'state[1055] + 1'state[1056] + 1'state[1057] + 1'state[1058] + 1'state[1059] + 1'state[1060] + 1'state[1061] + 1'state[1062] + 1'state[1063] + 1'state[1064] + 1'state[1065] + 1'state[1066] + 1'state[1067] + 1'state[1068] + 1'state[1069] + 1'state[1070]= 1
invariant : 1'state[1479] + 1'state[1480] + 1'state[1481] + 1'state[1482] + 1'state[1483] + 1'state[1484] + 1'state[1485] + 1'state[1486] + 1'state[1487] + 1'state[1488] + 1'state[1489] + 1'state[1490] + 1'state[1491] + 1'state[1492] + 1'state[1493] + 1'state[1494] + 1'state[1495] + 1'state[1496] + 1'state[1497] + 1'state[1498] + 1'state[1499] + 1'state[1500] + 1'state[1501] + 1'state[1502] + 1'state[1503] + 1'state[1504] + 1'state[1505] + 1'state[1506] + 1'state[1507] + 1'state[1508] + 1'state[1509] + 1'state[1510] + 1'state[1511] + 1'state[1512] + 1'state[1513] + 1'state[1514] + 1'state[1515] + 1'state[1516] + 1'state[1517] + 1'state[1518] + 1'state[1519] + 1'state[1520] + 1'state[1521] + 1'state[1522] + 1'state[1523] + 1'state[1524] + 1'state[1525] + 1'state[1526] + 1'state[1527] + 1'state[1528] + 1'state[1529]= 1
invariant : 1'state[2295] + 1'state[2296] + 1'state[2297] + 1'state[2298] + 1'state[2299] + 1'state[2300] + 1'state[2301] + 1'state[2302] + 1'state[2303] + 1'state[2304] + 1'state[2305] + 1'state[2306] + 1'state[2307] + 1'state[2308] + 1'state[2309] + 1'state[2310] + 1'state[2311] + 1'state[2312] + 1'state[2313] + 1'state[2314] + 1'state[2315] + 1'state[2316] + 1'state[2317] + 1'state[2318] + 1'state[2319] + 1'state[2320] + 1'state[2321] + 1'state[2322] + 1'state[2323] + 1'state[2324] + 1'state[2325] + 1'state[2326] + 1'state[2327] + 1'state[2328] + 1'state[2329] + 1'state[2330] + 1'state[2331] + 1'state[2332] + 1'state[2333] + 1'state[2334] + 1'state[2335] + 1'state[2336] + 1'state[2337] + 1'state[2338] + 1'state[2339] + 1'state[2340] + 1'state[2341] + 1'state[2342] + 1'state[2343] + 1'state[2344] + 1'state[2345]= 1
invariant : 1'state[1734] + 1'state[1735] + 1'state[1736] + 1'state[1737] + 1'state[1738] + 1'state[1739] + 1'state[1740] + 1'state[1741] + 1'state[1742] + 1'state[1743] + 1'state[1744] + 1'state[1745] + 1'state[1746] + 1'state[1747] + 1'state[1748] + 1'state[1749] + 1'state[1750] + 1'state[1751] + 1'state[1752] + 1'state[1753] + 1'state[1754] + 1'state[1755] + 1'state[1756] + 1'state[1757] + 1'state[1758] + 1'state[1759] + 1'state[1760] + 1'state[1761] + 1'state[1762] + 1'state[1763] + 1'state[1764] + 1'state[1765] + 1'state[1766] + 1'state[1767] + 1'state[1768] + 1'state[1769] + 1'state[1770] + 1'state[1771] + 1'state[1772] + 1'state[1773] + 1'state[1774] + 1'state[1775] + 1'state[1776] + 1'state[1777] + 1'state[1778] + 1'state[1779] + 1'state[1780] + 1'state[1781] + 1'state[1782] + 1'state[1783] + 1'state[1784]= 1
invariant : 1'state[765] + 1'state[766] + 1'state[767] + 1'state[768] + 1'state[769] + 1'state[770] + 1'state[771] + 1'state[772] + 1'state[773] + 1'state[774] + 1'state[775] + 1'state[776] + 1'state[777] + 1'state[778] + 1'state[779] + 1'state[780] + 1'state[781] + 1'state[782] + 1'state[783] + 1'state[784] + 1'state[785] + 1'state[786] + 1'state[787] + 1'state[788] + 1'state[789] + 1'state[790] + 1'state[791] + 1'state[792] + 1'state[793] + 1'state[794] + 1'state[795] + 1'state[796] + 1'state[797] + 1'state[798] + 1'state[799] + 1'state[800] + 1'state[801] + 1'state[802] + 1'state[803] + 1'state[804] + 1'state[805] + 1'state[806] + 1'state[807] + 1'state[808] + 1'state[809] + 1'state[810] + 1'state[811] + 1'state[812] + 1'state[813] + 1'state[814] + 1'state[815]= 1
invariant : 1'state[1836] + 1'state[1837] + 1'state[1838] + 1'state[1839] + 1'state[1840] + 1'state[1841] + 1'state[1842] + 1'state[1843] + 1'state[1844] + 1'state[1845] + 1'state[1846] + 1'state[1847] + 1'state[1848] + 1'state[1849] + 1'state[1850] + 1'state[1851] + 1'state[1852] + 1'state[1853] + 1'state[1854] + 1'state[1855] + 1'state[1856] + 1'state[1857] + 1'state[1858] + 1'state[1859] + 1'state[1860] + 1'state[1861] + 1'state[1862] + 1'state[1863] + 1'state[1864] + 1'state[1865] + 1'state[1866] + 1'state[1867] + 1'state[1868] + 1'state[1869] + 1'state[1870] + 1'state[1871] + 1'state[1872] + 1'state[1873] + 1'state[1874] + 1'state[1875] + 1'state[1876] + 1'state[1877] + 1'state[1878] + 1'state[1879] + 1'state[1880] + 1'state[1881] + 1'state[1882] + 1'state[1883] + 1'state[1884] + 1'state[1885] + 1'state[1886]= 1
invariant : 1'state[1326] + 1'state[1327] + 1'state[1328] + 1'state[1329] + 1'state[1330] + 1'state[1331] + 1'state[1332] + 1'state[1333] + 1'state[1334] + 1'state[1335] + 1'state[1336] + 1'state[1337] + 1'state[1338] + 1'state[1339] + 1'state[1340] + 1'state[1341] + 1'state[1342] + 1'state[1343] + 1'state[1344] + 1'state[1345] + 1'state[1346] + 1'state[1347] + 1'state[1348] + 1'state[1349] + 1'state[1350] + 1'state[1351] + 1'state[1352] + 1'state[1353] + 1'state[1354] + 1'state[1355] + 1'state[1356] + 1'state[1357] + 1'state[1358] + 1'state[1359] + 1'state[1360] + 1'state[1361] + 1'state[1362] + 1'state[1363] + 1'state[1364] + 1'state[1365] + 1'state[1366] + 1'state[1367] + 1'state[1368] + 1'state[1369] + 1'state[1370] + 1'state[1371] + 1'state[1372] + 1'state[1373] + 1'state[1374] + 1'state[1375] + 1'state[1376]= 1
invariant : 1'state[1428] + 1'state[1429] + 1'state[1430] + 1'state[1431] + 1'state[1432] + 1'state[1433] + 1'state[1434] + 1'state[1435] + 1'state[1436] + 1'state[1437] + 1'state[1438] + 1'state[1439] + 1'state[1440] + 1'state[1441] + 1'state[1442] + 1'state[1443] + 1'state[1444] + 1'state[1445] + 1'state[1446] + 1'state[1447] + 1'state[1448] + 1'state[1449] + 1'state[1450] + 1'state[1451] + 1'state[1452] + 1'state[1453] + 1'state[1454] + 1'state[1455] + 1'state[1456] + 1'state[1457] + 1'state[1458] + 1'state[1459] + 1'state[1460] + 1'state[1461] + 1'state[1462] + 1'state[1463] + 1'state[1464] + 1'state[1465] + 1'state[1466] + 1'state[1467] + 1'state[1468] + 1'state[1469] + 1'state[1470] + 1'state[1471] + 1'state[1472] + 1'state[1473] + 1'state[1474] + 1'state[1475] + 1'state[1476] + 1'state[1477] + 1'state[1478]= 1
invariant : 1'state[561] + 1'state[562] + 1'state[563] + 1'state[564] + 1'state[565] + 1'state[566] + 1'state[567] + 1'state[568] + 1'state[569] + 1'state[570] + 1'state[571] + 1'state[572] + 1'state[573] + 1'state[574] + 1'state[575] + 1'state[576] + 1'state[577] + 1'state[578] + 1'state[579] + 1'state[580] + 1'state[581] + 1'state[582] + 1'state[583] + 1'state[584] + 1'state[585] + 1'state[586] + 1'state[587] + 1'state[588] + 1'state[589] + 1'state[590] + 1'state[591] + 1'state[592] + 1'state[593] + 1'state[594] + 1'state[595] + 1'state[596] + 1'state[597] + 1'state[598] + 1'state[599] + 1'state[600] + 1'state[601] + 1'state[602] + 1'state[603] + 1'state[604] + 1'state[605] + 1'state[606] + 1'state[607] + 1'state[608] + 1'state[609] + 1'state[610] + 1'state[611]= 1
invariant : 1'state[1683] + 1'state[1684] + 1'state[1685] + 1'state[1686] + 1'state[1687] + 1'state[1688] + 1'state[1689] + 1'state[1690] + 1'state[1691] + 1'state[1692] + 1'state[1693] + 1'state[1694] + 1'state[1695] + 1'state[1696] + 1'state[1697] + 1'state[1698] + 1'state[1699] + 1'state[1700] + 1'state[1701] + 1'state[1702] + 1'state[1703] + 1'state[1704] + 1'state[1705] + 1'state[1706] + 1'state[1707] + 1'state[1708] + 1'state[1709] + 1'state[1710] + 1'state[1711] + 1'state[1712] + 1'state[1713] + 1'state[1714] + 1'state[1715] + 1'state[1716] + 1'state[1717] + 1'state[1718] + 1'state[1719] + 1'state[1720] + 1'state[1721] + 1'state[1722] + 1'state[1723] + 1'state[1724] + 1'state[1725] + 1'state[1726] + 1'state[1727] + 1'state[1728] + 1'state[1729] + 1'state[1730] + 1'state[1731] + 1'state[1732] + 1'state[1733]= 1
invariant : 1'state[510] + 1'state[511] + 1'state[512] + 1'state[513] + 1'state[514] + 1'state[515] + 1'state[516] + 1'state[517] + 1'state[518] + 1'state[519] + 1'state[520] + 1'state[521] + 1'state[522] + 1'state[523] + 1'state[524] + 1'state[525] + 1'state[526] + 1'state[527] + 1'state[528] + 1'state[529] + 1'state[530] + 1'state[531] + 1'state[532] + 1'state[533] + 1'state[534] + 1'state[535] + 1'state[536] + 1'state[537] + 1'state[538] + 1'state[539] + 1'state[540] + 1'state[541] + 1'state[542] + 1'state[543] + 1'state[544] + 1'state[545] + 1'state[546] + 1'state[547] + 1'state[548] + 1'state[549] + 1'state[550] + 1'state[551] + 1'state[552] + 1'state[553] + 1'state[554] + 1'state[555] + 1'state[556] + 1'state[557] + 1'state[558] + 1'state[559] + 1'state[560]= 1
invariant : 1'state[204] + 1'state[205] + 1'state[206] + 1'state[207] + 1'state[208] + 1'state[209] + 1'state[210] + 1'state[211] + 1'state[212] + 1'state[213] + 1'state[214] + 1'state[215] + 1'state[216] + 1'state[217] + 1'state[218] + 1'state[219] + 1'state[220] + 1'state[221] + 1'state[222] + 1'state[223] + 1'state[224] + 1'state[225] + 1'state[226] + 1'state[227] + 1'state[228] + 1'state[229] + 1'state[230] + 1'state[231] + 1'state[232] + 1'state[233] + 1'state[234] + 1'state[235] + 1'state[236] + 1'state[237] + 1'state[238] + 1'state[239] + 1'state[240] + 1'state[241] + 1'state[242] + 1'state[243] + 1'state[244] + 1'state[245] + 1'state[246] + 1'state[247] + 1'state[248] + 1'state[249] + 1'state[250] + 1'state[251] + 1'state[252] + 1'state[253] + 1'state[254]= 1
invariant : 1'state[102] + 1'state[103] + 1'state[104] + 1'state[105] + 1'state[106] + 1'state[107] + 1'state[108] + 1'state[109] + 1'state[110] + 1'state[111] + 1'state[112] + 1'state[113] + 1'state[114] + 1'state[115] + 1'state[116] + 1'state[117] + 1'state[118] + 1'state[119] + 1'state[120] + 1'state[121] + 1'state[122] + 1'state[123] + 1'state[124] + 1'state[125] + 1'state[126] + 1'state[127] + 1'state[128] + 1'state[129] + 1'state[130] + 1'state[131] + 1'state[132] + 1'state[133] + 1'state[134] + 1'state[135] + 1'state[136] + 1'state[137] + 1'state[138] + 1'state[139] + 1'state[140] + 1'state[141] + 1'state[142] + 1'state[143] + 1'state[144] + 1'state[145] + 1'state[146] + 1'state[147] + 1'state[148] + 1'state[149] + 1'state[150] + 1'state[151] + 1'state[152]= 1
invariant : 1'state[1887] + 1'state[1888] + 1'state[1889] + 1'state[1890] + 1'state[1891] + 1'state[1892] + 1'state[1893] + 1'state[1894] + 1'state[1895] + 1'state[1896] + 1'state[1897] + 1'state[1898] + 1'state[1899] + 1'state[1900] + 1'state[1901] + 1'state[1902] + 1'state[1903] + 1'state[1904] + 1'state[1905] + 1'state[1906] + 1'state[1907] + 1'state[1908] + 1'state[1909] + 1'state[1910] + 1'state[1911] + 1'state[1912] + 1'state[1913] + 1'state[1914] + 1'state[1915] + 1'state[1916] + 1'state[1917] + 1'state[1918] + 1'state[1919] + 1'state[1920] + 1'state[1921] + 1'state[1922] + 1'state[1923] + 1'state[1924] + 1'state[1925] + 1'state[1926] + 1'state[1927] + 1'state[1928] + 1'state[1929] + 1'state[1930] + 1'state[1931] + 1'state[1932] + 1'state[1933] + 1'state[1934] + 1'state[1935] + 1'state[1936] + 1'state[1937]= 1
invariant : 1'state[1173] + 1'state[1174] + 1'state[1175] + 1'state[1176] + 1'state[1177] + 1'state[1178] + 1'state[1179] + 1'state[1180] + 1'state[1181] + 1'state[1182] + 1'state[1183] + 1'state[1184] + 1'state[1185] + 1'state[1186] + 1'state[1187] + 1'state[1188] + 1'state[1189] + 1'state[1190] + 1'state[1191] + 1'state[1192] + 1'state[1193] + 1'state[1194] + 1'state[1195] + 1'state[1196] + 1'state[1197] + 1'state[1198] + 1'state[1199] + 1'state[1200] + 1'state[1201] + 1'state[1202] + 1'state[1203] + 1'state[1204] + 1'state[1205] + 1'state[1206] + 1'state[1207] + 1'state[1208] + 1'state[1209] + 1'state[1210] + 1'state[1211] + 1'state[1212] + 1'state[1213] + 1'state[1214] + 1'state[1215] + 1'state[1216] + 1'state[1217] + 1'state[1218] + 1'state[1219] + 1'state[1220] + 1'state[1221] + 1'state[1222] + 1'state[1223]= 1
invariant : 1'state[2499] + 1'state[2500] + 1'state[2501] + 1'state[2502] + 1'state[2503] + 1'state[2504] + 1'state[2505] + 1'state[2506] + 1'state[2507] + 1'state[2508] + 1'state[2509] + 1'state[2510] + 1'state[2511] + 1'state[2512] + 1'state[2513] + 1'state[2514] + 1'state[2515] + 1'state[2516] + 1'state[2517] + 1'state[2518] + 1'state[2519] + 1'state[2520] + 1'state[2521] + 1'state[2522] + 1'state[2523] + 1'state[2524] + 1'state[2525] + 1'state[2526] + 1'state[2527] + 1'state[2528] + 1'state[2529] + 1'state[2530] + 1'state[2531] + 1'state[2532] + 1'state[2533] + 1'state[2534] + 1'state[2535] + 1'state[2536] + 1'state[2537] + 1'state[2538] + 1'state[2539] + 1'state[2540] + 1'state[2541] + 1'state[2542] + 1'state[2543] + 1'state[2544] + 1'state[2545] + 1'state[2546] + 1'state[2547] + 1'state[2548] + 1'state[2549]= 1
invariant : 1'state[2142] + 1'state[2143] + 1'state[2144] + 1'state[2145] + 1'state[2146] + 1'state[2147] + 1'state[2148] + 1'state[2149] + 1'state[2150] + 1'state[2151] + 1'state[2152] + 1'state[2153] + 1'state[2154] + 1'state[2155] + 1'state[2156] + 1'state[2157] + 1'state[2158] + 1'state[2159] + 1'state[2160] + 1'state[2161] + 1'state[2162] + 1'state[2163] + 1'state[2164] + 1'state[2165] + 1'state[2166] + 1'state[2167] + 1'state[2168] + 1'state[2169] + 1'state[2170] + 1'state[2171] + 1'state[2172] + 1'state[2173] + 1'state[2174] + 1'state[2175] + 1'state[2176] + 1'state[2177] + 1'state[2178] + 1'state[2179] + 1'state[2180] + 1'state[2181] + 1'state[2182] + 1'state[2183] + 1'state[2184] + 1'state[2185] + 1'state[2186] + 1'state[2187] + 1'state[2188] + 1'state[2189] + 1'state[2190] + 1'state[2191] + 1'state[2192]= 1
invariant : 1'state[306] + 1'state[307] + 1'state[308] + 1'state[309] + 1'state[310] + 1'state[311] + 1'state[312] + 1'state[313] + 1'state[314] + 1'state[315] + 1'state[316] + 1'state[317] + 1'state[318] + 1'state[319] + 1'state[320] + 1'state[321] + 1'state[322] + 1'state[323] + 1'state[324] + 1'state[325] + 1'state[326] + 1'state[327] + 1'state[328] + 1'state[329] + 1'state[330] + 1'state[331] + 1'state[332] + 1'state[333] + 1'state[334] + 1'state[335] + 1'state[336] + 1'state[337] + 1'state[338] + 1'state[339] + 1'state[340] + 1'state[341] + 1'state[342] + 1'state[343] + 1'state[344] + 1'state[345] + 1'state[346] + 1'state[347] + 1'state[348] + 1'state[349] + 1'state[350] + 1'state[351] + 1'state[352] + 1'state[353] + 1'state[354] + 1'state[355] + 1'state[356]= 1
invariant : 1'state[153] + 1'state[154] + 1'state[155] + 1'state[156] + 1'state[157] + 1'state[158] + 1'state[159] + 1'state[160] + 1'state[161] + 1'state[162] + 1'state[163] + 1'state[164] + 1'state[165] + 1'state[166] + 1'state[167] + 1'state[168] + 1'state[169] + 1'state[170] + 1'state[171] + 1'state[172] + 1'state[173] + 1'state[174] + 1'state[175] + 1'state[176] + 1'state[177] + 1'state[178] + 1'state[179] + 1'state[180] + 1'state[181] + 1'state[182] + 1'state[183] + 1'state[184] + 1'state[185] + 1'state[186] + 1'state[187] + 1'state[188] + 1'state[189] + 1'state[190] + 1'state[191] + 1'state[192] + 1'state[193] + 1'state[194] + 1'state[195] + 1'state[196] + 1'state[197] + 1'state[198] + 1'state[199] + 1'state[200] + 1'state[201] + 1'state[202] + 1'state[203]= 1
invariant : 1'state[408] + 1'state[409] + 1'state[410] + 1'state[411] + 1'state[412] + 1'state[413] + 1'state[414] + 1'state[415] + 1'state[416] + 1'state[417] + 1'state[418] + 1'state[419] + 1'state[420] + 1'state[421] + 1'state[422] + 1'state[423] + 1'state[424] + 1'state[425] + 1'state[426] + 1'state[427] + 1'state[428] + 1'state[429] + 1'state[430] + 1'state[431] + 1'state[432] + 1'state[433] + 1'state[434] + 1'state[435] + 1'state[436] + 1'state[437] + 1'state[438] + 1'state[439] + 1'state[440] + 1'state[441] + 1'state[442] + 1'state[443] + 1'state[444] + 1'state[445] + 1'state[446] + 1'state[447] + 1'state[448] + 1'state[449] + 1'state[450] + 1'state[451] + 1'state[452] + 1'state[453] + 1'state[454] + 1'state[455] + 1'state[456] + 1'state[457] + 1'state[458]= 1
invariant : 1'state[1122] + 1'state[1123] + 1'state[1124] + 1'state[1125] + 1'state[1126] + 1'state[1127] + 1'state[1128] + 1'state[1129] + 1'state[1130] + 1'state[1131] + 1'state[1132] + 1'state[1133] + 1'state[1134] + 1'state[1135] + 1'state[1136] + 1'state[1137] + 1'state[1138] + 1'state[1139] + 1'state[1140] + 1'state[1141] + 1'state[1142] + 1'state[1143] + 1'state[1144] + 1'state[1145] + 1'state[1146] + 1'state[1147] + 1'state[1148] + 1'state[1149] + 1'state[1150] + 1'state[1151] + 1'state[1152] + 1'state[1153] + 1'state[1154] + 1'state[1155] + 1'state[1156] + 1'state[1157] + 1'state[1158] + 1'state[1159] + 1'state[1160] + 1'state[1161] + 1'state[1162] + 1'state[1163] + 1'state[1164] + 1'state[1165] + 1'state[1166] + 1'state[1167] + 1'state[1168] + 1'state[1169] + 1'state[1170] + 1'state[1171] + 1'state[1172]= 1
invariant : 1'state[1530] + 1'state[1531] + 1'state[1532] + 1'state[1533] + 1'state[1534] + 1'state[1535] + 1'state[1536] + 1'state[1537] + 1'state[1538] + 1'state[1539] + 1'state[1540] + 1'state[1541] + 1'state[1542] + 1'state[1543] + 1'state[1544] + 1'state[1545] + 1'state[1546] + 1'state[1547] + 1'state[1548] + 1'state[1549] + 1'state[1550] + 1'state[1551] + 1'state[1552] + 1'state[1553] + 1'state[1554] + 1'state[1555] + 1'state[1556] + 1'state[1557] + 1'state[1558] + 1'state[1559] + 1'state[1560] + 1'state[1561] + 1'state[1562] + 1'state[1563] + 1'state[1564] + 1'state[1565] + 1'state[1566] + 1'state[1567] + 1'state[1568] + 1'state[1569] + 1'state[1570] + 1'state[1571] + 1'state[1572] + 1'state[1573] + 1'state[1574] + 1'state[1575] + 1'state[1576] + 1'state[1577] + 1'state[1578] + 1'state[1579] + 1'state[1580]= 1
invariant : 1'state[2346] + 1'state[2347] + 1'state[2348] + 1'state[2349] + 1'state[2350] + 1'state[2351] + 1'state[2352] + 1'state[2353] + 1'state[2354] + 1'state[2355] + 1'state[2356] + 1'state[2357] + 1'state[2358] + 1'state[2359] + 1'state[2360] + 1'state[2361] + 1'state[2362] + 1'state[2363] + 1'state[2364] + 1'state[2365] + 1'state[2366] + 1'state[2367] + 1'state[2368] + 1'state[2369] + 1'state[2370] + 1'state[2371] + 1'state[2372] + 1'state[2373] + 1'state[2374] + 1'state[2375] + 1'state[2376] + 1'state[2377] + 1'state[2378] + 1'state[2379] + 1'state[2380] + 1'state[2381] + 1'state[2382] + 1'state[2383] + 1'state[2384] + 1'state[2385] + 1'state[2386] + 1'state[2387] + 1'state[2388] + 1'state[2389] + 1'state[2390] + 1'state[2391] + 1'state[2392] + 1'state[2393] + 1'state[2394] + 1'state[2395] + 1'state[2396]= 1
invariant : 1'state[357] + 1'state[358] + 1'state[359] + 1'state[360] + 1'state[361] + 1'state[362] + 1'state[363] + 1'state[364] + 1'state[365] + 1'state[366] + 1'state[367] + 1'state[368] + 1'state[369] + 1'state[370] + 1'state[371] + 1'state[372] + 1'state[373] + 1'state[374] + 1'state[375] + 1'state[376] + 1'state[377] + 1'state[378] + 1'state[379] + 1'state[380] + 1'state[381] + 1'state[382] + 1'state[383] + 1'state[384] + 1'state[385] + 1'state[386] + 1'state[387] + 1'state[388] + 1'state[389] + 1'state[390] + 1'state[391] + 1'state[392] + 1'state[393] + 1'state[394] + 1'state[395] + 1'state[396] + 1'state[397] + 1'state[398] + 1'state[399] + 1'state[400] + 1'state[401] + 1'state[402] + 1'state[403] + 1'state[404] + 1'state[405] + 1'state[406] + 1'state[407]= 1
invariant : 1'state[1224] + 1'state[1225] + 1'state[1226] + 1'state[1227] + 1'state[1228] + 1'state[1229] + 1'state[1230] + 1'state[1231] + 1'state[1232] + 1'state[1233] + 1'state[1234] + 1'state[1235] + 1'state[1236] + 1'state[1237] + 1'state[1238] + 1'state[1239] + 1'state[1240] + 1'state[1241] + 1'state[1242] + 1'state[1243] + 1'state[1244] + 1'state[1245] + 1'state[1246] + 1'state[1247] + 1'state[1248] + 1'state[1249] + 1'state[1250] + 1'state[1251] + 1'state[1252] + 1'state[1253] + 1'state[1254] + 1'state[1255] + 1'state[1256] + 1'state[1257] + 1'state[1258] + 1'state[1259] + 1'state[1260] + 1'state[1261] + 1'state[1262] + 1'state[1263] + 1'state[1264] + 1'state[1265] + 1'state[1266] + 1'state[1267] + 1'state[1268] + 1'state[1269] + 1'state[1270] + 1'state[1271] + 1'state[1272] + 1'state[1273] + 1'state[1274]= 1
invariant : 1'state[1377] + 1'state[1378] + 1'state[1379] + 1'state[1380] + 1'state[1381] + 1'state[1382] + 1'state[1383] + 1'state[1384] + 1'state[1385] + 1'state[1386] + 1'state[1387] + 1'state[1388] + 1'state[1389] + 1'state[1390] + 1'state[1391] + 1'state[1392] + 1'state[1393] + 1'state[1394] + 1'state[1395] + 1'state[1396] + 1'state[1397] + 1'state[1398] + 1'state[1399] + 1'state[1400] + 1'state[1401] + 1'state[1402] + 1'state[1403] + 1'state[1404] + 1'state[1405] + 1'state[1406] + 1'state[1407] + 1'state[1408] + 1'state[1409] + 1'state[1410] + 1'state[1411] + 1'state[1412] + 1'state[1413] + 1'state[1414] + 1'state[1415] + 1'state[1416] + 1'state[1417] + 1'state[1418] + 1'state[1419] + 1'state[1420] + 1'state[1421] + 1'state[1422] + 1'state[1423] + 1'state[1424] + 1'state[1425] + 1'state[1426] + 1'state[1427]= 1
invariant : 1'state[1581] + 1'state[1582] + 1'state[1583] + 1'state[1584] + 1'state[1585] + 1'state[1586] + 1'state[1587] + 1'state[1588] + 1'state[1589] + 1'state[1590] + 1'state[1591] + 1'state[1592] + 1'state[1593] + 1'state[1594] + 1'state[1595] + 1'state[1596] + 1'state[1597] + 1'state[1598] + 1'state[1599] + 1'state[1600] + 1'state[1601] + 1'state[1602] + 1'state[1603] + 1'state[1604] + 1'state[1605] + 1'state[1606] + 1'state[1607] + 1'state[1608] + 1'state[1609] + 1'state[1610] + 1'state[1611] + 1'state[1612] + 1'state[1613] + 1'state[1614] + 1'state[1615] + 1'state[1616] + 1'state[1617] + 1'state[1618] + 1'state[1619] + 1'state[1620] + 1'state[1621] + 1'state[1622] + 1'state[1623] + 1'state[1624] + 1'state[1625] + 1'state[1626] + 1'state[1627] + 1'state[1628] + 1'state[1629] + 1'state[1630] + 1'state[1631]= 1
invariant : 1'state[1785] + 1'state[1786] + 1'state[1787] + 1'state[1788] + 1'state[1789] + 1'state[1790] + 1'state[1791] + 1'state[1792] + 1'state[1793] + 1'state[1794] + 1'state[1795] + 1'state[1796] + 1'state[1797] + 1'state[1798] + 1'state[1799] + 1'state[1800] + 1'state[1801] + 1'state[1802] + 1'state[1803] + 1'state[1804] + 1'state[1805] + 1'state[1806] + 1'state[1807] + 1'state[1808] + 1'state[1809] + 1'state[1810] + 1'state[1811] + 1'state[1812] + 1'state[1813] + 1'state[1814] + 1'state[1815] + 1'state[1816] + 1'state[1817] + 1'state[1818] + 1'state[1819] + 1'state[1820] + 1'state[1821] + 1'state[1822] + 1'state[1823] + 1'state[1824] + 1'state[1825] + 1'state[1826] + 1'state[1827] + 1'state[1828] + 1'state[1829] + 1'state[1830] + 1'state[1831] + 1'state[1832] + 1'state[1833] + 1'state[1834] + 1'state[1835]= 1
invariant : 1'state[918] + 1'state[919] + 1'state[920] + 1'state[921] + 1'state[922] + 1'state[923] + 1'state[924] + 1'state[925] + 1'state[926] + 1'state[927] + 1'state[928] + 1'state[929] + 1'state[930] + 1'state[931] + 1'state[932] + 1'state[933] + 1'state[934] + 1'state[935] + 1'state[936] + 1'state[937] + 1'state[938] + 1'state[939] + 1'state[940] + 1'state[941] + 1'state[942] + 1'state[943] + 1'state[944] + 1'state[945] + 1'state[946] + 1'state[947] + 1'state[948] + 1'state[949] + 1'state[950] + 1'state[951] + 1'state[952] + 1'state[953] + 1'state[954] + 1'state[955] + 1'state[956] + 1'state[957] + 1'state[958] + 1'state[959] + 1'state[960] + 1'state[961] + 1'state[962] + 1'state[963] + 1'state[964] + 1'state[965] + 1'state[966] + 1'state[967] + 1'state[968]= 1
invariant : 1'state[969] + 1'state[970] + 1'state[971] + 1'state[972] + 1'state[973] + 1'state[974] + 1'state[975] + 1'state[976] + 1'state[977] + 1'state[978] + 1'state[979] + 1'state[980] + 1'state[981] + 1'state[982] + 1'state[983] + 1'state[984] + 1'state[985] + 1'state[986] + 1'state[987] + 1'state[988] + 1'state[989] + 1'state[990] + 1'state[991] + 1'state[992] + 1'state[993] + 1'state[994] + 1'state[995] + 1'state[996] + 1'state[997] + 1'state[998] + 1'state[999] + 1'state[1000] + 1'state[1001] + 1'state[1002] + 1'state[1003] + 1'state[1004] + 1'state[1005] + 1'state[1006] + 1'state[1007] + 1'state[1008] + 1'state[1009] + 1'state[1010] + 1'state[1011] + 1'state[1012] + 1'state[1013] + 1'state[1014] + 1'state[1015] + 1'state[1016] + 1'state[1017] + 1'state[1018] + 1'state[1019]= 1
invariant : 1'state[0] + 1'state[1] + 1'state[2] + 1'state[3] + 1'state[4] + 1'state[5] + 1'state[6] + 1'state[7] + 1'state[8] + 1'state[9] + 1'state[10] + 1'state[11] + 1'state[12] + 1'state[13] + 1'state[14] + 1'state[15] + 1'state[16] + 1'state[17] + 1'state[18] + 1'state[19] + 1'state[20] + 1'state[21] + 1'state[22] + 1'state[23] + 1'state[24] + 1'state[25] + 1'state[26] + 1'state[27] + 1'state[28] + 1'state[29] + 1'state[30] + 1'state[31] + 1'state[32] + 1'state[33] + 1'state[34] + 1'state[35] + 1'state[36] + 1'state[37] + 1'state[38] + 1'state[39] + 1'state[40] + 1'state[41] + 1'state[42] + 1'state[43] + 1'state[44] + 1'state[45] + 1'state[46] + 1'state[47] + 1'state[48] + 1'state[49] + 1'state[50]= 1
invariant : 1'state[2193] + 1'state[2194] + 1'state[2195] + 1'state[2196] + 1'state[2197] + 1'state[2198] + 1'state[2199] + 1'state[2200] + 1'state[2201] + 1'state[2202] + 1'state[2203] + 1'state[2204] + 1'state[2205] + 1'state[2206] + 1'state[2207] + 1'state[2208] + 1'state[2209] + 1'state[2210] + 1'state[2211] + 1'state[2212] + 1'state[2213] + 1'state[2214] + 1'state[2215] + 1'state[2216] + 1'state[2217] + 1'state[2218] + 1'state[2219] + 1'state[2220] + 1'state[2221] + 1'state[2222] + 1'state[2223] + 1'state[2224] + 1'state[2225] + 1'state[2226] + 1'state[2227] + 1'state[2228] + 1'state[2229] + 1'state[2230] + 1'state[2231] + 1'state[2232] + 1'state[2233] + 1'state[2234] + 1'state[2235] + 1'state[2236] + 1'state[2237] + 1'state[2238] + 1'state[2239] + 1'state[2240] + 1'state[2241] + 1'state[2242] + 1'state[2243]= 1

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 3:40:02 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 3:40:02 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 02, 2017 3:40:04 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 2206 ms
Jun 02, 2017 3:40:04 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 1 places.
Jun 02, 2017 3:40:04 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 3:40:04 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Couple->state,

Jun 02, 2017 3:40:04 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 2 transitions.
Jun 02, 2017 3:40:04 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 3:40:43 PM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 2601 instantiations of transitions. Total transitions/syncs built is 127551
Jun 02, 2017 3:41:08 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 63901 ms
Jun 02, 2017 3:42:04 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 41212 ms
Jun 02, 2017 3:42:05 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 42349 ms
Jun 02, 2017 3:42:07 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityCardinality.pnml.gal : 3740 ms
Jun 02, 2017 3:42:07 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSTools
INFO: Time to serialize properties into /home/mcc/execution/ReachabilityCardinality.prop : 103 ms
Exception in thread "Thread-3" java.lang.StackOverflowError
at java.util.stream.ReferencePipeline$11$1.accept(ReferencePipeline.java:373)
at java.util.stream.ReferencePipeline$11$1.accept(ReferencePipeline.java:373)
at java.util.stream.ReferencePipeline$11$1.accept(ReferencePipeline.java:373)
at java.util.stream.ReferencePipeline$11$1.accept(ReferencePipeline.java:373)
at java.util.stream.ReferencePipeline$11$1.accept(ReferencePipeline.java:373)
at java.util.stream.ReferencePipeline$11$1.accept(ReferencePipeline.java:373)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:471)
at java.util.stream.StreamSpliterators$WrappingSpliterator.forEachRemaining(StreamSpliterators.java:312)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:742)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
at java.util.stream.Streams$ConcatSpliterator.forEachRemaining(Streams.java:743)
Jun 02, 2017 4:24:21 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 51 place invariants in 217359 ms

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="TokenRing-COL-050"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
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/TokenRing-COL-050.tgz
mv TokenRing-COL-050 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool itstools"
echo " Input is TokenRing-COL-050, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r080-ebro-149441010300277"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '' ReachabilityCardinality.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 ;