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 LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r080-ebro-149441010300275
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496417741888


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

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

BK_STOP 1496421324752

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -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 LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 3:35:44 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 3:35:44 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:35:46 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 2310 ms
Jun 02, 2017 3:35:46 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 1 places.
Jun 02, 2017 3:35:46 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 3:35:46 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Couple->state,

Jun 02, 2017 3:35:47 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 2 transitions.
Jun 02, 2017 3:35:47 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 3:36:27 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:36:53 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 66077 ms
Jun 02, 2017 3:36:57 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 3960 ms
Jun 02, 2017 3:36:57 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 104 ms
Exception in thread "Thread-5" 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:35:24 PM fr.lip6.move.gal.itstools.ProcessController$1 run
WARNING: null
Jun 02, 2017 4:35:24 PM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
Jun 02, 2017 4:35:24 PM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed

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="LTLCardinality"
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 LTLCardinality"
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-149441010300275"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.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 ;