About the Execution of Spot for Referendum-COL-1000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 270.920 | 23103.00 | 22650.00 | 519.40 | [undef] | Cannot compute |
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-3254
Executing tool spot
Input is Referendum-COL-1000, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r206-smll-149581169600113
=====================================================================
--------------------
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 Referendum-COL-1000-LTLCardinality-0
FORMULA_NAME Referendum-COL-1000-LTLCardinality-1
FORMULA_NAME Referendum-COL-1000-LTLCardinality-10
FORMULA_NAME Referendum-COL-1000-LTLCardinality-11
FORMULA_NAME Referendum-COL-1000-LTLCardinality-12
FORMULA_NAME Referendum-COL-1000-LTLCardinality-13
FORMULA_NAME Referendum-COL-1000-LTLCardinality-14
FORMULA_NAME Referendum-COL-1000-LTLCardinality-15
FORMULA_NAME Referendum-COL-1000-LTLCardinality-2
FORMULA_NAME Referendum-COL-1000-LTLCardinality-3
FORMULA_NAME Referendum-COL-1000-LTLCardinality-4
FORMULA_NAME Referendum-COL-1000-LTLCardinality-5
FORMULA_NAME Referendum-COL-1000-LTLCardinality-6
FORMULA_NAME Referendum-COL-1000-LTLCardinality-7
FORMULA_NAME Referendum-COL-1000-LTLCardinality-8
FORMULA_NAME Referendum-COL-1000-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496176023407
Built models for command :
CommandLine [args=[/home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201704071458/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/BenchKit/INPUTS/Referendum-COL-1000/LTLCardinality.gal, -t, CGAL, -LTL, /home/mcc/BenchKit/INPUTS/Referendum-COL-1000/LTLCardinality.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/BenchKit/INPUTS/Referendum-COL-1000]
gal2c command run as :
/home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/gal2c /home/mcc/BenchKit/INPUTS/Referendum-COL-1000/LTLCardinality.gal
BK_STOP 1496176046510
--------------------
content from stderr:
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -XX:MaxPermSize=512m -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/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/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/BenchKit/INPUTS/Referendum-COL-1000 -examination LTLCardinality -z3path /home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/z3/bin/z3 -yices2path /home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/yices/bin/yices -onlyGal
OpenJDK 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 30, 2017 8:27:07 PM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/BenchKit/INPUTS/Referendum-COL-1000/model.pnml
May 30, 2017 8:27:07 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 30, 2017 8:27:09 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 2273 ms
May 30, 2017 8:27:09 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 4 places.
May 30, 2017 8:27:09 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: read order :VarOrder [vars=[ready[0], voted_no[0], voted_no[1], voted_no[2], voted_no[3], voted_no[4], voted_no[5], voted_no[6], voted_no[7], voted_no[8], voted_no[9], voted_no[10], voted_no[11], voted_no[12], voted_no[13], voted_no[14], voted_no[15], voted_no[16], voted_no[17], voted_no[18], voted_no[19], voted_no[20], voted_no[21], voted_no[22], voted_no[23], voted_no[24], voted_no[25], voted_no[26], voted_no[27], voted_no[28], voted_no[29], voted_no[30], voted_no[31], voted_no[32], voted_no[33], voted_no[34], voted_no[35], voted_no[36], voted_no[37], voted_no[38], voted_no[39], voted_no[40], voted_no[41], voted_no[42], voted_no[43], voted_no[44], voted_no[45], voted_no[46], voted_no[47], voted_no[48], voted_no[49], voted_no[50], voted_no[51], voted_no[52], voted_no[53], voted_no[54], voted_no[55], voted_no[56], voted_no[57], voted_no[58], voted_no[59], voted_no[60], voted_no[61], voted_no[62], voted_no[63], voted_no[64], voted_no[65], voted_no[66], voted_no[67], voted_no[68], voted_no[69], voted_no[70], voted_no[71], voted_no[72], voted_no[73], voted_no[74], voted_no[75], voted_no[76], voted_no[77], voted_no[78], voted_no[79], voted_no[80], voted_no[81], voted_no[82], voted_no[83], voted_no[84], voted_no[85], voted_no[86], voted_no[87], voted_no[88], voted_no[89], voted_no[90], voted_no[91], voted_no[92], voted_no[93], voted_no[94], voted_no[95], voted_no[96], voted_no[97], voted_no[98], voted_no[99], voted_no[100], voted_no[101], voted_no[102], voted_no[103], voted_no[104], voted_no[105], voted_no[106], voted_no[107], voted_no[108], voted_no[109], voted_no[110], voted_no[111], voted_no[112], voted_no[113], voted_no[114], voted_no[115], voted_no[116], voted_no[117], voted_no[118], voted_no[119], voted_no[120], voted_no[121], voted_no[122], voted_no[123], voted_no[124], voted_no[125], voted_no[126], voted_no[127], voted_no[128], voted_no[129], voted_no[130], voted_no[131], voted_no[132], voted_no[133], voted_no[134], voted_no[135], voted_no[136], voted_no[137], voted_no[138], voted_no[139], voted_no[140], voted_no[141], voted_no[142], voted_no[143], voted_no[144], voted_no[145], voted_no[146], voted_no[147], voted_no[148], voted_no[149], voted_no[150], voted_no[151], voted_no[152], voted_no[153], voted_no[154], voted_no[155], voted_no[156], voted_no[157], voted_no[158], voted_no[159], voted_no[160], voted_no[161], voted_no[162], voted_no[163], voted_no[164], voted_no[165], voted_no[166], voted_no[167], voted_no[168], voted_no[169], voted_no[170], voted_no[171], voted_no[172], voted_no[173], voted_no[174], voted_no[175], voted_no[176], voted_no[177], voted_no[178], voted_no[179], voted_no[180], voted_no[181], voted_no[182], voted_no[183], voted_no[184], voted_no[185], voted_no[186], voted_no[187], voted_no[188], voted_no[189], voted_no[190], voted_no[191], voted_no[192], voted_no[193], voted_no[194], voted_no[195], voted_no[196], voted_no[197], voted_no[198], voted_no[199], voted_no[200], voted_no[201], voted_no[202], voted_no[203], voted_no[204], voted_no[205], voted_no[206], voted_no[207], voted_no[208], voted_no[209], voted_no[210], voted_no[211], voted_no[212], voted_no[213], voted_no[214], voted_no[215], voted_no[216], voted_no[217], voted_no[218], voted_no[219], voted_no[220], voted_no[221], voted_no[222], voted_no[223], voted_no[224], voted_no[225], voted_no[226], voted_no[227], voted_no[228], voted_no[229], voted_no[230], voted_no[231], voted_no[232], voted_no[233], voted_no[234], voted_no[235], voted_no[236], voted_no[237], voted_no[238], voted_no[239], voted_no[240], voted_no[241], voted_no[242], voted_no[243], voted_no[244], voted_no[245], voted_no[246], voted_no[247], voted_no[248], voted_no[249], voted_no[250], voted_no[251], voted_no[252], voted_no[253], voted_no[254], voted_no[255], voted_no[256], voted_no[257], voted_no[258], voted_no[259], voted_no[260], voted_no[261], voted_no[262], voted_no[263], voted_no[264], voted_no[265], voted_no[266], voted_no[267], voted_no[268], voted_no[269], voted_no[270], voted_no[271], voted_no[272], voted_no[273], voted_no[274], voted_no[275], voted_no[276], voted_no[277], voted_no[278], voted_no[279], voted_no[280], voted_no[281], voted_no[282], voted_no[283], voted_no[284], voted_no[285], voted_no[286], voted_no[287], voted_no[288], voted_no[289], voted_no[290], voted_no[291], voted_no[292], voted_no[293], voted_no[294], voted_no[295], voted_no[296], voted_no[297], voted_no[298], voted_no[299], voted_no[300], voted_no[301], voted_no[302], voted_no[303], voted_no[304], voted_no[305], voted_no[306], voted_no[307], voted_no[308], voted_no[309], voted_no[310], voted_no[311], voted_no[312], voted_no[313], voted_no[314], voted_no[315], voted_no[316], voted_no[317], voted_no[318], voted_no[319], voted_no[320], voted_no[321], voted_no[322], voted_no[323], voted_no[324], voted_no[325], voted_no[326], voted_no[327], voted_no[328], voted_no[329], voted_no[330], voted_no[331], voted_no[332], voted_no[333], voted_no[334], voted_no[335], voted_no[336], voted_no[337], voted_no[338], voted_no[339], voted_no[340], voted_no[341], voted_no[342], voted_no[343], voted_no[344], voted_no[345], voted_no[346], voted_no[347], voted_no[348], voted_no[349], voted_no[350], voted_no[351], voted_no[352], voted_no[353], voted_no[354], voted_no[355], voted_no[356], voted_no[357], voted_no[358], voted_no[359], voted_no[360], voted_no[361], voted_no[362], voted_no[363], voted_no[364], voted_no[365], voted_no[366], voted_no[367], voted_no[368], voted_no[369], voted_no[370], voted_no[371], voted_no[372], voted_no[373], voted_no[374], voted_no[375], voted_no[376], voted_no[377], voted_no[378], voted_no[379], voted_no[380], voted_no[381], voted_no[382], voted_no[383], voted_no[384], voted_no[385], voted_no[386], voted_no[387], voted_no[388], voted_no[389], voted_no[390], voted_no[391], voted_no[392], voted_no[393], voted_no[394], voted_no[395], voted_no[396], voted_no[397], voted_no[398], voted_no[399], voted_no[400], voted_no[401], voted_no[402], voted_no[403], voted_no[404], voted_no[405], voted_no[406], voted_no[407], voted_no[408], voted_no[409], voted_no[410], voted_no[411], voted_no[412], voted_no[413], voted_no[414], voted_no[415], voted_no[416], voted_no[417], voted_no[418], voted_no[419], voted_no[420], voted_no[421], voted_no[422], voted_no[423], voted_no[424], voted_no[425], voted_no[426], voted_no[427], voted_no[428], voted_no[429], voted_no[430], voted_no[431], voted_no[432], voted_no[433], voted_no[434], voted_no[435], voted_no[436], voted_no[437], voted_no[438], voted_no[439], voted_no[440], voted_no[441], voted_no[442], voted_no[443], voted_no[444], voted_no[445], voted_no[446], voted_no[447], voted_no[448], voted_no[449], voted_no[450], voted_no[451], voted_no[452], voted_no[453], voted_no[454], voted_no[455], voted_no[456], voted_no[457], voted_no[458], voted_no[459], voted_no[460], voted_no[461], voted_no[462], voted_no[463], voted_no[464], voted_no[465], voted_no[466], voted_no[467], voted_no[468], voted_no[469], voted_no[470], voted_no[471], voted_no[472], voted_no[473], voted_no[474], voted_no[475], voted_no[476], voted_no[477], voted_no[478], voted_no[479], voted_no[480], voted_no[481], voted_no[482], voted_no[483], voted_no[484], voted_no[485], voted_no[486], voted_no[487], voted_no[488], voted_no[489], voted_no[490], voted_no[491], voted_no[492], voted_no[493], voted_no[494], voted_no[495], voted_no[496], voted_no[497], voted_no[498], voted_no[499], voted_no[500], voted_no[501], voted_no[502], voted_no[503], voted_no[504], voted_no[505], voted_no[506], voted_no[507], voted_no[508], voted_no[509], voted_no[510], voted_no[511], voted_no[512], voted_no[513], voted_no[514], voted_no[515], voted_no[516], voted_no[517], voted_no[518], voted_no[519], voted_no[520], voted_no[521], voted_no[522], voted_no[523], voted_no[524], voted_no[525], voted_no[526], voted_no[527], voted_no[528], voted_no[529], voted_no[530], voted_no[531], voted_no[532], voted_no[533], voted_no[534], voted_no[535], voted_no[536], voted_no[537], voted_no[538], voted_no[539], voted_no[540], voted_no[541], voted_no[542], voted_no[543], voted_no[544], voted_no[545], voted_no[546], voted_no[547], voted_no[548], voted_no[549], voted_no[550], voted_no[551], voted_no[552], voted_no[553], voted_no[554], voted_no[555], voted_no[556], voted_no[557], voted_no[558], voted_no[559], voted_no[560], voted_no[561], voted_no[562], voted_no[563], voted_no[564], voted_no[565], voted_no[566], voted_no[567], voted_no[568], voted_no[569], voted_no[570], voted_no[571], voted_no[572], voted_no[573], voted_no[574], voted_no[575], voted_no[576], voted_no[577], voted_no[578], voted_no[579], voted_no[580], voted_no[581], voted_no[582], voted_no[583], voted_no[584], voted_no[585], voted_no[586], voted_no[587], voted_no[588], voted_no[589], voted_no[590], voted_no[591], voted_no[592], voted_no[593], voted_no[594], voted_no[595], voted_no[596], voted_no[597], voted_no[598], voted_no[599], voted_no[600], voted_no[601], voted_no[602], voted_no[603], voted_no[604], voted_no[605], voted_no[606], voted_no[607], voted_no[608], voted_no[609], voted_no[610], voted_no[611], voted_no[612], voted_no[613], voted_no[614], voted_no[615], voted_no[616], voted_no[617], voted_no[618], voted_no[619], voted_no[620], voted_no[621], voted_no[622], voted_no[623], voted_no[624], voted_no[625], voted_no[626], voted_no[627], voted_no[628], voted_no[629], voted_no[630], voted_no[631], voted_no[632], voted_no[633], voted_no[634], voted_no[635], voted_no[636], voted_no[637], voted_no[638], voted_no[639], voted_no[640], voted_no[641], voted_no[642], voted_no[643], voted_no[644], voted_no[645], voted_no[646], voted_no[647], voted_no[648], voted_no[649], voted_no[650], voted_no[651], voted_no[652], voted_no[653], voted_no[654], voted_no[655], voted_no[656], voted_no[657], voted_no[658], voted_no[659], voted_no[660], voted_no[661], voted_no[662], voted_no[663], voted_no[664], voted_no[665], voted_no[666], voted_no[667], voted_no[668], voted_no[669], voted_no[670], voted_no[671], voted_no[672], voted_no[673], voted_no[674], voted_no[675], voted_no[676], voted_no[677], voted_no[678], voted_no[679], voted_no[680], voted_no[681], voted_no[682], voted_no[683], voted_no[684], voted_no[685], voted_no[686], voted_no[687], voted_no[688], voted_no[689], voted_no[690], voted_no[691], voted_no[692], voted_no[693], voted_no[694], voted_no[695], voted_no[696], voted_no[697], voted_no[698], voted_no[699], voted_no[700], voted_no[701], voted_no[702], voted_no[703], voted_no[704], voted_no[705], voted_no[706], voted_no[707], voted_no[708], voted_no[709], voted_no[710], voted_no[711], voted_no[712], voted_no[713], voted_no[714], voted_no[715], voted_no[716], voted_no[717], voted_no[718], voted_no[719], voted_no[720], voted_no[721], voted_no[722], voted_no[723], voted_no[724], voted_no[725], voted_no[726], voted_no[727], voted_no[728], voted_no[729], voted_no[730], voted_no[731], voted_no[732], voted_no[733], voted_no[734], voted_no[735], voted_no[736], voted_no[737], voted_no[738], voted_no[739], voted_no[740], voted_no[741], voted_no[742], voted_no[743], voted_no[744], voted_no[745], voted_no[746], voted_no[747], voted_no[748], voted_no[749], voted_no[750], voted_no[751], voted_no[752], voted_no[753], voted_no[754], voted_no[755], voted_no[756], voted_no[757], voted_no[758], voted_no[759], voted_no[760], voted_no[761], voted_no[762], voted_no[763], voted_no[764], voted_no[765], voted_no[766], voted_no[767], voted_no[768], voted_no[769], voted_no[770], voted_no[771], voted_no[772], voted_no[773], voted_no[774], voted_no[775], voted_no[776], voted_no[777], voted_no[778], voted_no[779], voted_no[780], voted_no[781], voted_no[782], voted_no[783], voted_no[784], voted_no[785], voted_no[786], voted_no[787], voted_no[788], voted_no[789], voted_no[790], voted_no[791], voted_no[792], voted_no[793], voted_no[794], voted_no[795], voted_no[796], voted_no[797], voted_no[798], voted_no[799], voted_no[800], voted_no[801], voted_no[802], voted_no[803], voted_no[804], voted_no[805], voted_no[806], voted_no[807], voted_no[808], voted_no[809], voted_no[810], voted_no[811], voted_no[812], voted_no[813], voted_no[814], voted_no[815], voted_no[816], voted_no[817], voted_no[818], voted_no[819], voted_no[820], voted_no[821], voted_no[822], voted_no[823], voted_no[824], voted_no[825], voted_no[826], voted_no[827], voted_no[828], voted_no[829], voted_no[830], voted_no[831], voted_no[832], voted_no[833], voted_no[834], voted_no[835], voted_no[836], voted_no[837], voted_no[838], voted_no[839], voted_no[840], voted_no[841], voted_no[842], voted_no[843], voted_no[844], voted_no[845], voted_no[846], voted_no[847], voted_no[848], voted_no[849], voted_no[850], voted_no[851], voted_no[852], voted_no[853], voted_no[854], voted_no[855], voted_no[856], voted_no[857], voted_no[858], voted_no[859], voted_no[860], voted_no[861], voted_no[862], voted_no[863], voted_no[864], voted_no[865], voted_no[866], voted_no[867], voted_no[868], voted_no[869], voted_no[870], voted_no[871], voted_no[872], voted_no[873], voted_no[874], voted_no[875], voted_no[876], voted_no[877], voted_no[878], voted_no[879], voted_no[880], voted_no[881], voted_no[882], voted_no[883], voted_no[884], voted_no[885], voted_no[886], voted_no[887], voted_no[888], voted_no[889], voted_no[890], voted_no[891], voted_no[892], voted_no[893], voted_no[894], voted_no[895], voted_no[896], voted_no[897], voted_no[898], voted_no[899], voted_no[900], voted_no[901], voted_no[902], voted_no[903], voted_no[904], voted_no[905], voted_no[906], voted_no[907], voted_no[908], voted_no[909], voted_no[910], voted_no[911], voted_no[912], voted_no[913], voted_no[914], voted_no[915], voted_no[916], voted_no[917], voted_no[918], voted_no[919], voted_no[920], voted_no[921], voted_no[922], voted_no[923], voted_no[924], voted_no[925], voted_no[926], voted_no[927], voted_no[928], voted_no[929], voted_no[930], voted_no[931], voted_no[932], voted_no[933], voted_no[934], voted_no[935], voted_no[936], voted_no[937], voted_no[938], voted_no[939], voted_no[940], voted_no[941], voted_no[942], voted_no[943], voted_no[944], voted_no[945], voted_no[946], voted_no[947], voted_no[948], voted_no[949], voted_no[950], voted_no[951], voted_no[952], voted_no[953], voted_no[954], voted_no[955], voted_no[956], voted_no[957], voted_no[958], voted_no[959], voted_no[960], voted_no[961], voted_no[962], voted_no[963], voted_no[964], voted_no[965], voted_no[966], voted_no[967], voted_no[968], voted_no[969], voted_no[970], voted_no[971], voted_no[972], voted_no[973], voted_no[974], voted_no[975], voted_no[976], voted_no[977], voted_no[978], voted_no[979], voted_no[980], voted_no[981], voted_no[982], voted_no[983], voted_no[984], voted_no[985], voted_no[986], voted_no[987], voted_no[988], voted_no[989], voted_no[990], voted_no[991], voted_no[992], voted_no[993], voted_no[994], voted_no[995], voted_no[996], voted_no[997], voted_no[998], voted_no[999], voted_yes[0], voted_yes[1], voted_yes[2], voted_yes[3], voted_yes[4], voted_yes[5], voted_yes[6], voted_yes[7], voted_yes[8], voted_yes[9], voted_yes[10], voted_yes[11], voted_yes[12], voted_yes[13], voted_yes[14], voted_yes[15], voted_yes[16], voted_yes[17], voted_yes[18], voted_yes[19], voted_yes[20], voted_yes[21], voted_yes[22], voted_yes[23], voted_yes[24], voted_yes[25], voted_yes[26], voted_yes[27], voted_yes[28], voted_yes[29], voted_yes[30], voted_yes[31], voted_yes[32], voted_yes[33], voted_yes[34], voted_yes[35], voted_yes[36], voted_yes[37], voted_yes[38], voted_yes[39], voted_yes[40], voted_yes[41], voted_yes[42], voted_yes[43], voted_yes[44], voted_yes[45], voted_yes[46], voted_yes[47], voted_yes[48], voted_yes[49], voted_yes[50], voted_yes[51], voted_yes[52], voted_yes[53], voted_yes[54], voted_yes[55], voted_yes[56], voted_yes[57], voted_yes[58], voted_yes[59], voted_yes[60], voted_yes[61], voted_yes[62], voted_yes[63], voted_yes[64], voted_yes[65], voted_yes[66], voted_yes[67], voted_yes[68], voted_yes[69], voted_yes[70], voted_yes[71], voted_yes[72], voted_yes[73], voted_yes[74], voted_yes[75], voted_yes[76], voted_yes[77], voted_yes[78], voted_yes[79], voted_yes[80], voted_yes[81], voted_yes[82], voted_yes[83], voted_yes[84], voted_yes[85], voted_yes[86], voted_yes[87], voted_yes[88], voted_yes[89], voted_yes[90], voted_yes[91], voted_yes[92], voted_yes[93], voted_yes[94], voted_yes[95], voted_yes[96], voted_yes[97], voted_yes[98], voted_yes[99], voted_yes[100], voted_yes[101], voted_yes[102], voted_yes[103], voted_yes[104], voted_yes[105], voted_yes[106], voted_yes[107], voted_yes[108], voted_yes[109], voted_yes[110], voted_yes[111], voted_yes[112], voted_yes[113], voted_yes[114], voted_yes[115], voted_yes[116], voted_yes[117], voted_yes[118], voted_yes[119], voted_yes[120], voted_yes[121], voted_yes[122], voted_yes[123], voted_yes[124], voted_yes[125], voted_yes[126], voted_yes[127], voted_yes[128], voted_yes[129], voted_yes[130], voted_yes[131], voted_yes[132], voted_yes[133], voted_yes[134], voted_yes[135], voted_yes[136], voted_yes[137], voted_yes[138], voted_yes[139], voted_yes[140], voted_yes[141], voted_yes[142], voted_yes[143], voted_yes[144], voted_yes[145], voted_yes[146], voted_yes[147], voted_yes[148], voted_yes[149], voted_yes[150], voted_yes[151], voted_yes[152], voted_yes[153], voted_yes[154], voted_yes[155], voted_yes[156], voted_yes[157], voted_yes[158], voted_yes[159], voted_yes[160], voted_yes[161], voted_yes[162], voted_yes[163], voted_yes[164], voted_yes[165], voted_yes[166], voted_yes[167], voted_yes[168], voted_yes[169], voted_yes[170], voted_yes[171], voted_yes[172], voted_yes[173], voted_yes[174], voted_yes[175], voted_yes[176], voted_yes[177], voted_yes[178], voted_yes[179], voted_yes[180], voted_yes[181], voted_yes[182], voted_yes[183], voted_yes[184], voted_yes[185], voted_yes[186], voted_yes[187], voted_yes[188], voted_yes[189], voted_yes[190], voted_yes[191], voted_yes[192], voted_yes[193], voted_yes[194], voted_yes[195], voted_yes[196], voted_yes[197], voted_yes[198], voted_yes[199], voted_yes[200], voted_yes[201], voted_yes[202], voted_yes[203], voted_yes[204], voted_yes[205], voted_yes[206], voted_yes[207], voted_yes[208], voted_yes[209], voted_yes[210], voted_yes[211], voted_yes[212], voted_yes[213], voted_yes[214], voted_yes[215], voted_yes[216], voted_yes[217], voted_yes[218], voted_yes[219], voted_yes[220], voted_yes[221], voted_yes[222], voted_yes[223], voted_yes[224], voted_yes[225], voted_yes[226], voted_yes[227], voted_yes[228], voted_yes[229], voted_yes[230], voted_yes[231], voted_yes[232], voted_yes[233], voted_yes[234], voted_yes[235], voted_yes[236], voted_yes[237], voted_yes[238], voted_yes[239], voted_yes[240], voted_yes[241], voted_yes[242], voted_yes[243], voted_yes[244], voted_yes[245], voted_yes[246], voted_yes[247], voted_yes[248], voted_yes[249], voted_yes[250], voted_yes[251], voted_yes[252], voted_yes[253], voted_yes[254], voted_yes[255], voted_yes[256], voted_yes[257], voted_yes[258], voted_yes[259], voted_yes[260], voted_yes[261], voted_yes[262], voted_yes[263], voted_yes[264], voted_yes[265], voted_yes[266], voted_yes[267], voted_yes[268], voted_yes[269], voted_yes[270], voted_yes[271], voted_yes[272], voted_yes[273], voted_yes[274], voted_yes[275], voted_yes[276], voted_yes[277], voted_yes[278], voted_yes[279], voted_yes[280], voted_yes[281], voted_yes[282], voted_yes[283], voted_yes[284], voted_yes[285], voted_yes[286], voted_yes[287], voted_yes[288], voted_yes[289], voted_yes[290], voted_yes[291], voted_yes[292], voted_yes[293], voted_yes[294], voted_yes[295], voted_yes[296], voted_yes[297], voted_yes[298], voted_yes[299], voted_yes[300], voted_yes[301], voted_yes[302], voted_yes[303], voted_yes[304], voted_yes[305], voted_yes[306], voted_yes[307], voted_yes[308], voted_yes[309], voted_yes[310], voted_yes[311], voted_yes[312], voted_yes[313], voted_yes[314], voted_yes[315], voted_yes[316], voted_yes[317], voted_yes[318], voted_yes[319], voted_yes[320], voted_yes[321], voted_yes[322], voted_yes[323], voted_yes[324], voted_yes[325], voted_yes[326], voted_yes[327], voted_yes[328], voted_yes[329], voted_yes[330], voted_yes[331], voted_yes[332], voted_yes[333], voted_yes[334], voted_yes[335], voted_yes[336], voted_yes[337], voted_yes[338], voted_yes[339], voted_yes[340], voted_yes[341], voted_yes[342], voted_yes[343], voted_yes[344], voted_yes[345], voted_yes[346], voted_yes[347], voted_yes[348], voted_yes[349], voted_yes[350], voted_yes[351], voted_yes[352], voted_yes[353], voted_yes[354], voted_yes[355], voted_yes[356], voted_yes[357], voted_yes[358], voted_yes[359], voted_yes[360], voted_yes[361], voted_yes[362], voted_yes[363], voted_yes[364], voted_yes[365], voted_yes[366], voted_yes[367], voted_yes[368], voted_yes[369], voted_yes[370], voted_yes[371], voted_yes[372], voted_yes[373], voted_yes[374], voted_yes[375], voted_yes[376], voted_yes[377], voted_yes[378], voted_yes[379], voted_yes[380], voted_yes[381], voted_yes[382], voted_yes[383], voted_yes[384], voted_yes[385], voted_yes[386], voted_yes[387], voted_yes[388], voted_yes[389], voted_yes[390], voted_yes[391], voted_yes[392], voted_yes[393], voted_yes[394], voted_yes[395], voted_yes[396], voted_yes[397], voted_yes[398], voted_yes[399], voted_yes[400], voted_yes[401], voted_yes[402], voted_yes[403], voted_yes[404], voted_yes[405], voted_yes[406], voted_yes[407], voted_yes[408], voted_yes[409], voted_yes[410], voted_yes[411], voted_yes[412], voted_yes[413], voted_yes[414], voted_yes[415], voted_yes[416], voted_yes[417], voted_yes[418], voted_yes[419], voted_yes[420], voted_yes[421], voted_yes[422], voted_yes[423], voted_yes[424], voted_yes[425], voted_yes[426], voted_yes[427], voted_yes[428], voted_yes[429], voted_yes[430], voted_yes[431], voted_yes[432], voted_yes[433], voted_yes[434], voted_yes[435], voted_yes[436], voted_yes[437], voted_yes[438], voted_yes[439], voted_yes[440], voted_yes[441], voted_yes[442], voted_yes[443], voted_yes[444], voted_yes[445], voted_yes[446], voted_yes[447], voted_yes[448], voted_yes[449], voted_yes[450], voted_yes[451], voted_yes[452], voted_yes[453], voted_yes[454], voted_yes[455], voted_yes[456], voted_yes[457], voted_yes[458], voted_yes[459], voted_yes[460], voted_yes[461], voted_yes[462], voted_yes[463], voted_yes[464], voted_yes[465], voted_yes[466], voted_yes[467], voted_yes[468], voted_yes[469], voted_yes[470], voted_yes[471], voted_yes[472], voted_yes[473], voted_yes[474], voted_yes[475], voted_yes[476], voted_yes[477], voted_yes[478], voted_yes[479], voted_yes[480], voted_yes[481], voted_yes[482], voted_yes[483], voted_yes[484], voted_yes[485], voted_yes[486], voted_yes[487], voted_yes[488], voted_yes[489], voted_yes[490], voted_yes[491], voted_yes[492], voted_yes[493], voted_yes[494], voted_yes[495], voted_yes[496], voted_yes[497], voted_yes[498], voted_yes[499], voted_yes[500], voted_yes[501], voted_yes[502], voted_yes[503], voted_yes[504], voted_yes[505], voted_yes[506], voted_yes[507], voted_yes[508], voted_yes[509], voted_yes[510], voted_yes[511], voted_yes[512], voted_yes[513], voted_yes[514], voted_yes[515], voted_yes[516], voted_yes[517], voted_yes[518], voted_yes[519], voted_yes[520], voted_yes[521], voted_yes[522], voted_yes[523], voted_yes[524], voted_yes[525], voted_yes[526], voted_yes[527], voted_yes[528], voted_yes[529], voted_yes[530], voted_yes[531], voted_yes[532], voted_yes[533], voted_yes[534], voted_yes[535], voted_yes[536], voted_yes[537], voted_yes[538], voted_yes[539], voted_yes[540], voted_yes[541], voted_yes[542], voted_yes[543], voted_yes[544], voted_yes[545], voted_yes[546], voted_yes[547], voted_yes[548], voted_yes[549], voted_yes[550], voted_yes[551], voted_yes[552], voted_yes[553], voted_yes[554], voted_yes[555], voted_yes[556], voted_yes[557], voted_yes[558], voted_yes[559], voted_yes[560], voted_yes[561], voted_yes[562], voted_yes[563], voted_yes[564], voted_yes[565], voted_yes[566], voted_yes[567], voted_yes[568], voted_yes[569], voted_yes[570], voted_yes[571], voted_yes[572], voted_yes[573], voted_yes[574], voted_yes[575], voted_yes[576], voted_yes[577], voted_yes[578], voted_yes[579], voted_yes[580], voted_yes[581], voted_yes[582], voted_yes[583], voted_yes[584], voted_yes[585], voted_yes[586], voted_yes[587], voted_yes[588], voted_yes[589], voted_yes[590], voted_yes[591], voted_yes[592], voted_yes[593], voted_yes[594], voted_yes[595], voted_yes[596], voted_yes[597], voted_yes[598], voted_yes[599], voted_yes[600], voted_yes[601], voted_yes[602], voted_yes[603], voted_yes[604], voted_yes[605], voted_yes[606], voted_yes[607], voted_yes[608], voted_yes[609], voted_yes[610], voted_yes[611], voted_yes[612], voted_yes[613], voted_yes[614], voted_yes[615], voted_yes[616], voted_yes[617], voted_yes[618], voted_yes[619], voted_yes[620], voted_yes[621], voted_yes[622], voted_yes[623], voted_yes[624], voted_yes[625], voted_yes[626], voted_yes[627], voted_yes[628], voted_yes[629], voted_yes[630], voted_yes[631], voted_yes[632], voted_yes[633], voted_yes[634], voted_yes[635], voted_yes[636], voted_yes[637], voted_yes[638], voted_yes[639], voted_yes[640], voted_yes[641], voted_yes[642], voted_yes[643], voted_yes[644], voted_yes[645], voted_yes[646], voted_yes[647], voted_yes[648], voted_yes[649], voted_yes[650], voted_yes[651], voted_yes[652], voted_yes[653], voted_yes[654], voted_yes[655], voted_yes[656], voted_yes[657], voted_yes[658], voted_yes[659], voted_yes[660], voted_yes[661], voted_yes[662], voted_yes[663], voted_yes[664], voted_yes[665], voted_yes[666], voted_yes[667], voted_yes[668], voted_yes[669], voted_yes[670], voted_yes[671], voted_yes[672], voted_yes[673], voted_yes[674], voted_yes[675], voted_yes[676], voted_yes[677], voted_yes[678], voted_yes[679], voted_yes[680], voted_yes[681], voted_yes[682], voted_yes[683], voted_yes[684], voted_yes[685], voted_yes[686], voted_yes[687], voted_yes[688], voted_yes[689], voted_yes[690], voted_yes[691], voted_yes[692], voted_yes[693], voted_yes[694], voted_yes[695], voted_yes[696], voted_yes[697], voted_yes[698], voted_yes[699], voted_yes[700], voted_yes[701], voted_yes[702], voted_yes[703], voted_yes[704], voted_yes[705], voted_yes[706], voted_yes[707], voted_yes[708], voted_yes[709], voted_yes[710], voted_yes[711], voted_yes[712], voted_yes[713], voted_yes[714], voted_yes[715], voted_yes[716], voted_yes[717], voted_yes[718], voted_yes[719], voted_yes[720], voted_yes[721], voted_yes[722], voted_yes[723], voted_yes[724], voted_yes[725], voted_yes[726], voted_yes[727], voted_yes[728], voted_yes[729], voted_yes[730], voted_yes[731], voted_yes[732], voted_yes[733], voted_yes[734], voted_yes[735], voted_yes[736], voted_yes[737], voted_yes[738], voted_yes[739], voted_yes[740], voted_yes[741], voted_yes[742], voted_yes[743], voted_yes[744], voted_yes[745], voted_yes[746], voted_yes[747], voted_yes[748], voted_yes[749], voted_yes[750], voted_yes[751], voted_yes[752], voted_yes[753], voted_yes[754], voted_yes[755], voted_yes[756], voted_yes[757], voted_yes[758], voted_yes[759], voted_yes[760], voted_yes[761], voted_yes[762], voted_yes[763], voted_yes[764], voted_yes[765], voted_yes[766], voted_yes[767], voted_yes[768], voted_yes[769], voted_yes[770], voted_yes[771], voted_yes[772], voted_yes[773], voted_yes[774], voted_yes[775], voted_yes[776], voted_yes[777], voted_yes[778], voted_yes[779], voted_yes[780], voted_yes[781], voted_yes[782], voted_yes[783], voted_yes[784], voted_yes[785], voted_yes[786], voted_yes[787], voted_yes[788], voted_yes[789], voted_yes[790], voted_yes[791], voted_yes[792], voted_yes[793], voted_yes[794], voted_yes[795], voted_yes[796], voted_yes[797], voted_yes[798], voted_yes[799], voted_yes[800], voted_yes[801], voted_yes[802], voted_yes[803], voted_yes[804], voted_yes[805], voted_yes[806], voted_yes[807], voted_yes[808], voted_yes[809], voted_yes[810], voted_yes[811], voted_yes[812], voted_yes[813], voted_yes[814], voted_yes[815], voted_yes[816], voted_yes[817], voted_yes[818], voted_yes[819], voted_yes[820], voted_yes[821], voted_yes[822], voted_yes[823], voted_yes[824], voted_yes[825], voted_yes[826], voted_yes[827], voted_yes[828], voted_yes[829], voted_yes[830], voted_yes[831], voted_yes[832], voted_yes[833], voted_yes[834], voted_yes[835], voted_yes[836], voted_yes[837], voted_yes[838], voted_yes[839], voted_yes[840], voted_yes[841], voted_yes[842], voted_yes[843], voted_yes[844], voted_yes[845], voted_yes[846], voted_yes[847], voted_yes[848], voted_yes[849], voted_yes[850], voted_yes[851], voted_yes[852], voted_yes[853], voted_yes[854], voted_yes[855], voted_yes[856], voted_yes[857], voted_yes[858], voted_yes[859], voted_yes[860], voted_yes[861], voted_yes[862], voted_yes[863], voted_yes[864], voted_yes[865], voted_yes[866], voted_yes[867], voted_yes[868], voted_yes[869], voted_yes[870], voted_yes[871], voted_yes[872], voted_yes[873], voted_yes[874], voted_yes[875], voted_yes[876], voted_yes[877], voted_yes[878], voted_yes[879], voted_yes[880], voted_yes[881], voted_yes[882], voted_yes[883], voted_yes[884], voted_yes[885], voted_yes[886], voted_yes[887], voted_yes[888], voted_yes[889], voted_yes[890], voted_yes[891], voted_yes[892], voted_yes[893], voted_yes[894], voted_yes[895], voted_yes[896], voted_yes[897], voted_yes[898], voted_yes[899], voted_yes[900], voted_yes[901], voted_yes[902], voted_yes[903], voted_yes[904], voted_yes[905], voted_yes[906], voted_yes[907], voted_yes[908], voted_yes[909], voted_yes[910], voted_yes[911], voted_yes[912], voted_yes[913], voted_yes[914], voted_yes[915], voted_yes[916], voted_yes[917], voted_yes[918], voted_yes[919], voted_yes[920], voted_yes[921], voted_yes[922], voted_yes[923], voted_yes[924], voted_yes[925], voted_yes[926], voted_yes[927], voted_yes[928], voted_yes[929], voted_yes[930], voted_yes[931], voted_yes[932], voted_yes[933], voted_yes[934], voted_yes[935], voted_yes[936], voted_yes[937], voted_yes[938], voted_yes[939], voted_yes[940], voted_yes[941], voted_yes[942], voted_yes[943], voted_yes[944], voted_yes[945], voted_yes[946], voted_yes[947], voted_yes[948], voted_yes[949], voted_yes[950], voted_yes[951], voted_yes[952], voted_yes[953], voted_yes[954], voted_yes[955], voted_yes[956], voted_yes[957], voted_yes[958], voted_yes[959], voted_yes[960], voted_yes[961], voted_yes[962], voted_yes[963], voted_yes[964], voted_yes[965], voted_yes[966], voted_yes[967], voted_yes[968], voted_yes[969], voted_yes[970], voted_yes[971], voted_yes[972], voted_yes[973], voted_yes[974], voted_yes[975], voted_yes[976], voted_yes[977], voted_yes[978], voted_yes[979], voted_yes[980], voted_yes[981], voted_yes[982], voted_yes[983], voted_yes[984], voted_yes[985], voted_yes[986], voted_yes[987], voted_yes[988], voted_yes[989], voted_yes[990], voted_yes[991], voted_yes[992], voted_yes[993], voted_yes[994], voted_yes[995], voted_yes[996], voted_yes[997], voted_yes[998], voted_yes[999], voting[0], voting[1], voting[2], voting[3], voting[4], voting[5], voting[6], voting[7], voting[8], voting[9], voting[10], voting[11], voting[12], voting[13], voting[14], voting[15], voting[16], voting[17], voting[18], voting[19], voting[20], voting[21], voting[22], voting[23], voting[24], voting[25], voting[26], voting[27], voting[28], voting[29], voting[30], voting[31], voting[32], voting[33], voting[34], voting[35], voting[36], voting[37], voting[38], voting[39], voting[40], voting[41], voting[42], voting[43], voting[44], voting[45], voting[46], voting[47], voting[48], voting[49], voting[50], voting[51], voting[52], voting[53], voting[54], voting[55], voting[56], voting[57], voting[58], voting[59], voting[60], voting[61], voting[62], voting[63], voting[64], voting[65], voting[66], voting[67], voting[68], voting[69], voting[70], voting[71], voting[72], voting[73], voting[74], voting[75], voting[76], voting[77], voting[78], voting[79], voting[80], voting[81], voting[82], voting[83], voting[84], voting[85], voting[86], voting[87], voting[88], voting[89], voting[90], voting[91], voting[92], voting[93], voting[94], voting[95], voting[96], voting[97], voting[98], voting[99], voting[100], voting[101], voting[102], voting[103], voting[104], voting[105], voting[106], voting[107], voting[108], voting[109], voting[110], voting[111], voting[112], voting[113], voting[114], voting[115], voting[116], voting[117], voting[118], voting[119], voting[120], voting[121], voting[122], voting[123], voting[124], voting[125], voting[126], voting[127], voting[128], voting[129], voting[130], voting[131], voting[132], voting[133], voting[134], voting[135], voting[136], voting[137], voting[138], voting[139], voting[140], voting[141], voting[142], voting[143], voting[144], voting[145], voting[146], voting[147], voting[148], voting[149], voting[150], voting[151], voting[152], voting[153], voting[154], voting[155], voting[156], voting[157], voting[158], voting[159], voting[160], voting[161], voting[162], voting[163], voting[164], voting[165], voting[166], voting[167], voting[168], voting[169], voting[170], voting[171], voting[172], voting[173], voting[174], voting[175], voting[176], voting[177], voting[178], voting[179], voting[180], voting[181], voting[182], voting[183], voting[184], voting[185], voting[186], voting[187], voting[188], voting[189], voting[190], voting[191], voting[192], voting[193], voting[194], voting[195], voting[196], voting[197], voting[198], voting[199], voting[200], voting[201], voting[202], voting[203], voting[204], voting[205], voting[206], voting[207], voting[208], voting[209], voting[210], voting[211], voting[212], voting[213], voting[214], voting[215], voting[216], voting[217], voting[218], voting[219], voting[220], voting[221], voting[222], voting[223], voting[224], voting[225], voting[226], voting[227], voting[228], voting[229], voting[230], voting[231], voting[232], voting[233], voting[234], voting[235], voting[236], voting[237], voting[238], voting[239], voting[240], voting[241], voting[242], voting[243], voting[244], voting[245], voting[246], voting[247], voting[248], voting[249], voting[250], voting[251], voting[252], voting[253], voting[254], voting[255], voting[256], voting[257], voting[258], voting[259], voting[260], voting[261], voting[262], voting[263], voting[264], voting[265], voting[266], voting[267], voting[268], voting[269], voting[270], voting[271], voting[272], voting[273], voting[274], voting[275], voting[276], voting[277], voting[278], voting[279], voting[280], voting[281], voting[282], voting[283], voting[284], voting[285], voting[286], voting[287], voting[288], voting[289], voting[290], voting[291], voting[292], voting[293], voting[294], voting[295], voting[296], voting[297], voting[298], voting[299], voting[300], voting[301], voting[302], voting[303], voting[304], voting[305], voting[306], voting[307], voting[308], voting[309], voting[310], voting[311], voting[312], voting[313], voting[314], voting[315], voting[316], voting[317], voting[318], voting[319], voting[320], voting[321], voting[322], voting[323], voting[324], voting[325], voting[326], voting[327], voting[328], voting[329], voting[330], voting[331], voting[332], voting[333], voting[334], voting[335], voting[336], voting[337], voting[338], voting[339], voting[340], voting[341], voting[342], voting[343], voting[344], voting[345], voting[346], voting[347], voting[348], voting[349], voting[350], voting[351], voting[352], voting[353], voting[354], voting[355], voting[356], voting[357], voting[358], voting[359], voting[360], voting[361], voting[362], voting[363], voting[364], voting[365], voting[366], voting[367], voting[368], voting[369], voting[370], voting[371], voting[372], voting[373], voting[374], voting[375], voting[376], voting[377], voting[378], voting[379], voting[380], voting[381], voting[382], voting[383], voting[384], voting[385], voting[386], voting[387], voting[388], voting[389], voting[390], voting[391], voting[392], voting[393], voting[394], voting[395], voting[396], voting[397], voting[398], voting[399], voting[400], voting[401], voting[402], voting[403], voting[404], voting[405], voting[406], voting[407], voting[408], voting[409], voting[410], voting[411], voting[412], voting[413], voting[414], voting[415], voting[416], voting[417], voting[418], voting[419], voting[420], voting[421], voting[422], voting[423], voting[424], voting[425], voting[426], voting[427], voting[428], voting[429], voting[430], voting[431], voting[432], voting[433], voting[434], voting[435], voting[436], voting[437], voting[438], voting[439], voting[440], voting[441], voting[442], voting[443], voting[444], voting[445], voting[446], voting[447], voting[448], voting[449], voting[450], voting[451], voting[452], voting[453], voting[454], voting[455], voting[456], voting[457], voting[458], voting[459], voting[460], voting[461], voting[462], voting[463], voting[464], voting[465], voting[466], voting[467], voting[468], voting[469], voting[470], voting[471], voting[472], voting[473], voting[474], voting[475], voting[476], voting[477], voting[478], voting[479], voting[480], voting[481], voting[482], voting[483], voting[484], voting[485], voting[486], voting[487], voting[488], voting[489], voting[490], voting[491], voting[492], voting[493], voting[494], voting[495], voting[496], voting[497], voting[498], voting[499], voting[500], voting[501], voting[502], voting[503], voting[504], voting[505], voting[506], voting[507], voting[508], voting[509], voting[510], voting[511], voting[512], voting[513], voting[514], voting[515], voting[516], voting[517], voting[518], voting[519], voting[520], voting[521], voting[522], voting[523], voting[524], voting[525], voting[526], voting[527], voting[528], voting[529], voting[530], voting[531], voting[532], voting[533], voting[534], voting[535], voting[536], voting[537], voting[538], voting[539], voting[540], voting[541], voting[542], voting[543], voting[544], voting[545], voting[546], voting[547], voting[548], voting[549], voting[550], voting[551], voting[552], voting[553], voting[554], voting[555], voting[556], voting[557], voting[558], voting[559], voting[560], voting[561], voting[562], voting[563], voting[564], voting[565], voting[566], voting[567], voting[568], voting[569], voting[570], voting[571], voting[572], voting[573], voting[574], voting[575], voting[576], voting[577], voting[578], voting[579], voting[580], voting[581], voting[582], voting[583], voting[584], voting[585], voting[586], voting[587], voting[588], voting[589], voting[590], voting[591], voting[592], voting[593], voting[594], voting[595], voting[596], voting[597], voting[598], voting[599], voting[600], voting[601], voting[602], voting[603], voting[604], voting[605], voting[606], voting[607], voting[608], voting[609], voting[610], voting[611], voting[612], voting[613], voting[614], voting[615], voting[616], voting[617], voting[618], voting[619], voting[620], voting[621], voting[622], voting[623], voting[624], voting[625], voting[626], voting[627], voting[628], voting[629], voting[630], voting[631], voting[632], voting[633], voting[634], voting[635], voting[636], voting[637], voting[638], voting[639], voting[640], voting[641], voting[642], voting[643], voting[644], voting[645], voting[646], voting[647], voting[648], voting[649], voting[650], voting[651], voting[652], voting[653], voting[654], voting[655], voting[656], voting[657], voting[658], voting[659], voting[660], voting[661], voting[662], voting[663], voting[664], voting[665], voting[666], voting[667], voting[668], voting[669], voting[670], voting[671], voting[672], voting[673], voting[674], voting[675], voting[676], voting[677], voting[678], voting[679], voting[680], voting[681], voting[682], voting[683], voting[684], voting[685], voting[686], voting[687], voting[688], voting[689], voting[690], voting[691], voting[692], voting[693], voting[694], voting[695], voting[696], voting[697], voting[698], voting[699], voting[700], voting[701], voting[702], voting[703], voting[704], voting[705], voting[706], voting[707], voting[708], voting[709], voting[710], voting[711], voting[712], voting[713], voting[714], voting[715], voting[716], voting[717], voting[718], voting[719], voting[720], voting[721], voting[722], voting[723], voting[724], voting[725], voting[726], voting[727], voting[728], voting[729], voting[730], voting[731], voting[732], voting[733], voting[734], voting[735], voting[736], voting[737], voting[738], voting[739], voting[740], voting[741], voting[742], voting[743], voting[744], voting[745], voting[746], voting[747], voting[748], voting[749], voting[750], voting[751], voting[752], voting[753], voting[754], voting[755], voting[756], voting[757], voting[758], voting[759], voting[760], voting[761], voting[762], voting[763], voting[764], voting[765], voting[766], voting[767], voting[768], voting[769], voting[770], voting[771], voting[772], voting[773], voting[774], voting[775], voting[776], voting[777], voting[778], voting[779], voting[780], voting[781], voting[782], voting[783], voting[784], voting[785], voting[786], voting[787], voting[788], voting[789], voting[790], voting[791], voting[792], voting[793], voting[794], voting[795], voting[796], voting[797], voting[798], voting[799], voting[800], voting[801], voting[802], voting[803], voting[804], voting[805], voting[806], voting[807], voting[808], voting[809], voting[810], voting[811], voting[812], voting[813], voting[814], voting[815], voting[816], voting[817], voting[818], voting[819], voting[820], voting[821], voting[822], voting[823], voting[824], voting[825], voting[826], voting[827], voting[828], voting[829], voting[830], voting[831], voting[832], voting[833], voting[834], voting[835], voting[836], voting[837], voting[838], voting[839], voting[840], voting[841], voting[842], voting[843], voting[844], voting[845], voting[846], voting[847], voting[848], voting[849], voting[850], voting[851], voting[852], voting[853], voting[854], voting[855], voting[856], voting[857], voting[858], voting[859], voting[860], voting[861], voting[862], voting[863], voting[864], voting[865], voting[866], voting[867], voting[868], voting[869], voting[870], voting[871], voting[872], voting[873], voting[874], voting[875], voting[876], voting[877], voting[878], voting[879], voting[880], voting[881], voting[882], voting[883], voting[884], voting[885], voting[886], voting[887], voting[888], voting[889], voting[890], voting[891], voting[892], voting[893], voting[894], voting[895], voting[896], voting[897], voting[898], voting[899], voting[900], voting[901], voting[902], voting[903], voting[904], voting[905], voting[906], voting[907], voting[908], voting[909], voting[910], voting[911], voting[912], voting[913], voting[914], voting[915], voting[916], voting[917], voting[918], voting[919], voting[920], voting[921], voting[922], voting[923], voting[924], voting[925], voting[926], voting[927], voting[928], voting[929], voting[930], voting[931], voting[932], voting[933], voting[934], voting[935], voting[936], voting[937], voting[938], voting[939], voting[940], voting[941], voting[942], voting[943], voting[944], voting[945], voting[946], voting[947], voting[948], voting[949], voting[950], voting[951], voting[952], voting[953], voting[954], voting[955], voting[956], voting[957], voting[958], voting[959], voting[960], voting[961], voting[962], voting[963], voting[964], voting[965], voting[966], voting[967], voting[968], voting[969], voting[970], voting[971], voting[972], voting[973], voting[974], voting[975], voting[976], voting[977], voting[978], voting[979], voting[980], voting[981], voting[982], voting[983], voting[984], voting[985], voting[986], voting[987], voting[988], voting[989], voting[990], voting[991], voting[992], voting[993], voting[994], voting[995], voting[996], voting[997], voting[998], voting[999]]]
May 30, 2017 8:27:09 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Dot->ready,
Voters->voted_no,voted_yes,voting,
May 30, 2017 8:27:10 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 3 transitions.
May 30, 2017 8:27:10 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains : CompositeGalOrder [children=[VarOrder [vars=[ready[0]]], VarOrder [vars=[voted_no[0], voted_yes[0], voting[0]]], VarOrder [vars=[voted_no[1], voted_yes[1], voting[1]]], VarOrder [vars=[voted_no[2], voted_yes[2], voting[2]]], VarOrder [vars=[voted_no[3], voted_yes[3], voting[3]]], VarOrder [vars=[voted_no[4], voted_yes[4], voting[4]]], VarOrder [vars=[voted_no[5], voted_yes[5], voting[5]]], VarOrder [vars=[voted_no[6], voted_yes[6], voting[6]]], VarOrder [vars=[voted_no[7], voted_yes[7], voting[7]]], VarOrder [vars=[voted_no[8], voted_yes[8], voting[8]]], VarOrder [vars=[voted_no[9], voted_yes[9], voting[9]]], VarOrder [vars=[voted_no[10], voted_yes[10], voting[10]]], VarOrder [vars=[voted_no[11], voted_yes[11], voting[11]]], VarOrder [vars=[voted_no[12], voted_yes[12], voting[12]]], VarOrder [vars=[voted_no[13], voted_yes[13], voting[13]]], VarOrder [vars=[voted_no[14], voted_yes[14], voting[14]]], VarOrder [vars=[voted_no[15], voted_yes[15], voting[15]]], VarOrder [vars=[voted_no[16], voted_yes[16], voting[16]]], VarOrder [vars=[voted_no[17], voted_yes[17], voting[17]]], VarOrder [vars=[voted_no[18], voted_yes[18], voting[18]]], VarOrder [vars=[voted_no[19], voted_yes[19], voting[19]]], VarOrder [vars=[voted_no[20], voted_yes[20], voting[20]]], VarOrder [vars=[voted_no[21], voted_yes[21], voting[21]]], VarOrder [vars=[voted_no[22], voted_yes[22], voting[22]]], VarOrder [vars=[voted_no[23], voted_yes[23], voting[23]]], VarOrder [vars=[voted_no[24], voted_yes[24], voting[24]]], VarOrder [vars=[voted_no[25], voted_yes[25], voting[25]]], VarOrder [vars=[voted_no[26], voted_yes[26], voting[26]]], VarOrder [vars=[voted_no[27], voted_yes[27], voting[27]]], VarOrder [vars=[voted_no[28], voted_yes[28], voting[28]]], VarOrder [vars=[voted_no[29], voted_yes[29], voting[29]]], VarOrder [vars=[voted_no[30], voted_yes[30], voting[30]]], VarOrder [vars=[voted_no[31], voted_yes[31], voting[31]]], VarOrder [vars=[voted_no[32], voted_yes[32], voting[32]]], VarOrder [vars=[voted_no[33], voted_yes[33], voting[33]]], VarOrder [vars=[voted_no[34], voted_yes[34], voting[34]]], VarOrder [vars=[voted_no[35], voted_yes[35], voting[35]]], VarOrder [vars=[voted_no[36], voted_yes[36], voting[36]]], VarOrder [vars=[voted_no[37], voted_yes[37], voting[37]]], VarOrder [vars=[voted_no[38], voted_yes[38], voting[38]]], VarOrder [vars=[voted_no[39], voted_yes[39], voting[39]]], VarOrder [vars=[voted_no[40], voted_yes[40], voting[40]]], VarOrder [vars=[voted_no[41], voted_yes[41], voting[41]]], VarOrder [vars=[voted_no[42], voted_yes[42], voting[42]]], VarOrder [vars=[voted_no[43], voted_yes[43], voting[43]]], VarOrder [vars=[voted_no[44], voted_yes[44], voting[44]]], VarOrder [vars=[voted_no[45], voted_yes[45], voting[45]]], VarOrder [vars=[voted_no[46], voted_yes[46], voting[46]]], VarOrder [vars=[voted_no[47], voted_yes[47], voting[47]]], VarOrder [vars=[voted_no[48], voted_yes[48], voting[48]]], VarOrder [vars=[voted_no[49], voted_yes[49], voting[49]]], VarOrder [vars=[voted_no[50], voted_yes[50], voting[50]]], VarOrder [vars=[voted_no[51], voted_yes[51], voting[51]]], VarOrder [vars=[voted_no[52], voted_yes[52], voting[52]]], VarOrder [vars=[voted_no[53], voted_yes[53], voting[53]]], VarOrder [vars=[voted_no[54], voted_yes[54], voting[54]]], VarOrder [vars=[voted_no[55], voted_yes[55], voting[55]]], VarOrder [vars=[voted_no[56], voted_yes[56], voting[56]]], VarOrder [vars=[voted_no[57], voted_yes[57], voting[57]]], VarOrder [vars=[voted_no[58], voted_yes[58], voting[58]]], VarOrder [vars=[voted_no[59], voted_yes[59], voting[59]]], VarOrder [vars=[voted_no[60], voted_yes[60], voting[60]]], VarOrder [vars=[voted_no[61], voted_yes[61], voting[61]]], VarOrder [vars=[voted_no[62], voted_yes[62], voting[62]]], VarOrder [vars=[voted_no[63], voted_yes[63], voting[63]]], VarOrder [vars=[voted_no[64], voted_yes[64], voting[64]]], VarOrder [vars=[voted_no[65], voted_yes[65], voting[65]]], VarOrder [vars=[voted_no[66], voted_yes[66], voting[66]]], VarOrder [vars=[voted_no[67], voted_yes[67], voting[67]]], VarOrder [vars=[voted_no[68], voted_yes[68], voting[68]]], VarOrder [vars=[voted_no[69], voted_yes[69], voting[69]]], VarOrder [vars=[voted_no[70], voted_yes[70], voting[70]]], VarOrder [vars=[voted_no[71], voted_yes[71], voting[71]]], VarOrder [vars=[voted_no[72], voted_yes[72], voting[72]]], VarOrder [vars=[voted_no[73], voted_yes[73], voting[73]]], VarOrder [vars=[voted_no[74], voted_yes[74], voting[74]]], VarOrder [vars=[voted_no[75], voted_yes[75], voting[75]]], VarOrder [vars=[voted_no[76], voted_yes[76], voting[76]]], VarOrder [vars=[voted_no[77], voted_yes[77], voting[77]]], VarOrder [vars=[voted_no[78], voted_yes[78], voting[78]]], VarOrder [vars=[voted_no[79], voted_yes[79], voting[79]]], VarOrder [vars=[voted_no[80], voted_yes[80], voting[80]]], VarOrder [vars=[voted_no[81], voted_yes[81], voting[81]]], VarOrder [vars=[voted_no[82], voted_yes[82], voting[82]]], VarOrder [vars=[voted_no[83], voted_yes[83], voting[83]]], VarOrder [vars=[voted_no[84], voted_yes[84], voting[84]]], VarOrder [vars=[voted_no[85], voted_yes[85], voting[85]]], VarOrder [vars=[voted_no[86], voted_yes[86], voting[86]]], VarOrder [vars=[voted_no[87], voted_yes[87], voting[87]]], VarOrder [vars=[voted_no[88], voted_yes[88], voting[88]]], VarOrder [vars=[voted_no[89], voted_yes[89], voting[89]]], VarOrder [vars=[voted_no[90], voted_yes[90], voting[90]]], VarOrder [vars=[voted_no[91], voted_yes[91], voting[91]]], VarOrder [vars=[voted_no[92], voted_yes[92], voting[92]]], VarOrder [vars=[voted_no[93], voted_yes[93], voting[93]]], VarOrder [vars=[voted_no[94], voted_yes[94], voting[94]]], VarOrder [vars=[voted_no[95], voted_yes[95], voting[95]]], VarOrder [vars=[voted_no[96], voted_yes[96], voting[96]]], VarOrder [vars=[voted_no[97], voted_yes[97], voting[97]]], VarOrder [vars=[voted_no[98], voted_yes[98], voting[98]]], VarOrder [vars=[voted_no[99], voted_yes[99], voting[99]]], VarOrder [vars=[voted_no[100], voted_yes[100], voting[100]]], VarOrder [vars=[voted_no[101], voted_yes[101], voting[101]]], VarOrder [vars=[voted_no[102], voted_yes[102], voting[102]]], VarOrder [vars=[voted_no[103], voted_yes[103], voting[103]]], VarOrder [vars=[voted_no[104], voted_yes[104], voting[104]]], VarOrder [vars=[voted_no[105], voted_yes[105], voting[105]]], VarOrder [vars=[voted_no[106], voted_yes[106], voting[106]]], VarOrder [vars=[voted_no[107], voted_yes[107], voting[107]]], VarOrder [vars=[voted_no[108], voted_yes[108], voting[108]]], VarOrder [vars=[voted_no[109], voted_yes[109], voting[109]]], VarOrder [vars=[voted_no[110], voted_yes[110], voting[110]]], VarOrder [vars=[voted_no[111], voted_yes[111], voting[111]]], VarOrder [vars=[voted_no[112], voted_yes[112], voting[112]]], VarOrder [vars=[voted_no[113], voted_yes[113], voting[113]]], VarOrder [vars=[voted_no[114], voted_yes[114], voting[114]]], VarOrder [vars=[voted_no[115], voted_yes[115], voting[115]]], VarOrder [vars=[voted_no[116], voted_yes[116], voting[116]]], VarOrder [vars=[voted_no[117], voted_yes[117], voting[117]]], VarOrder [vars=[voted_no[118], voted_yes[118], voting[118]]], VarOrder [vars=[voted_no[119], voted_yes[119], voting[119]]], VarOrder [vars=[voted_no[120], voted_yes[120], voting[120]]], VarOrder [vars=[voted_no[121], voted_yes[121], voting[121]]], VarOrder [vars=[voted_no[122], voted_yes[122], voting[122]]], VarOrder [vars=[voted_no[123], voted_yes[123], voting[123]]], VarOrder [vars=[voted_no[124], voted_yes[124], voting[124]]], VarOrder [vars=[voted_no[125], voted_yes[125], voting[125]]], VarOrder [vars=[voted_no[126], voted_yes[126], voting[126]]], VarOrder [vars=[voted_no[127], voted_yes[127], voting[127]]], VarOrder [vars=[voted_no[128], voted_yes[128], voting[128]]], VarOrder [vars=[voted_no[129], voted_yes[129], voting[129]]], VarOrder [vars=[voted_no[130], voted_yes[130], voting[130]]], VarOrder [vars=[voted_no[131], voted_yes[131], voting[131]]], VarOrder [vars=[voted_no[132], voted_yes[132], voting[132]]], VarOrder [vars=[voted_no[133], voted_yes[133], voting[133]]], VarOrder [vars=[voted_no[134], voted_yes[134], voting[134]]], VarOrder [vars=[voted_no[135], voted_yes[135], voting[135]]], VarOrder [vars=[voted_no[136], voted_yes[136], voting[136]]], VarOrder [vars=[voted_no[137], voted_yes[137], voting[137]]], VarOrder [vars=[voted_no[138], voted_yes[138], voting[138]]], VarOrder [vars=[voted_no[139], voted_yes[139], voting[139]]], VarOrder [vars=[voted_no[140], voted_yes[140], voting[140]]], VarOrder [vars=[voted_no[141], voted_yes[141], voting[141]]], VarOrder [vars=[voted_no[142], voted_yes[142], voting[142]]], VarOrder [vars=[voted_no[143], voted_yes[143], voting[143]]], VarOrder [vars=[voted_no[144], voted_yes[144], voting[144]]], VarOrder [vars=[voted_no[145], voted_yes[145], voting[145]]], VarOrder [vars=[voted_no[146], voted_yes[146], voting[146]]], VarOrder [vars=[voted_no[147], voted_yes[147], voting[147]]], VarOrder [vars=[voted_no[148], voted_yes[148], voting[148]]], VarOrder [vars=[voted_no[149], voted_yes[149], voting[149]]], VarOrder [vars=[voted_no[150], voted_yes[150], voting[150]]], VarOrder [vars=[voted_no[151], voted_yes[151], voting[151]]], VarOrder [vars=[voted_no[152], voted_yes[152], voting[152]]], VarOrder [vars=[voted_no[153], voted_yes[153], voting[153]]], VarOrder [vars=[voted_no[154], voted_yes[154], voting[154]]], VarOrder [vars=[voted_no[155], voted_yes[155], voting[155]]], VarOrder [vars=[voted_no[156], voted_yes[156], voting[156]]], VarOrder [vars=[voted_no[157], voted_yes[157], voting[157]]], VarOrder [vars=[voted_no[158], voted_yes[158], voting[158]]], VarOrder [vars=[voted_no[159], voted_yes[159], voting[159]]], VarOrder [vars=[voted_no[160], voted_yes[160], voting[160]]], VarOrder [vars=[voted_no[161], voted_yes[161], voting[161]]], VarOrder [vars=[voted_no[162], voted_yes[162], voting[162]]], VarOrder [vars=[voted_no[163], voted_yes[163], voting[163]]], VarOrder [vars=[voted_no[164], voted_yes[164], voting[164]]], VarOrder [vars=[voted_no[165], voted_yes[165], voting[165]]], VarOrder [vars=[voted_no[166], voted_yes[166], voting[166]]], VarOrder [vars=[voted_no[167], voted_yes[167], voting[167]]], VarOrder [vars=[voted_no[168], voted_yes[168], voting[168]]], VarOrder [vars=[voted_no[169], voted_yes[169], voting[169]]], VarOrder [vars=[voted_no[170], voted_yes[170], voting[170]]], VarOrder [vars=[voted_no[171], voted_yes[171], voting[171]]], VarOrder [vars=[voted_no[172], voted_yes[172], voting[172]]], VarOrder [vars=[voted_no[173], voted_yes[173], voting[173]]], VarOrder [vars=[voted_no[174], voted_yes[174], voting[174]]], VarOrder [vars=[voted_no[175], voted_yes[175], voting[175]]], VarOrder [vars=[voted_no[176], voted_yes[176], voting[176]]], VarOrder [vars=[voted_no[177], voted_yes[177], voting[177]]], VarOrder [vars=[voted_no[178], voted_yes[178], voting[178]]], VarOrder [vars=[voted_no[179], voted_yes[179], voting[179]]], VarOrder [vars=[voted_no[180], voted_yes[180], voting[180]]], VarOrder [vars=[voted_no[181], voted_yes[181], voting[181]]], VarOrder [vars=[voted_no[182], voted_yes[182], voting[182]]], VarOrder [vars=[voted_no[183], voted_yes[183], voting[183]]], VarOrder [vars=[voted_no[184], voted_yes[184], voting[184]]], VarOrder [vars=[voted_no[185], voted_yes[185], voting[185]]], VarOrder [vars=[voted_no[186], voted_yes[186], voting[186]]], VarOrder [vars=[voted_no[187], voted_yes[187], voting[187]]], VarOrder [vars=[voted_no[188], voted_yes[188], voting[188]]], VarOrder [vars=[voted_no[189], voted_yes[189], voting[189]]], VarOrder [vars=[voted_no[190], voted_yes[190], voting[190]]], VarOrder [vars=[voted_no[191], voted_yes[191], voting[191]]], VarOrder [vars=[voted_no[192], voted_yes[192], voting[192]]], VarOrder [vars=[voted_no[193], voted_yes[193], voting[193]]], VarOrder [vars=[voted_no[194], voted_yes[194], voting[194]]], VarOrder [vars=[voted_no[195], voted_yes[195], voting[195]]], VarOrder [vars=[voted_no[196], voted_yes[196], voting[196]]], VarOrder [vars=[voted_no[197], voted_yes[197], voting[197]]], VarOrder [vars=[voted_no[198], voted_yes[198], voting[198]]], VarOrder [vars=[voted_no[199], voted_yes[199], voting[199]]], VarOrder [vars=[voted_no[200], voted_yes[200], voting[200]]], VarOrder [vars=[voted_no[201], voted_yes[201], voting[201]]], VarOrder [vars=[voted_no[202], voted_yes[202], voting[202]]], VarOrder [vars=[voted_no[203], voted_yes[203], voting[203]]], VarOrder [vars=[voted_no[204], voted_yes[204], voting[204]]], VarOrder [vars=[voted_no[205], voted_yes[205], voting[205]]], VarOrder [vars=[voted_no[206], voted_yes[206], voting[206]]], VarOrder [vars=[voted_no[207], voted_yes[207], voting[207]]], VarOrder [vars=[voted_no[208], voted_yes[208], voting[208]]], VarOrder [vars=[voted_no[209], voted_yes[209], voting[209]]], VarOrder [vars=[voted_no[210], voted_yes[210], voting[210]]], VarOrder [vars=[voted_no[211], voted_yes[211], voting[211]]], VarOrder [vars=[voted_no[212], voted_yes[212], voting[212]]], VarOrder [vars=[voted_no[213], voted_yes[213], voting[213]]], VarOrder [vars=[voted_no[214], voted_yes[214], voting[214]]], VarOrder [vars=[voted_no[215], voted_yes[215], voting[215]]], VarOrder [vars=[voted_no[216], voted_yes[216], voting[216]]], VarOrder [vars=[voted_no[217], voted_yes[217], voting[217]]], VarOrder [vars=[voted_no[218], voted_yes[218], voting[218]]], VarOrder [vars=[voted_no[219], voted_yes[219], voting[219]]], VarOrder [vars=[voted_no[220], voted_yes[220], voting[220]]], VarOrder [vars=[voted_no[221], voted_yes[221], voting[221]]], VarOrder [vars=[voted_no[222], voted_yes[222], voting[222]]], VarOrder [vars=[voted_no[223], voted_yes[223], voting[223]]], VarOrder [vars=[voted_no[224], voted_yes[224], voting[224]]], VarOrder [vars=[voted_no[225], voted_yes[225], voting[225]]], VarOrder [vars=[voted_no[226], voted_yes[226], voting[226]]], VarOrder [vars=[voted_no[227], voted_yes[227], voting[227]]], VarOrder [vars=[voted_no[228], voted_yes[228], voting[228]]], VarOrder [vars=[voted_no[229], voted_yes[229], voting[229]]], VarOrder [vars=[voted_no[230], voted_yes[230], voting[230]]], VarOrder [vars=[voted_no[231], voted_yes[231], voting[231]]], VarOrder [vars=[voted_no[232], voted_yes[232], voting[232]]], VarOrder [vars=[voted_no[233], voted_yes[233], voting[233]]], VarOrder [vars=[voted_no[234], voted_yes[234], voting[234]]], VarOrder [vars=[voted_no[235], voted_yes[235], voting[235]]], VarOrder [vars=[voted_no[236], voted_yes[236], voting[236]]], VarOrder [vars=[voted_no[237], voted_yes[237], voting[237]]], VarOrder [vars=[voted_no[238], voted_yes[238], voting[238]]], VarOrder [vars=[voted_no[239], voted_yes[239], voting[239]]], VarOrder [vars=[voted_no[240], voted_yes[240], voting[240]]], VarOrder [vars=[voted_no[241], voted_yes[241], voting[241]]], VarOrder [vars=[voted_no[242], voted_yes[242], voting[242]]], VarOrder [vars=[voted_no[243], voted_yes[243], voting[243]]], VarOrder [vars=[voted_no[244], voted_yes[244], voting[244]]], VarOrder [vars=[voted_no[245], voted_yes[245], voting[245]]], VarOrder [vars=[voted_no[246], voted_yes[246], voting[246]]], VarOrder [vars=[voted_no[247], voted_yes[247], voting[247]]], VarOrder [vars=[voted_no[248], voted_yes[248], voting[248]]], VarOrder [vars=[voted_no[249], voted_yes[249], voting[249]]], VarOrder [vars=[voted_no[250], voted_yes[250], voting[250]]], VarOrder [vars=[voted_no[251], voted_yes[251], voting[251]]], VarOrder [vars=[voted_no[252], voted_yes[252], voting[252]]], VarOrder [vars=[voted_no[253], voted_yes[253], voting[253]]], VarOrder [vars=[voted_no[254], voted_yes[254], voting[254]]], VarOrder [vars=[voted_no[255], voted_yes[255], voting[255]]], VarOrder [vars=[voted_no[256], voted_yes[256], voting[256]]], VarOrder [vars=[voted_no[257], voted_yes[257], voting[257]]], VarOrder [vars=[voted_no[258], voted_yes[258], voting[258]]], VarOrder [vars=[voted_no[259], voted_yes[259], voting[259]]], VarOrder [vars=[voted_no[260], voted_yes[260], voting[260]]], VarOrder [vars=[voted_no[261], voted_yes[261], voting[261]]], VarOrder [vars=[voted_no[262], voted_yes[262], voting[262]]], VarOrder [vars=[voted_no[263], voted_yes[263], voting[263]]], VarOrder [vars=[voted_no[264], voted_yes[264], voting[264]]], VarOrder [vars=[voted_no[265], voted_yes[265], voting[265]]], VarOrder [vars=[voted_no[266], voted_yes[266], voting[266]]], VarOrder [vars=[voted_no[267], voted_yes[267], voting[267]]], VarOrder [vars=[voted_no[268], voted_yes[268], voting[268]]], VarOrder [vars=[voted_no[269], voted_yes[269], voting[269]]], VarOrder [vars=[voted_no[270], voted_yes[270], voting[270]]], VarOrder [vars=[voted_no[271], voted_yes[271], voting[271]]], VarOrder [vars=[voted_no[272], voted_yes[272], voting[272]]], VarOrder [vars=[voted_no[273], voted_yes[273], voting[273]]], VarOrder [vars=[voted_no[274], voted_yes[274], voting[274]]], VarOrder [vars=[voted_no[275], voted_yes[275], voting[275]]], VarOrder [vars=[voted_no[276], voted_yes[276], voting[276]]], VarOrder [vars=[voted_no[277], voted_yes[277], voting[277]]], VarOrder [vars=[voted_no[278], voted_yes[278], voting[278]]], VarOrder [vars=[voted_no[279], voted_yes[279], voting[279]]], VarOrder [vars=[voted_no[280], voted_yes[280], voting[280]]], VarOrder [vars=[voted_no[281], voted_yes[281], voting[281]]], VarOrder [vars=[voted_no[282], voted_yes[282], voting[282]]], VarOrder [vars=[voted_no[283], voted_yes[283], voting[283]]], VarOrder [vars=[voted_no[284], voted_yes[284], voting[284]]], VarOrder [vars=[voted_no[285], voted_yes[285], voting[285]]], VarOrder [vars=[voted_no[286], voted_yes[286], voting[286]]], VarOrder [vars=[voted_no[287], voted_yes[287], voting[287]]], VarOrder [vars=[voted_no[288], voted_yes[288], voting[288]]], VarOrder [vars=[voted_no[289], voted_yes[289], voting[289]]], VarOrder [vars=[voted_no[290], voted_yes[290], voting[290]]], VarOrder [vars=[voted_no[291], voted_yes[291], voting[291]]], VarOrder [vars=[voted_no[292], voted_yes[292], voting[292]]], VarOrder [vars=[voted_no[293], voted_yes[293], voting[293]]], VarOrder [vars=[voted_no[294], voted_yes[294], voting[294]]], VarOrder [vars=[voted_no[295], voted_yes[295], voting[295]]], VarOrder [vars=[voted_no[296], voted_yes[296], voting[296]]], VarOrder [vars=[voted_no[297], voted_yes[297], voting[297]]], VarOrder [vars=[voted_no[298], voted_yes[298], voting[298]]], VarOrder [vars=[voted_no[299], voted_yes[299], voting[299]]], VarOrder [vars=[voted_no[300], voted_yes[300], voting[300]]], VarOrder [vars=[voted_no[301], voted_yes[301], voting[301]]], VarOrder [vars=[voted_no[302], voted_yes[302], voting[302]]], VarOrder [vars=[voted_no[303], voted_yes[303], voting[303]]], VarOrder [vars=[voted_no[304], voted_yes[304], voting[304]]], VarOrder [vars=[voted_no[305], voted_yes[305], voting[305]]], VarOrder [vars=[voted_no[306], voted_yes[306], voting[306]]], VarOrder [vars=[voted_no[307], voted_yes[307], voting[307]]], VarOrder [vars=[voted_no[308], voted_yes[308], voting[308]]], VarOrder [vars=[voted_no[309], voted_yes[309], voting[309]]], VarOrder [vars=[voted_no[310], voted_yes[310], voting[310]]], VarOrder [vars=[voted_no[311], voted_yes[311], voting[311]]], VarOrder [vars=[voted_no[312], voted_yes[312], voting[312]]], VarOrder [vars=[voted_no[313], voted_yes[313], voting[313]]], VarOrder [vars=[voted_no[314], voted_yes[314], voting[314]]], VarOrder [vars=[voted_no[315], voted_yes[315], voting[315]]], VarOrder [vars=[voted_no[316], voted_yes[316], voting[316]]], VarOrder [vars=[voted_no[317], voted_yes[317], voting[317]]], VarOrder [vars=[voted_no[318], voted_yes[318], voting[318]]], VarOrder [vars=[voted_no[319], voted_yes[319], voting[319]]], VarOrder [vars=[voted_no[320], voted_yes[320], voting[320]]], VarOrder [vars=[voted_no[321], voted_yes[321], voting[321]]], VarOrder [vars=[voted_no[322], voted_yes[322], voting[322]]], VarOrder [vars=[voted_no[323], voted_yes[323], voting[323]]], VarOrder [vars=[voted_no[324], voted_yes[324], voting[324]]], VarOrder [vars=[voted_no[325], voted_yes[325], voting[325]]], VarOrder [vars=[voted_no[326], voted_yes[326], voting[326]]], VarOrder [vars=[voted_no[327], voted_yes[327], voting[327]]], VarOrder [vars=[voted_no[328], voted_yes[328], voting[328]]], VarOrder [vars=[voted_no[329], voted_yes[329], voting[329]]], VarOrder [vars=[voted_no[330], voted_yes[330], voting[330]]], VarOrder [vars=[voted_no[331], voted_yes[331], voting[331]]], VarOrder [vars=[voted_no[332], voted_yes[332], voting[332]]], VarOrder [vars=[voted_no[333], voted_yes[333], voting[333]]], VarOrder [vars=[voted_no[334], voted_yes[334], voting[334]]], VarOrder [vars=[voted_no[335], voted_yes[335], voting[335]]], VarOrder [vars=[voted_no[336], voted_yes[336], voting[336]]], VarOrder [vars=[voted_no[337], voted_yes[337], voting[337]]], VarOrder [vars=[voted_no[338], voted_yes[338], voting[338]]], VarOrder [vars=[voted_no[339], voted_yes[339], voting[339]]], VarOrder [vars=[voted_no[340], voted_yes[340], voting[340]]], VarOrder [vars=[voted_no[341], voted_yes[341], voting[341]]], VarOrder [vars=[voted_no[342], voted_yes[342], voting[342]]], VarOrder [vars=[voted_no[343], voted_yes[343], voting[343]]], VarOrder [vars=[voted_no[344], voted_yes[344], voting[344]]], VarOrder [vars=[voted_no[345], voted_yes[345], voting[345]]], VarOrder [vars=[voted_no[346], voted_yes[346], voting[346]]], VarOrder [vars=[voted_no[347], voted_yes[347], voting[347]]], VarOrder [vars=[voted_no[348], voted_yes[348], voting[348]]], VarOrder [vars=[voted_no[349], voted_yes[349], voting[349]]], VarOrder [vars=[voted_no[350], voted_yes[350], voting[350]]], VarOrder [vars=[voted_no[351], voted_yes[351], voting[351]]], VarOrder [vars=[voted_no[352], voted_yes[352], voting[352]]], VarOrder [vars=[voted_no[353], voted_yes[353], voting[353]]], VarOrder [vars=[voted_no[354], voted_yes[354], voting[354]]], VarOrder [vars=[voted_no[355], voted_yes[355], voting[355]]], VarOrder [vars=[voted_no[356], voted_yes[356], voting[356]]], VarOrder [vars=[voted_no[357], voted_yes[357], voting[357]]], VarOrder [vars=[voted_no[358], voted_yes[358], voting[358]]], VarOrder [vars=[voted_no[359], voted_yes[359], voting[359]]], VarOrder [vars=[voted_no[360], voted_yes[360], voting[360]]], VarOrder [vars=[voted_no[361], voted_yes[361], voting[361]]], VarOrder [vars=[voted_no[362], voted_yes[362], voting[362]]], VarOrder [vars=[voted_no[363], voted_yes[363], voting[363]]], VarOrder [vars=[voted_no[364], voted_yes[364], voting[364]]], VarOrder [vars=[voted_no[365], voted_yes[365], voting[365]]], VarOrder [vars=[voted_no[366], voted_yes[366], voting[366]]], VarOrder [vars=[voted_no[367], voted_yes[367], voting[367]]], VarOrder [vars=[voted_no[368], voted_yes[368], voting[368]]], VarOrder [vars=[voted_no[369], voted_yes[369], voting[369]]], VarOrder [vars=[voted_no[370], voted_yes[370], voting[370]]], VarOrder [vars=[voted_no[371], voted_yes[371], voting[371]]], VarOrder [vars=[voted_no[372], voted_yes[372], voting[372]]], VarOrder [vars=[voted_no[373], voted_yes[373], voting[373]]], VarOrder [vars=[voted_no[374], voted_yes[374], voting[374]]], VarOrder [vars=[voted_no[375], voted_yes[375], voting[375]]], VarOrder [vars=[voted_no[376], voted_yes[376], voting[376]]], VarOrder [vars=[voted_no[377], voted_yes[377], voting[377]]], VarOrder [vars=[voted_no[378], voted_yes[378], voting[378]]], VarOrder [vars=[voted_no[379], voted_yes[379], voting[379]]], VarOrder [vars=[voted_no[380], voted_yes[380], voting[380]]], VarOrder [vars=[voted_no[381], voted_yes[381], voting[381]]], VarOrder [vars=[voted_no[382], voted_yes[382], voting[382]]], VarOrder [vars=[voted_no[383], voted_yes[383], voting[383]]], VarOrder [vars=[voted_no[384], voted_yes[384], voting[384]]], VarOrder [vars=[voted_no[385], voted_yes[385], voting[385]]], VarOrder [vars=[voted_no[386], voted_yes[386], voting[386]]], VarOrder [vars=[voted_no[387], voted_yes[387], voting[387]]], VarOrder [vars=[voted_no[388], voted_yes[388], voting[388]]], VarOrder [vars=[voted_no[389], voted_yes[389], voting[389]]], VarOrder [vars=[voted_no[390], voted_yes[390], voting[390]]], VarOrder [vars=[voted_no[391], voted_yes[391], voting[391]]], VarOrder [vars=[voted_no[392], voted_yes[392], voting[392]]], VarOrder [vars=[voted_no[393], voted_yes[393], voting[393]]], VarOrder [vars=[voted_no[394], voted_yes[394], voting[394]]], VarOrder [vars=[voted_no[395], voted_yes[395], voting[395]]], VarOrder [vars=[voted_no[396], voted_yes[396], voting[396]]], VarOrder [vars=[voted_no[397], voted_yes[397], voting[397]]], VarOrder [vars=[voted_no[398], voted_yes[398], voting[398]]], VarOrder [vars=[voted_no[399], voted_yes[399], voting[399]]], VarOrder [vars=[voted_no[400], voted_yes[400], voting[400]]], VarOrder [vars=[voted_no[401], voted_yes[401], voting[401]]], VarOrder [vars=[voted_no[402], voted_yes[402], voting[402]]], VarOrder [vars=[voted_no[403], voted_yes[403], voting[403]]], VarOrder [vars=[voted_no[404], voted_yes[404], voting[404]]], VarOrder [vars=[voted_no[405], voted_yes[405], voting[405]]], VarOrder [vars=[voted_no[406], voted_yes[406], voting[406]]], VarOrder [vars=[voted_no[407], voted_yes[407], voting[407]]], VarOrder [vars=[voted_no[408], voted_yes[408], voting[408]]], VarOrder [vars=[voted_no[409], voted_yes[409], voting[409]]], VarOrder [vars=[voted_no[410], voted_yes[410], voting[410]]], VarOrder [vars=[voted_no[411], voted_yes[411], voting[411]]], VarOrder [vars=[voted_no[412], voted_yes[412], voting[412]]], VarOrder [vars=[voted_no[413], voted_yes[413], voting[413]]], VarOrder [vars=[voted_no[414], voted_yes[414], voting[414]]], VarOrder [vars=[voted_no[415], voted_yes[415], voting[415]]], VarOrder [vars=[voted_no[416], voted_yes[416], voting[416]]], VarOrder [vars=[voted_no[417], voted_yes[417], voting[417]]], VarOrder [vars=[voted_no[418], voted_yes[418], voting[418]]], VarOrder [vars=[voted_no[419], voted_yes[419], voting[419]]], VarOrder [vars=[voted_no[420], voted_yes[420], voting[420]]], VarOrder [vars=[voted_no[421], voted_yes[421], voting[421]]], VarOrder [vars=[voted_no[422], voted_yes[422], voting[422]]], VarOrder [vars=[voted_no[423], voted_yes[423], voting[423]]], VarOrder [vars=[voted_no[424], voted_yes[424], voting[424]]], VarOrder [vars=[voted_no[425], voted_yes[425], voting[425]]], VarOrder [vars=[voted_no[426], voted_yes[426], voting[426]]], VarOrder [vars=[voted_no[427], voted_yes[427], voting[427]]], VarOrder [vars=[voted_no[428], voted_yes[428], voting[428]]], VarOrder [vars=[voted_no[429], voted_yes[429], voting[429]]], VarOrder [vars=[voted_no[430], voted_yes[430], voting[430]]], VarOrder [vars=[voted_no[431], voted_yes[431], voting[431]]], VarOrder [vars=[voted_no[432], voted_yes[432], voting[432]]], VarOrder [vars=[voted_no[433], voted_yes[433], voting[433]]], VarOrder [vars=[voted_no[434], voted_yes[434], voting[434]]], VarOrder [vars=[voted_no[435], voted_yes[435], voting[435]]], VarOrder [vars=[voted_no[436], voted_yes[436], voting[436]]], VarOrder [vars=[voted_no[437], voted_yes[437], voting[437]]], VarOrder [vars=[voted_no[438], voted_yes[438], voting[438]]], VarOrder [vars=[voted_no[439], voted_yes[439], voting[439]]], VarOrder [vars=[voted_no[440], voted_yes[440], voting[440]]], VarOrder [vars=[voted_no[441], voted_yes[441], voting[441]]], VarOrder [vars=[voted_no[442], voted_yes[442], voting[442]]], VarOrder [vars=[voted_no[443], voted_yes[443], voting[443]]], VarOrder [vars=[voted_no[444], voted_yes[444], voting[444]]], VarOrder [vars=[voted_no[445], voted_yes[445], voting[445]]], VarOrder [vars=[voted_no[446], voted_yes[446], voting[446]]], VarOrder [vars=[voted_no[447], voted_yes[447], voting[447]]], VarOrder [vars=[voted_no[448], voted_yes[448], voting[448]]], VarOrder [vars=[voted_no[449], voted_yes[449], voting[449]]], VarOrder [vars=[voted_no[450], voted_yes[450], voting[450]]], VarOrder [vars=[voted_no[451], voted_yes[451], voting[451]]], VarOrder [vars=[voted_no[452], voted_yes[452], voting[452]]], VarOrder [vars=[voted_no[453], voted_yes[453], voting[453]]], VarOrder [vars=[voted_no[454], voted_yes[454], voting[454]]], VarOrder [vars=[voted_no[455], voted_yes[455], voting[455]]], VarOrder [vars=[voted_no[456], voted_yes[456], voting[456]]], VarOrder [vars=[voted_no[457], voted_yes[457], voting[457]]], VarOrder [vars=[voted_no[458], voted_yes[458], voting[458]]], VarOrder [vars=[voted_no[459], voted_yes[459], voting[459]]], VarOrder [vars=[voted_no[460], voted_yes[460], voting[460]]], VarOrder [vars=[voted_no[461], voted_yes[461], voting[461]]], VarOrder [vars=[voted_no[462], voted_yes[462], voting[462]]], VarOrder [vars=[voted_no[463], voted_yes[463], voting[463]]], VarOrder [vars=[voted_no[464], voted_yes[464], voting[464]]], VarOrder [vars=[voted_no[465], voted_yes[465], voting[465]]], VarOrder [vars=[voted_no[466], voted_yes[466], voting[466]]], VarOrder [vars=[voted_no[467], voted_yes[467], voting[467]]], VarOrder [vars=[voted_no[468], voted_yes[468], voting[468]]], VarOrder [vars=[voted_no[469], voted_yes[469], voting[469]]], VarOrder [vars=[voted_no[470], voted_yes[470], voting[470]]], VarOrder [vars=[voted_no[471], voted_yes[471], voting[471]]], VarOrder [vars=[voted_no[472], voted_yes[472], voting[472]]], VarOrder [vars=[voted_no[473], voted_yes[473], voting[473]]], VarOrder [vars=[voted_no[474], voted_yes[474], voting[474]]], VarOrder [vars=[voted_no[475], voted_yes[475], voting[475]]], VarOrder [vars=[voted_no[476], voted_yes[476], voting[476]]], VarOrder [vars=[voted_no[477], voted_yes[477], voting[477]]], VarOrder [vars=[voted_no[478], voted_yes[478], voting[478]]], VarOrder [vars=[voted_no[479], voted_yes[479], voting[479]]], VarOrder [vars=[voted_no[480], voted_yes[480], voting[480]]], VarOrder [vars=[voted_no[481], voted_yes[481], voting[481]]], VarOrder [vars=[voted_no[482], voted_yes[482], voting[482]]], VarOrder [vars=[voted_no[483], voted_yes[483], voting[483]]], VarOrder [vars=[voted_no[484], voted_yes[484], voting[484]]], VarOrder [vars=[voted_no[485], voted_yes[485], voting[485]]], VarOrder [vars=[voted_no[486], voted_yes[486], voting[486]]], VarOrder [vars=[voted_no[487], voted_yes[487], voting[487]]], VarOrder [vars=[voted_no[488], voted_yes[488], voting[488]]], VarOrder [vars=[voted_no[489], voted_yes[489], voting[489]]], VarOrder [vars=[voted_no[490], voted_yes[490], voting[490]]], VarOrder [vars=[voted_no[491], voted_yes[491], voting[491]]], VarOrder [vars=[voted_no[492], voted_yes[492], voting[492]]], VarOrder [vars=[voted_no[493], voted_yes[493], voting[493]]], VarOrder [vars=[voted_no[494], voted_yes[494], voting[494]]], VarOrder [vars=[voted_no[495], voted_yes[495], voting[495]]], VarOrder [vars=[voted_no[496], voted_yes[496], voting[496]]], VarOrder [vars=[voted_no[497], voted_yes[497], voting[497]]], VarOrder [vars=[voted_no[498], voted_yes[498], voting[498]]], VarOrder [vars=[voted_no[499], voted_yes[499], voting[499]]], VarOrder [vars=[voted_no[500], voted_yes[500], voting[500]]], VarOrder [vars=[voted_no[501], voted_yes[501], voting[501]]], VarOrder [vars=[voted_no[502], voted_yes[502], voting[502]]], VarOrder [vars=[voted_no[503], voted_yes[503], voting[503]]], VarOrder [vars=[voted_no[504], voted_yes[504], voting[504]]], VarOrder [vars=[voted_no[505], voted_yes[505], voting[505]]], VarOrder [vars=[voted_no[506], voted_yes[506], voting[506]]], VarOrder [vars=[voted_no[507], voted_yes[507], voting[507]]], VarOrder [vars=[voted_no[508], voted_yes[508], voting[508]]], VarOrder [vars=[voted_no[509], voted_yes[509], voting[509]]], VarOrder [vars=[voted_no[510], voted_yes[510], voting[510]]], VarOrder [vars=[voted_no[511], voted_yes[511], voting[511]]], VarOrder [vars=[voted_no[512], voted_yes[512], voting[512]]], VarOrder [vars=[voted_no[513], voted_yes[513], voting[513]]], VarOrder [vars=[voted_no[514], voted_yes[514], voting[514]]], VarOrder [vars=[voted_no[515], voted_yes[515], voting[515]]], VarOrder [vars=[voted_no[516], voted_yes[516], voting[516]]], VarOrder [vars=[voted_no[517], voted_yes[517], voting[517]]], VarOrder [vars=[voted_no[518], voted_yes[518], voting[518]]], VarOrder [vars=[voted_no[519], voted_yes[519], voting[519]]], VarOrder [vars=[voted_no[520], voted_yes[520], voting[520]]], VarOrder [vars=[voted_no[521], voted_yes[521], voting[521]]], VarOrder [vars=[voted_no[522], voted_yes[522], voting[522]]], VarOrder [vars=[voted_no[523], voted_yes[523], voting[523]]], VarOrder [vars=[voted_no[524], voted_yes[524], voting[524]]], VarOrder [vars=[voted_no[525], voted_yes[525], voting[525]]], VarOrder [vars=[voted_no[526], voted_yes[526], voting[526]]], VarOrder [vars=[voted_no[527], voted_yes[527], voting[527]]], VarOrder [vars=[voted_no[528], voted_yes[528], voting[528]]], VarOrder [vars=[voted_no[529], voted_yes[529], voting[529]]], VarOrder [vars=[voted_no[530], voted_yes[530], voting[530]]], VarOrder [vars=[voted_no[531], voted_yes[531], voting[531]]], VarOrder [vars=[voted_no[532], voted_yes[532], voting[532]]], VarOrder [vars=[voted_no[533], voted_yes[533], voting[533]]], VarOrder [vars=[voted_no[534], voted_yes[534], voting[534]]], VarOrder [vars=[voted_no[535], voted_yes[535], voting[535]]], VarOrder [vars=[voted_no[536], voted_yes[536], voting[536]]], VarOrder [vars=[voted_no[537], voted_yes[537], voting[537]]], VarOrder [vars=[voted_no[538], voted_yes[538], voting[538]]], VarOrder [vars=[voted_no[539], voted_yes[539], voting[539]]], VarOrder [vars=[voted_no[540], voted_yes[540], voting[540]]], VarOrder [vars=[voted_no[541], voted_yes[541], voting[541]]], VarOrder [vars=[voted_no[542], voted_yes[542], voting[542]]], VarOrder [vars=[voted_no[543], voted_yes[543], voting[543]]], VarOrder [vars=[voted_no[544], voted_yes[544], voting[544]]], VarOrder [vars=[voted_no[545], voted_yes[545], voting[545]]], VarOrder [vars=[voted_no[546], voted_yes[546], voting[546]]], VarOrder [vars=[voted_no[547], voted_yes[547], voting[547]]], VarOrder [vars=[voted_no[548], voted_yes[548], voting[548]]], VarOrder [vars=[voted_no[549], voted_yes[549], voting[549]]], VarOrder [vars=[voted_no[550], voted_yes[550], voting[550]]], VarOrder [vars=[voted_no[551], voted_yes[551], voting[551]]], VarOrder [vars=[voted_no[552], voted_yes[552], voting[552]]], VarOrder [vars=[voted_no[553], voted_yes[553], voting[553]]], VarOrder [vars=[voted_no[554], voted_yes[554], voting[554]]], VarOrder [vars=[voted_no[555], voted_yes[555], voting[555]]], VarOrder [vars=[voted_no[556], voted_yes[556], voting[556]]], VarOrder [vars=[voted_no[557], voted_yes[557], voting[557]]], VarOrder [vars=[voted_no[558], voted_yes[558], voting[558]]], VarOrder [vars=[voted_no[559], voted_yes[559], voting[559]]], VarOrder [vars=[voted_no[560], voted_yes[560], voting[560]]], VarOrder [vars=[voted_no[561], voted_yes[561], voting[561]]], VarOrder [vars=[voted_no[562], voted_yes[562], voting[562]]], VarOrder [vars=[voted_no[563], voted_yes[563], voting[563]]], VarOrder [vars=[voted_no[564], voted_yes[564], voting[564]]], VarOrder [vars=[voted_no[565], voted_yes[565], voting[565]]], VarOrder [vars=[voted_no[566], voted_yes[566], voting[566]]], VarOrder [vars=[voted_no[567], voted_yes[567], voting[567]]], VarOrder [vars=[voted_no[568], voted_yes[568], voting[568]]], VarOrder [vars=[voted_no[569], voted_yes[569], voting[569]]], VarOrder [vars=[voted_no[570], voted_yes[570], voting[570]]], VarOrder [vars=[voted_no[571], voted_yes[571], voting[571]]], VarOrder [vars=[voted_no[572], voted_yes[572], voting[572]]], VarOrder [vars=[voted_no[573], voted_yes[573], voting[573]]], VarOrder [vars=[voted_no[574], voted_yes[574], voting[574]]], VarOrder [vars=[voted_no[575], voted_yes[575], voting[575]]], VarOrder [vars=[voted_no[576], voted_yes[576], voting[576]]], VarOrder [vars=[voted_no[577], voted_yes[577], voting[577]]], VarOrder [vars=[voted_no[578], voted_yes[578], voting[578]]], VarOrder [vars=[voted_no[579], voted_yes[579], voting[579]]], VarOrder [vars=[voted_no[580], voted_yes[580], voting[580]]], VarOrder [vars=[voted_no[581], voted_yes[581], voting[581]]], VarOrder [vars=[voted_no[582], voted_yes[582], voting[582]]], VarOrder [vars=[voted_no[583], voted_yes[583], voting[583]]], VarOrder [vars=[voted_no[584], voted_yes[584], voting[584]]], VarOrder [vars=[voted_no[585], voted_yes[585], voting[585]]], VarOrder [vars=[voted_no[586], voted_yes[586], voting[586]]], VarOrder [vars=[voted_no[587], voted_yes[587], voting[587]]], VarOrder [vars=[voted_no[588], voted_yes[588], voting[588]]], VarOrder [vars=[voted_no[589], voted_yes[589], voting[589]]], VarOrder [vars=[voted_no[590], voted_yes[590], voting[590]]], VarOrder [vars=[voted_no[591], voted_yes[591], voting[591]]], VarOrder [vars=[voted_no[592], voted_yes[592], voting[592]]], VarOrder [vars=[voted_no[593], voted_yes[593], voting[593]]], VarOrder [vars=[voted_no[594], voted_yes[594], voting[594]]], VarOrder [vars=[voted_no[595], voted_yes[595], voting[595]]], VarOrder [vars=[voted_no[596], voted_yes[596], voting[596]]], VarOrder [vars=[voted_no[597], voted_yes[597], voting[597]]], VarOrder [vars=[voted_no[598], voted_yes[598], voting[598]]], VarOrder [vars=[voted_no[599], voted_yes[599], voting[599]]], VarOrder [vars=[voted_no[600], voted_yes[600], voting[600]]], VarOrder [vars=[voted_no[601], voted_yes[601], voting[601]]], VarOrder [vars=[voted_no[602], voted_yes[602], voting[602]]], VarOrder [vars=[voted_no[603], voted_yes[603], voting[603]]], VarOrder [vars=[voted_no[604], voted_yes[604], voting[604]]], VarOrder [vars=[voted_no[605], voted_yes[605], voting[605]]], VarOrder [vars=[voted_no[606], voted_yes[606], voting[606]]], VarOrder [vars=[voted_no[607], voted_yes[607], voting[607]]], VarOrder [vars=[voted_no[608], voted_yes[608], voting[608]]], VarOrder [vars=[voted_no[609], voted_yes[609], voting[609]]], VarOrder [vars=[voted_no[610], voted_yes[610], voting[610]]], VarOrder [vars=[voted_no[611], voted_yes[611], voting[611]]], VarOrder [vars=[voted_no[612], voted_yes[612], voting[612]]], VarOrder [vars=[voted_no[613], voted_yes[613], voting[613]]], VarOrder [vars=[voted_no[614], voted_yes[614], voting[614]]], VarOrder [vars=[voted_no[615], voted_yes[615], voting[615]]], VarOrder [vars=[voted_no[616], voted_yes[616], voting[616]]], VarOrder [vars=[voted_no[617], voted_yes[617], voting[617]]], VarOrder [vars=[voted_no[618], voted_yes[618], voting[618]]], VarOrder [vars=[voted_no[619], voted_yes[619], voting[619]]], VarOrder [vars=[voted_no[620], voted_yes[620], voting[620]]], VarOrder [vars=[voted_no[621], voted_yes[621], voting[621]]], VarOrder [vars=[voted_no[622], voted_yes[622], voting[622]]], VarOrder [vars=[voted_no[623], voted_yes[623], voting[623]]], VarOrder [vars=[voted_no[624], voted_yes[624], voting[624]]], VarOrder [vars=[voted_no[625], voted_yes[625], voting[625]]], VarOrder [vars=[voted_no[626], voted_yes[626], voting[626]]], VarOrder [vars=[voted_no[627], voted_yes[627], voting[627]]], VarOrder [vars=[voted_no[628], voted_yes[628], voting[628]]], VarOrder [vars=[voted_no[629], voted_yes[629], voting[629]]], VarOrder [vars=[voted_no[630], voted_yes[630], voting[630]]], VarOrder [vars=[voted_no[631], voted_yes[631], voting[631]]], VarOrder [vars=[voted_no[632], voted_yes[632], voting[632]]], VarOrder [vars=[voted_no[633], voted_yes[633], voting[633]]], VarOrder [vars=[voted_no[634], voted_yes[634], voting[634]]], VarOrder [vars=[voted_no[635], voted_yes[635], voting[635]]], VarOrder [vars=[voted_no[636], voted_yes[636], voting[636]]], VarOrder [vars=[voted_no[637], voted_yes[637], voting[637]]], VarOrder [vars=[voted_no[638], voted_yes[638], voting[638]]], VarOrder [vars=[voted_no[639], voted_yes[639], voting[639]]], VarOrder [vars=[voted_no[640], voted_yes[640], voting[640]]], VarOrder [vars=[voted_no[641], voted_yes[641], voting[641]]], VarOrder [vars=[voted_no[642], voted_yes[642], voting[642]]], VarOrder [vars=[voted_no[643], voted_yes[643], voting[643]]], VarOrder [vars=[voted_no[644], voted_yes[644], voting[644]]], VarOrder [vars=[voted_no[645], voted_yes[645], voting[645]]], VarOrder [vars=[voted_no[646], voted_yes[646], voting[646]]], VarOrder [vars=[voted_no[647], voted_yes[647], voting[647]]], VarOrder [vars=[voted_no[648], voted_yes[648], voting[648]]], VarOrder [vars=[voted_no[649], voted_yes[649], voting[649]]], VarOrder [vars=[voted_no[650], voted_yes[650], voting[650]]], VarOrder [vars=[voted_no[651], voted_yes[651], voting[651]]], VarOrder [vars=[voted_no[652], voted_yes[652], voting[652]]], VarOrder [vars=[voted_no[653], voted_yes[653], voting[653]]], VarOrder [vars=[voted_no[654], voted_yes[654], voting[654]]], VarOrder [vars=[voted_no[655], voted_yes[655], voting[655]]], VarOrder [vars=[voted_no[656], voted_yes[656], voting[656]]], VarOrder [vars=[voted_no[657], voted_yes[657], voting[657]]], VarOrder [vars=[voted_no[658], voted_yes[658], voting[658]]], VarOrder [vars=[voted_no[659], voted_yes[659], voting[659]]], VarOrder [vars=[voted_no[660], voted_yes[660], voting[660]]], VarOrder [vars=[voted_no[661], voted_yes[661], voting[661]]], VarOrder [vars=[voted_no[662], voted_yes[662], voting[662]]], VarOrder [vars=[voted_no[663], voted_yes[663], voting[663]]], VarOrder [vars=[voted_no[664], voted_yes[664], voting[664]]], VarOrder [vars=[voted_no[665], voted_yes[665], voting[665]]], VarOrder [vars=[voted_no[666], voted_yes[666], voting[666]]], VarOrder [vars=[voted_no[667], voted_yes[667], voting[667]]], VarOrder [vars=[voted_no[668], voted_yes[668], voting[668]]], VarOrder [vars=[voted_no[669], voted_yes[669], voting[669]]], VarOrder [vars=[voted_no[670], voted_yes[670], voting[670]]], VarOrder [vars=[voted_no[671], voted_yes[671], voting[671]]], VarOrder [vars=[voted_no[672], voted_yes[672], voting[672]]], VarOrder [vars=[voted_no[673], voted_yes[673], voting[673]]], VarOrder [vars=[voted_no[674], voted_yes[674], voting[674]]], VarOrder [vars=[voted_no[675], voted_yes[675], voting[675]]], VarOrder [vars=[voted_no[676], voted_yes[676], voting[676]]], VarOrder [vars=[voted_no[677], voted_yes[677], voting[677]]], VarOrder [vars=[voted_no[678], voted_yes[678], voting[678]]], VarOrder [vars=[voted_no[679], voted_yes[679], voting[679]]], VarOrder [vars=[voted_no[680], voted_yes[680], voting[680]]], VarOrder [vars=[voted_no[681], voted_yes[681], voting[681]]], VarOrder [vars=[voted_no[682], voted_yes[682], voting[682]]], VarOrder [vars=[voted_no[683], voted_yes[683], voting[683]]], VarOrder [vars=[voted_no[684], voted_yes[684], voting[684]]], VarOrder [vars=[voted_no[685], voted_yes[685], voting[685]]], VarOrder [vars=[voted_no[686], voted_yes[686], voting[686]]], VarOrder [vars=[voted_no[687], voted_yes[687], voting[687]]], VarOrder [vars=[voted_no[688], voted_yes[688], voting[688]]], VarOrder [vars=[voted_no[689], voted_yes[689], voting[689]]], VarOrder [vars=[voted_no[690], voted_yes[690], voting[690]]], VarOrder [vars=[voted_no[691], voted_yes[691], voting[691]]], VarOrder [vars=[voted_no[692], voted_yes[692], voting[692]]], VarOrder [vars=[voted_no[693], voted_yes[693], voting[693]]], VarOrder [vars=[voted_no[694], voted_yes[694], voting[694]]], VarOrder [vars=[voted_no[695], voted_yes[695], voting[695]]], VarOrder [vars=[voted_no[696], voted_yes[696], voting[696]]], VarOrder [vars=[voted_no[697], voted_yes[697], voting[697]]], VarOrder [vars=[voted_no[698], voted_yes[698], voting[698]]], VarOrder [vars=[voted_no[699], voted_yes[699], voting[699]]], VarOrder [vars=[voted_no[700], voted_yes[700], voting[700]]], VarOrder [vars=[voted_no[701], voted_yes[701], voting[701]]], VarOrder [vars=[voted_no[702], voted_yes[702], voting[702]]], VarOrder [vars=[voted_no[703], voted_yes[703], voting[703]]], VarOrder [vars=[voted_no[704], voted_yes[704], voting[704]]], VarOrder [vars=[voted_no[705], voted_yes[705], voting[705]]], VarOrder [vars=[voted_no[706], voted_yes[706], voting[706]]], VarOrder [vars=[voted_no[707], voted_yes[707], voting[707]]], VarOrder [vars=[voted_no[708], voted_yes[708], voting[708]]], VarOrder [vars=[voted_no[709], voted_yes[709], voting[709]]], VarOrder [vars=[voted_no[710], voted_yes[710], voting[710]]], VarOrder [vars=[voted_no[711], voted_yes[711], voting[711]]], VarOrder [vars=[voted_no[712], voted_yes[712], voting[712]]], VarOrder [vars=[voted_no[713], voted_yes[713], voting[713]]], VarOrder [vars=[voted_no[714], voted_yes[714], voting[714]]], VarOrder [vars=[voted_no[715], voted_yes[715], voting[715]]], VarOrder [vars=[voted_no[716], voted_yes[716], voting[716]]], VarOrder [vars=[voted_no[717], voted_yes[717], voting[717]]], VarOrder [vars=[voted_no[718], voted_yes[718], voting[718]]], VarOrder [vars=[voted_no[719], voted_yes[719], voting[719]]], VarOrder [vars=[voted_no[720], voted_yes[720], voting[720]]], VarOrder [vars=[voted_no[721], voted_yes[721], voting[721]]], VarOrder [vars=[voted_no[722], voted_yes[722], voting[722]]], VarOrder [vars=[voted_no[723], voted_yes[723], voting[723]]], VarOrder [vars=[voted_no[724], voted_yes[724], voting[724]]], VarOrder [vars=[voted_no[725], voted_yes[725], voting[725]]], VarOrder [vars=[voted_no[726], voted_yes[726], voting[726]]], VarOrder [vars=[voted_no[727], voted_yes[727], voting[727]]], VarOrder [vars=[voted_no[728], voted_yes[728], voting[728]]], VarOrder [vars=[voted_no[729], voted_yes[729], voting[729]]], VarOrder [vars=[voted_no[730], voted_yes[730], voting[730]]], VarOrder [vars=[voted_no[731], voted_yes[731], voting[731]]], VarOrder [vars=[voted_no[732], voted_yes[732], voting[732]]], VarOrder [vars=[voted_no[733], voted_yes[733], voting[733]]], VarOrder [vars=[voted_no[734], voted_yes[734], voting[734]]], VarOrder [vars=[voted_no[735], voted_yes[735], voting[735]]], VarOrder [vars=[voted_no[736], voted_yes[736], voting[736]]], VarOrder [vars=[voted_no[737], voted_yes[737], voting[737]]], VarOrder [vars=[voted_no[738], voted_yes[738], voting[738]]], VarOrder [vars=[voted_no[739], voted_yes[739], voting[739]]], VarOrder [vars=[voted_no[740], voted_yes[740], voting[740]]], VarOrder [vars=[voted_no[741], voted_yes[741], voting[741]]], VarOrder [vars=[voted_no[742], voted_yes[742], voting[742]]], VarOrder [vars=[voted_no[743], voted_yes[743], voting[743]]], VarOrder [vars=[voted_no[744], voted_yes[744], voting[744]]], VarOrder [vars=[voted_no[745], voted_yes[745], voting[745]]], VarOrder [vars=[voted_no[746], voted_yes[746], voting[746]]], VarOrder [vars=[voted_no[747], voted_yes[747], voting[747]]], VarOrder [vars=[voted_no[748], voted_yes[748], voting[748]]], VarOrder [vars=[voted_no[749], voted_yes[749], voting[749]]], VarOrder [vars=[voted_no[750], voted_yes[750], voting[750]]], VarOrder [vars=[voted_no[751], voted_yes[751], voting[751]]], VarOrder [vars=[voted_no[752], voted_yes[752], voting[752]]], VarOrder [vars=[voted_no[753], voted_yes[753], voting[753]]], VarOrder [vars=[voted_no[754], voted_yes[754], voting[754]]], VarOrder [vars=[voted_no[755], voted_yes[755], voting[755]]], VarOrder [vars=[voted_no[756], voted_yes[756], voting[756]]], VarOrder [vars=[voted_no[757], voted_yes[757], voting[757]]], VarOrder [vars=[voted_no[758], voted_yes[758], voting[758]]], VarOrder [vars=[voted_no[759], voted_yes[759], voting[759]]], VarOrder [vars=[voted_no[760], voted_yes[760], voting[760]]], VarOrder [vars=[voted_no[761], voted_yes[761], voting[761]]], VarOrder [vars=[voted_no[762], voted_yes[762], voting[762]]], VarOrder [vars=[voted_no[763], voted_yes[763], voting[763]]], VarOrder [vars=[voted_no[764], voted_yes[764], voting[764]]], VarOrder [vars=[voted_no[765], voted_yes[765], voting[765]]], VarOrder [vars=[voted_no[766], voted_yes[766], voting[766]]], VarOrder [vars=[voted_no[767], voted_yes[767], voting[767]]], VarOrder [vars=[voted_no[768], voted_yes[768], voting[768]]], VarOrder [vars=[voted_no[769], voted_yes[769], voting[769]]], VarOrder [vars=[voted_no[770], voted_yes[770], voting[770]]], VarOrder [vars=[voted_no[771], voted_yes[771], voting[771]]], VarOrder [vars=[voted_no[772], voted_yes[772], voting[772]]], VarOrder [vars=[voted_no[773], voted_yes[773], voting[773]]], VarOrder [vars=[voted_no[774], voted_yes[774], voting[774]]], VarOrder [vars=[voted_no[775], voted_yes[775], voting[775]]], VarOrder [vars=[voted_no[776], voted_yes[776], voting[776]]], VarOrder [vars=[voted_no[777], voted_yes[777], voting[777]]], VarOrder [vars=[voted_no[778], voted_yes[778], voting[778]]], VarOrder [vars=[voted_no[779], voted_yes[779], voting[779]]], VarOrder [vars=[voted_no[780], voted_yes[780], voting[780]]], VarOrder [vars=[voted_no[781], voted_yes[781], voting[781]]], VarOrder [vars=[voted_no[782], voted_yes[782], voting[782]]], VarOrder [vars=[voted_no[783], voted_yes[783], voting[783]]], VarOrder [vars=[voted_no[784], voted_yes[784], voting[784]]], VarOrder [vars=[voted_no[785], voted_yes[785], voting[785]]], VarOrder [vars=[voted_no[786], voted_yes[786], voting[786]]], VarOrder [vars=[voted_no[787], voted_yes[787], voting[787]]], VarOrder [vars=[voted_no[788], voted_yes[788], voting[788]]], VarOrder [vars=[voted_no[789], voted_yes[789], voting[789]]], VarOrder [vars=[voted_no[790], voted_yes[790], voting[790]]], VarOrder [vars=[voted_no[791], voted_yes[791], voting[791]]], VarOrder [vars=[voted_no[792], voted_yes[792], voting[792]]], VarOrder [vars=[voted_no[793], voted_yes[793], voting[793]]], VarOrder [vars=[voted_no[794], voted_yes[794], voting[794]]], VarOrder [vars=[voted_no[795], voted_yes[795], voting[795]]], VarOrder [vars=[voted_no[796], voted_yes[796], voting[796]]], VarOrder [vars=[voted_no[797], voted_yes[797], voting[797]]], VarOrder [vars=[voted_no[798], voted_yes[798], voting[798]]], VarOrder [vars=[voted_no[799], voted_yes[799], voting[799]]], VarOrder [vars=[voted_no[800], voted_yes[800], voting[800]]], VarOrder [vars=[voted_no[801], voted_yes[801], voting[801]]], VarOrder [vars=[voted_no[802], voted_yes[802], voting[802]]], VarOrder [vars=[voted_no[803], voted_yes[803], voting[803]]], VarOrder [vars=[voted_no[804], voted_yes[804], voting[804]]], VarOrder [vars=[voted_no[805], voted_yes[805], voting[805]]], VarOrder [vars=[voted_no[806], voted_yes[806], voting[806]]], VarOrder [vars=[voted_no[807], voted_yes[807], voting[807]]], VarOrder [vars=[voted_no[808], voted_yes[808], voting[808]]], VarOrder [vars=[voted_no[809], voted_yes[809], voting[809]]], VarOrder [vars=[voted_no[810], voted_yes[810], voting[810]]], VarOrder [vars=[voted_no[811], voted_yes[811], voting[811]]], VarOrder [vars=[voted_no[812], voted_yes[812], voting[812]]], VarOrder [vars=[voted_no[813], voted_yes[813], voting[813]]], VarOrder [vars=[voted_no[814], voted_yes[814], voting[814]]], VarOrder [vars=[voted_no[815], voted_yes[815], voting[815]]], VarOrder [vars=[voted_no[816], voted_yes[816], voting[816]]], VarOrder [vars=[voted_no[817], voted_yes[817], voting[817]]], VarOrder [vars=[voted_no[818], voted_yes[818], voting[818]]], VarOrder [vars=[voted_no[819], voted_yes[819], voting[819]]], VarOrder [vars=[voted_no[820], voted_yes[820], voting[820]]], VarOrder [vars=[voted_no[821], voted_yes[821], voting[821]]], VarOrder [vars=[voted_no[822], voted_yes[822], voting[822]]], VarOrder [vars=[voted_no[823], voted_yes[823], voting[823]]], VarOrder [vars=[voted_no[824], voted_yes[824], voting[824]]], VarOrder [vars=[voted_no[825], voted_yes[825], voting[825]]], VarOrder [vars=[voted_no[826], voted_yes[826], voting[826]]], VarOrder [vars=[voted_no[827], voted_yes[827], voting[827]]], VarOrder [vars=[voted_no[828], voted_yes[828], voting[828]]], VarOrder [vars=[voted_no[829], voted_yes[829], voting[829]]], VarOrder [vars=[voted_no[830], voted_yes[830], voting[830]]], VarOrder [vars=[voted_no[831], voted_yes[831], voting[831]]], VarOrder [vars=[voted_no[832], voted_yes[832], voting[832]]], VarOrder [vars=[voted_no[833], voted_yes[833], voting[833]]], VarOrder [vars=[voted_no[834], voted_yes[834], voting[834]]], VarOrder [vars=[voted_no[835], voted_yes[835], voting[835]]], VarOrder [vars=[voted_no[836], voted_yes[836], voting[836]]], VarOrder [vars=[voted_no[837], voted_yes[837], voting[837]]], VarOrder [vars=[voted_no[838], voted_yes[838], voting[838]]], VarOrder [vars=[voted_no[839], voted_yes[839], voting[839]]], VarOrder [vars=[voted_no[840], voted_yes[840], voting[840]]], VarOrder [vars=[voted_no[841], voted_yes[841], voting[841]]], VarOrder [vars=[voted_no[842], voted_yes[842], voting[842]]], VarOrder [vars=[voted_no[843], voted_yes[843], voting[843]]], VarOrder [vars=[voted_no[844], voted_yes[844], voting[844]]], VarOrder [vars=[voted_no[845], voted_yes[845], voting[845]]], VarOrder [vars=[voted_no[846], voted_yes[846], voting[846]]], VarOrder [vars=[voted_no[847], voted_yes[847], voting[847]]], VarOrder [vars=[voted_no[848], voted_yes[848], voting[848]]], VarOrder [vars=[voted_no[849], voted_yes[849], voting[849]]], VarOrder [vars=[voted_no[850], voted_yes[850], voting[850]]], VarOrder [vars=[voted_no[851], voted_yes[851], voting[851]]], VarOrder [vars=[voted_no[852], voted_yes[852], voting[852]]], VarOrder [vars=[voted_no[853], voted_yes[853], voting[853]]], VarOrder [vars=[voted_no[854], voted_yes[854], voting[854]]], VarOrder [vars=[voted_no[855], voted_yes[855], voting[855]]], VarOrder [vars=[voted_no[856], voted_yes[856], voting[856]]], VarOrder [vars=[voted_no[857], voted_yes[857], voting[857]]], VarOrder [vars=[voted_no[858], voted_yes[858], voting[858]]], VarOrder [vars=[voted_no[859], voted_yes[859], voting[859]]], VarOrder [vars=[voted_no[860], voted_yes[860], voting[860]]], VarOrder [vars=[voted_no[861], voted_yes[861], voting[861]]], VarOrder [vars=[voted_no[862], voted_yes[862], voting[862]]], VarOrder [vars=[voted_no[863], voted_yes[863], voting[863]]], VarOrder [vars=[voted_no[864], voted_yes[864], voting[864]]], VarOrder [vars=[voted_no[865], voted_yes[865], voting[865]]], VarOrder [vars=[voted_no[866], voted_yes[866], voting[866]]], VarOrder [vars=[voted_no[867], voted_yes[867], voting[867]]], VarOrder [vars=[voted_no[868], voted_yes[868], voting[868]]], VarOrder [vars=[voted_no[869], voted_yes[869], voting[869]]], VarOrder [vars=[voted_no[870], voted_yes[870], voting[870]]], VarOrder [vars=[voted_no[871], voted_yes[871], voting[871]]], VarOrder [vars=[voted_no[872], voted_yes[872], voting[872]]], VarOrder [vars=[voted_no[873], voted_yes[873], voting[873]]], VarOrder [vars=[voted_no[874], voted_yes[874], voting[874]]], VarOrder [vars=[voted_no[875], voted_yes[875], voting[875]]], VarOrder [vars=[voted_no[876], voted_yes[876], voting[876]]], VarOrder [vars=[voted_no[877], voted_yes[877], voting[877]]], VarOrder [vars=[voted_no[878], voted_yes[878], voting[878]]], VarOrder [vars=[voted_no[879], voted_yes[879], voting[879]]], VarOrder [vars=[voted_no[880], voted_yes[880], voting[880]]], VarOrder [vars=[voted_no[881], voted_yes[881], voting[881]]], VarOrder [vars=[voted_no[882], voted_yes[882], voting[882]]], VarOrder [vars=[voted_no[883], voted_yes[883], voting[883]]], VarOrder [vars=[voted_no[884], voted_yes[884], voting[884]]], VarOrder [vars=[voted_no[885], voted_yes[885], voting[885]]], VarOrder [vars=[voted_no[886], voted_yes[886], voting[886]]], VarOrder [vars=[voted_no[887], voted_yes[887], voting[887]]], VarOrder [vars=[voted_no[888], voted_yes[888], voting[888]]], VarOrder [vars=[voted_no[889], voted_yes[889], voting[889]]], VarOrder [vars=[voted_no[890], voted_yes[890], voting[890]]], VarOrder [vars=[voted_no[891], voted_yes[891], voting[891]]], VarOrder [vars=[voted_no[892], voted_yes[892], voting[892]]], VarOrder [vars=[voted_no[893], voted_yes[893], voting[893]]], VarOrder [vars=[voted_no[894], voted_yes[894], voting[894]]], VarOrder [vars=[voted_no[895], voted_yes[895], voting[895]]], VarOrder [vars=[voted_no[896], voted_yes[896], voting[896]]], VarOrder [vars=[voted_no[897], voted_yes[897], voting[897]]], VarOrder [vars=[voted_no[898], voted_yes[898], voting[898]]], VarOrder [vars=[voted_no[899], voted_yes[899], voting[899]]], VarOrder [vars=[voted_no[900], voted_yes[900], voting[900]]], VarOrder [vars=[voted_no[901], voted_yes[901], voting[901]]], VarOrder [vars=[voted_no[902], voted_yes[902], voting[902]]], VarOrder [vars=[voted_no[903], voted_yes[903], voting[903]]], VarOrder [vars=[voted_no[904], voted_yes[904], voting[904]]], VarOrder [vars=[voted_no[905], voted_yes[905], voting[905]]], VarOrder [vars=[voted_no[906], voted_yes[906], voting[906]]], VarOrder [vars=[voted_no[907], voted_yes[907], voting[907]]], VarOrder [vars=[voted_no[908], voted_yes[908], voting[908]]], VarOrder [vars=[voted_no[909], voted_yes[909], voting[909]]], VarOrder [vars=[voted_no[910], voted_yes[910], voting[910]]], VarOrder [vars=[voted_no[911], voted_yes[911], voting[911]]], VarOrder [vars=[voted_no[912], voted_yes[912], voting[912]]], VarOrder [vars=[voted_no[913], voted_yes[913], voting[913]]], VarOrder [vars=[voted_no[914], voted_yes[914], voting[914]]], VarOrder [vars=[voted_no[915], voted_yes[915], voting[915]]], VarOrder [vars=[voted_no[916], voted_yes[916], voting[916]]], VarOrder [vars=[voted_no[917], voted_yes[917], voting[917]]], VarOrder [vars=[voted_no[918], voted_yes[918], voting[918]]], VarOrder [vars=[voted_no[919], voted_yes[919], voting[919]]], VarOrder [vars=[voted_no[920], voted_yes[920], voting[920]]], VarOrder [vars=[voted_no[921], voted_yes[921], voting[921]]], VarOrder [vars=[voted_no[922], voted_yes[922], voting[922]]], VarOrder [vars=[voted_no[923], voted_yes[923], voting[923]]], VarOrder [vars=[voted_no[924], voted_yes[924], voting[924]]], VarOrder [vars=[voted_no[925], voted_yes[925], voting[925]]], VarOrder [vars=[voted_no[926], voted_yes[926], voting[926]]], VarOrder [vars=[voted_no[927], voted_yes[927], voting[927]]], VarOrder [vars=[voted_no[928], voted_yes[928], voting[928]]], VarOrder [vars=[voted_no[929], voted_yes[929], voting[929]]], VarOrder [vars=[voted_no[930], voted_yes[930], voting[930]]], VarOrder [vars=[voted_no[931], voted_yes[931], voting[931]]], VarOrder [vars=[voted_no[932], voted_yes[932], voting[932]]], VarOrder [vars=[voted_no[933], voted_yes[933], voting[933]]], VarOrder [vars=[voted_no[934], voted_yes[934], voting[934]]], VarOrder [vars=[voted_no[935], voted_yes[935], voting[935]]], VarOrder [vars=[voted_no[936], voted_yes[936], voting[936]]], VarOrder [vars=[voted_no[937], voted_yes[937], voting[937]]], VarOrder [vars=[voted_no[938], voted_yes[938], voting[938]]], VarOrder [vars=[voted_no[939], voted_yes[939], voting[939]]], VarOrder [vars=[voted_no[940], voted_yes[940], voting[940]]], VarOrder [vars=[voted_no[941], voted_yes[941], voting[941]]], VarOrder [vars=[voted_no[942], voted_yes[942], voting[942]]], VarOrder [vars=[voted_no[943], voted_yes[943], voting[943]]], VarOrder [vars=[voted_no[944], voted_yes[944], voting[944]]], VarOrder [vars=[voted_no[945], voted_yes[945], voting[945]]], VarOrder [vars=[voted_no[946], voted_yes[946], voting[946]]], VarOrder [vars=[voted_no[947], voted_yes[947], voting[947]]], VarOrder [vars=[voted_no[948], voted_yes[948], voting[948]]], VarOrder [vars=[voted_no[949], voted_yes[949], voting[949]]], VarOrder [vars=[voted_no[950], voted_yes[950], voting[950]]], VarOrder [vars=[voted_no[951], voted_yes[951], voting[951]]], VarOrder [vars=[voted_no[952], voted_yes[952], voting[952]]], VarOrder [vars=[voted_no[953], voted_yes[953], voting[953]]], VarOrder [vars=[voted_no[954], voted_yes[954], voting[954]]], VarOrder [vars=[voted_no[955], voted_yes[955], voting[955]]], VarOrder [vars=[voted_no[956], voted_yes[956], voting[956]]], VarOrder [vars=[voted_no[957], voted_yes[957], voting[957]]], VarOrder [vars=[voted_no[958], voted_yes[958], voting[958]]], VarOrder [vars=[voted_no[959], voted_yes[959], voting[959]]], VarOrder [vars=[voted_no[960], voted_yes[960], voting[960]]], VarOrder [vars=[voted_no[961], voted_yes[961], voting[961]]], VarOrder [vars=[voted_no[962], voted_yes[962], voting[962]]], VarOrder [vars=[voted_no[963], voted_yes[963], voting[963]]], VarOrder [vars=[voted_no[964], voted_yes[964], voting[964]]], VarOrder [vars=[voted_no[965], voted_yes[965], voting[965]]], VarOrder [vars=[voted_no[966], voted_yes[966], voting[966]]], VarOrder [vars=[voted_no[967], voted_yes[967], voting[967]]], VarOrder [vars=[voted_no[968], voted_yes[968], voting[968]]], VarOrder [vars=[voted_no[969], voted_yes[969], voting[969]]], VarOrder [vars=[voted_no[970], voted_yes[970], voting[970]]], VarOrder [vars=[voted_no[971], voted_yes[971], voting[971]]], VarOrder [vars=[voted_no[972], voted_yes[972], voting[972]]], VarOrder [vars=[voted_no[973], voted_yes[973], voting[973]]], VarOrder [vars=[voted_no[974], voted_yes[974], voting[974]]], VarOrder [vars=[voted_no[975], voted_yes[975], voting[975]]], VarOrder [vars=[voted_no[976], voted_yes[976], voting[976]]], VarOrder [vars=[voted_no[977], voted_yes[977], voting[977]]], VarOrder [vars=[voted_no[978], voted_yes[978], voting[978]]], VarOrder [vars=[voted_no[979], voted_yes[979], voting[979]]], VarOrder [vars=[voted_no[980], voted_yes[980], voting[980]]], VarOrder [vars=[voted_no[981], voted_yes[981], voting[981]]], VarOrder [vars=[voted_no[982], voted_yes[982], voting[982]]], VarOrder [vars=[voted_no[983], voted_yes[983], voting[983]]], VarOrder [vars=[voted_no[984], voted_yes[984], voting[984]]], VarOrder [vars=[voted_no[985], voted_yes[985], voting[985]]], VarOrder [vars=[voted_no[986], voted_yes[986], voting[986]]], VarOrder [vars=[voted_no[987], voted_yes[987], voting[987]]], VarOrder [vars=[voted_no[988], voted_yes[988], voting[988]]], VarOrder [vars=[voted_no[989], voted_yes[989], voting[989]]], VarOrder [vars=[voted_no[990], voted_yes[990], voting[990]]], VarOrder [vars=[voted_no[991], voted_yes[991], voting[991]]], VarOrder [vars=[voted_no[992], voted_yes[992], voting[992]]], VarOrder [vars=[voted_no[993], voted_yes[993], voting[993]]], VarOrder [vars=[voted_no[994], voted_yes[994], voting[994]]], VarOrder [vars=[voted_no[995], voted_yes[995], voting[995]]], VarOrder [vars=[voted_no[996], voted_yes[996], voting[996]]], VarOrder [vars=[voted_no[997], voted_yes[997], voting[997]]], VarOrder [vars=[voted_no[998], voted_yes[998], voting[998]]], VarOrder [vars=[voted_no[999], voted_yes[999], voting[999]]]]]
May 30, 2017 8:27:10 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/BenchKit/INPUTS/Referendum-COL-1000/model.pnml.img.gal : 59 ms
May 30, 2017 8:27:14 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 3192 ms
May 30, 2017 8:27:14 PM fr.lip6.move.gal.application.Application applyOrder
INFO: Applying decomposition
May 30, 2017 8:27:14 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 30, 2017 8:27:15 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1608 ms
May 30, 2017 8:27:17 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Partition obtained :[ready[0], ],[voted_no[0], voted_yes[0], voting[0], ],[voted_no[1], voted_yes[1], voting[1], ],[voted_no[2], voted_yes[2], voting[2], ],[voted_no[3], voted_yes[3], voting[3], ],[voted_no[4], voted_yes[4], voting[4], ],[voted_no[5], voted_yes[5], voting[5], ],[voted_no[6], voted_yes[6], voting[6], ],[voted_no[7], voted_yes[7], voting[7], ],[voted_no[8], voted_yes[8], voting[8], ],[voted_no[9], voted_yes[9], voting[9], ],[voted_no[10], voted_yes[10], voting[10], ],[voted_no[11], voted_yes[11], voting[11], ],[voted_no[12], voted_yes[12], voting[12], ],[voted_no[13], voted_yes[13], voting[13], ],[voted_no[14], voted_yes[14], voting[14], ],[voted_no[15], voted_yes[15], voting[15], ],[voted_no[16], voted_yes[16], voting[16], ],[voted_no[17], voted_yes[17], voting[17], ],[voted_no[18], voted_yes[18], voting[18], ],[voted_no[19], voted_yes[19], voting[19], ],[voted_no[20], voted_yes[20], voting[20], ],[voted_no[21], voted_yes[21], voting[21], ],[voted_no[22], voted_yes[22], voting[22], ],[voted_no[23], voted_yes[23], voting[23], ],[voted_no[24], voted_yes[24], voting[24], ],[voted_no[25], voted_yes[25], voting[25], ],[voted_no[26], voted_yes[26], voting[26], ],[voted_no[27], voted_yes[27], voting[27], ],[voted_no[28], voted_yes[28], voting[28], ],[voted_no[29], voted_yes[29], voting[29], ],[voted_no[30], voted_yes[30], voting[30], ],[voted_no[31], voted_yes[31], voting[31], ],[voted_no[32], voted_yes[32], voting[32], ],[voted_no[33], voted_yes[33], voting[33], ],[voted_no[34], voted_yes[34], voting[34], ],[voted_no[35], voted_yes[35], voting[35], ],[voted_no[36], voted_yes[36], voting[36], ],[voted_no[37], voted_yes[37], voting[37], ],[voted_no[38], voted_yes[38], voting[38], ],[voted_no[39], voted_yes[39], voting[39], ],[voted_no[40], voted_yes[40], voting[40], ],[voted_no[41], voted_yes[41], voting[41], ],[voted_no[42], voted_yes[42], voting[42], ],[voted_no[43], voted_yes[43], voting[43], ],[voted_no[44], voted_yes[44], voting[44], ],[voted_no[45], voted_yes[45], voting[45], ],[voted_no[46], voted_yes[46], voting[46], ],[voted_no[47], voted_yes[47], voting[47], ],[voted_no[48], voted_yes[48], voting[48], ],[voted_no[49], voted_yes[49], voting[49], ],[voted_no[50], voted_yes[50], voting[50], ],[voted_no[51], voted_yes[51], voting[51], ],[voted_no[52], voted_yes[52], voting[52], ],[voted_no[53], voted_yes[53], voting[53], ],[voted_no[54], voted_yes[54], voting[54], ],[voted_no[55], voted_yes[55], voting[55], ],[voted_no[56], voted_yes[56], voting[56], ],[voted_no[57], voted_yes[57], voting[57], ],[voted_no[58], voted_yes[58], voting[58], ],[voted_no[59], voted_yes[59], voting[59], ],[voted_no[60], voted_yes[60], voting[60], ],[voted_no[61], voted_yes[61], voting[61], ],[voted_no[62], voted_yes[62], voting[62], ],[voted_no[63], voted_yes[63], voting[63], ],[voted_no[64], voted_yes[64], voting[64], ],[voted_no[65], voted_yes[65], voting[65], ],[voted_no[66], voted_yes[66], voting[66], ],[voted_no[67], voted_yes[67], voting[67], ],[voted_no[68], voted_yes[68], voting[68], ],[voted_no[69], voted_yes[69], voting[69], ],[voted_no[70], voted_yes[70], voting[70], ],[voted_no[71], voted_yes[71], voting[71], ],[voted_no[72], voted_yes[72], voting[72], ],[voted_no[73], voted_yes[73], voting[73], ],[voted_no[74], voted_yes[74], voting[74], ],[voted_no[75], voted_yes[75], voting[75], ],[voted_no[76], voted_yes[76], voting[76], ],[voted_no[77], voted_yes[77], voting[77], ],[voted_no[78], voted_yes[78], voting[78], ],[voted_no[79], voted_yes[79], voting[79], ],[voted_no[80], voted_yes[80], voting[80], ],[voted_no[81], voted_yes[81], voting[81], ],[voted_no[82], voted_yes[82], voting[82], ],[voted_no[83], voted_yes[83], voting[83], ],[voted_no[84], voted_yes[84], voting[84], ],[voted_no[85], voted_yes[85], voting[85], ],[voted_no[86], voted_yes[86], voting[86], ],[voted_no[87], voted_yes[87], voting[87], ],[voted_no[88], voted_yes[88], voting[88], ],[voted_no[89], voted_yes[89], voting[89], ],[voted_no[90], voted_yes[90], voting[90], ],[voted_no[91], voted_yes[91], voting[91], ],[voted_no[92], voted_yes[92], voting[92], ],[voted_no[93], voted_yes[93], voting[93], ],[voted_no[94], voted_yes[94], voting[94], ],[voted_no[95], voted_yes[95], voting[95], ],[voted_no[96], voted_yes[96], voting[96], ],[voted_no[97], voted_yes[97], voting[97], ],[voted_no[98], voted_yes[98], voting[98], ],[voted_no[99], voted_yes[99], voting[99], ],[voted_no[100], voted_yes[100], voting[100], ],[voted_no[101], voted_yes[101], voting[101], ],[voted_no[102], voted_yes[102], voting[102], ],[voted_no[103], voted_yes[103], voting[103], ],[voted_no[104], voted_yes[104], voting[104], ],[voted_no[105], voted_yes[105], voting[105], ],[voted_no[106], voted_yes[106], voting[106], ],[voted_no[107], voted_yes[107], voting[107], ],[voted_no[108], voted_yes[108], voting[108], ],[voted_no[109], voted_yes[109], voting[109], ],[voted_no[110], voted_yes[110], voting[110], ],[voted_no[111], voted_yes[111], voting[111], ],[voted_no[112], voted_yes[112], voting[112], ],[voted_no[113], voted_yes[113], voting[113], ],[voted_no[114], voted_yes[114], voting[114], ],[voted_no[115], voted_yes[115], voting[115], ],[voted_no[116], voted_yes[116], voting[116], ],[voted_no[117], voted_yes[117], voting[117], ],[voted_no[118], voted_yes[118], voting[118], ],[voted_no[119], voted_yes[119], voting[119], ],[voted_no[120], voted_yes[120], voting[120], ],[voted_no[121], voted_yes[121], voting[121], ],[voted_no[122], voted_yes[122], voting[122], ],[voted_no[123], voted_yes[123], voting[123], ],[voted_no[124], voted_yes[124], voting[124], ],[voted_no[125], voted_yes[125], voting[125], ],[voted_no[126], voted_yes[126], voting[126], ],[voted_no[127], voted_yes[127], voting[127], ],[voted_no[128], voted_yes[128], voting[128], ],[voted_no[129], voted_yes[129], voting[129], ],[voted_no[130], voted_yes[130], voting[130], ],[voted_no[131], voted_yes[131], voting[131], ],[voted_no[132], voted_yes[132], voting[132], ],[voted_no[133], voted_yes[133], voting[133], ],[voted_no[134], voted_yes[134], voting[134], ],[voted_no[135], voted_yes[135], voting[135], ],[voted_no[136], voted_yes[136], voting[136], ],[voted_no[137], voted_yes[137], voting[137], ],[voted_no[138], voted_yes[138], voting[138], ],[voted_no[139], voted_yes[139], voting[139], ],[voted_no[140], voted_yes[140], voting[140], ],[voted_no[141], voted_yes[141], voting[141], ],[voted_no[142], voted_yes[142], voting[142], ],[voted_no[143], voted_yes[143], voting[143], ],[voted_no[144], voted_yes[144], voting[144], ],[voted_no[145], voted_yes[145], voting[145], ],[voted_no[146], voted_yes[146], voting[146], ],[voted_no[147], voted_yes[147], voting[147], ],[voted_no[148], voted_yes[148], voting[148], ],[voted_no[149], voted_yes[149], voting[149], ],[voted_no[150], voted_yes[150], voting[150], ],[voted_no[151], voted_yes[151], voting[151], ],[voted_no[152], voted_yes[152], voting[152], ],[voted_no[153], voted_yes[153], voting[153], ],[voted_no[154], voted_yes[154], voting[154], ],[voted_no[155], voted_yes[155], voting[155], ],[voted_no[156], voted_yes[156], voting[156], ],[voted_no[157], voted_yes[157], voting[157], ],[voted_no[158], voted_yes[158], voting[158], ],[voted_no[159], voted_yes[159], voting[159], ],[voted_no[160], voted_yes[160], voting[160], ],[voted_no[161], voted_yes[161], voting[161], ],[voted_no[162], voted_yes[162], voting[162], ],[voted_no[163], voted_yes[163], voting[163], ],[voted_no[164], voted_yes[164], voting[164], ],[voted_no[165], voted_yes[165], voting[165], ],[voted_no[166], voted_yes[166], voting[166], ],[voted_no[167], voted_yes[167], voting[167], ],[voted_no[168], voted_yes[168], voting[168], ],[voted_no[169], voted_yes[169], voting[169], ],[voted_no[170], voted_yes[170], voting[170], ],[voted_no[171], voted_yes[171], voting[171], ],[voted_no[172], voted_yes[172], voting[172], ],[voted_no[173], voted_yes[173], voting[173], ],[voted_no[174], voted_yes[174], voting[174], ],[voted_no[175], voted_yes[175], voting[175], ],[voted_no[176], voted_yes[176], voting[176], ],[voted_no[177], voted_yes[177], voting[177], ],[voted_no[178], voted_yes[178], voting[178], ],[voted_no[179], voted_yes[179], voting[179], ],[voted_no[180], voted_yes[180], voting[180], ],[voted_no[181], voted_yes[181], voting[181], ],[voted_no[182], voted_yes[182], voting[182], ],[voted_no[183], voted_yes[183], voting[183], ],[voted_no[184], voted_yes[184], voting[184], ],[voted_no[185], voted_yes[185], voting[185], ],[voted_no[186], voted_yes[186], voting[186], ],[voted_no[187], voted_yes[187], voting[187], ],[voted_no[188], voted_yes[188], voting[188], ],[voted_no[189], voted_yes[189], voting[189], ],[voted_no[190], voted_yes[190], voting[190], ],[voted_no[191], voted_yes[191], voting[191], ],[voted_no[192], voted_yes[192], voting[192], ],[voted_no[193], voted_yes[193], voting[193], ],[voted_no[194], voted_yes[194], voting[194], ],[voted_no[195], voted_yes[195], voting[195], ],[voted_no[196], voted_yes[196], voting[196], ],[voted_no[197], voted_yes[197], voting[197], ],[voted_no[198], voted_yes[198], voting[198], ],[voted_no[199], voted_yes[199], voting[199], ],[voted_no[200], voted_yes[200], voting[200], ],[voted_no[201], voted_yes[201], voting[201], ],[voted_no[202], voted_yes[202], voting[202], ],[voted_no[203], voted_yes[203], voting[203], ],[voted_no[204], voted_yes[204], voting[204], ],[voted_no[205], voted_yes[205], voting[205], ],[voted_no[206], voted_yes[206], voting[206], ],[voted_no[207], voted_yes[207], voting[207], ],[voted_no[208], voted_yes[208], voting[208], ],[voted_no[209], voted_yes[209], voting[209], ],[voted_no[210], voted_yes[210], voting[210], ],[voted_no[211], voted_yes[211], voting[211], ],[voted_no[212], voted_yes[212], voting[212], ],[voted_no[213], voted_yes[213], voting[213], ],[voted_no[214], voted_yes[214], voting[214], ],[voted_no[215], voted_yes[215], voting[215], ],[voted_no[216], voted_yes[216], voting[216], ],[voted_no[217], voted_yes[217], voting[217], ],[voted_no[218], voted_yes[218], voting[218], ],[voted_no[219], voted_yes[219], voting[219], ],[voted_no[220], voted_yes[220], voting[220], ],[voted_no[221], voted_yes[221], voting[221], ],[voted_no[222], voted_yes[222], voting[222], ],[voted_no[223], voted_yes[223], voting[223], ],[voted_no[224], voted_yes[224], voting[224], ],[voted_no[225], voted_yes[225], voting[225], ],[voted_no[226], voted_yes[226], voting[226], ],[voted_no[227], voted_yes[227], voting[227], ],[voted_no[228], voted_yes[228], voting[228], ],[voted_no[229], voted_yes[229], voting[229], ],[voted_no[230], voted_yes[230], voting[230], ],[voted_no[231], voted_yes[231], voting[231], ],[voted_no[232], voted_yes[232], voting[232], ],[voted_no[233], voted_yes[233], voting[233], ],[voted_no[234], voted_yes[234], voting[234], ],[voted_no[235], voted_yes[235], voting[235], ],[voted_no[236], voted_yes[236], voting[236], ],[voted_no[237], voted_yes[237], voting[237], ],[voted_no[238], voted_yes[238], voting[238], ],[voted_no[239], voted_yes[239], voting[239], ],[voted_no[240], voted_yes[240], voting[240], ],[voted_no[241], voted_yes[241], voting[241], ],[voted_no[242], voted_yes[242], voting[242], ],[voted_no[243], voted_yes[243], voting[243], ],[voted_no[244], voted_yes[244], voting[244], ],[voted_no[245], voted_yes[245], voting[245], ],[voted_no[246], voted_yes[246], voting[246], ],[voted_no[247], voted_yes[247], voting[247], ],[voted_no[248], voted_yes[248], voting[248], ],[voted_no[249], voted_yes[249], voting[249], ],[voted_no[250], voted_yes[250], voting[250], ],[voted_no[251], voted_yes[251], voting[251], ],[voted_no[252], voted_yes[252], voting[252], ],[voted_no[253], voted_yes[253], voting[253], ],[voted_no[254], voted_yes[254], voting[254], ],[voted_no[255], voted_yes[255], voting[255], ],[voted_no[256], voted_yes[256], voting[256], ],[voted_no[257], voted_yes[257], voting[257], ],[voted_no[258], voted_yes[258], voting[258], ],[voted_no[259], voted_yes[259], voting[259], ],[voted_no[260], voted_yes[260], voting[260], ],[voted_no[261], voted_yes[261], voting[261], ],[voted_no[262], voted_yes[262], voting[262], ],[voted_no[263], voted_yes[263], voting[263], ],[voted_no[264], voted_yes[264], voting[264], ],[voted_no[265], voted_yes[265], voting[265], ],[voted_no[266], voted_yes[266], voting[266], ],[voted_no[267], voted_yes[267], voting[267], ],[voted_no[268], voted_yes[268], voting[268], ],[voted_no[269], voted_yes[269], voting[269], ],[voted_no[270], voted_yes[270], voting[270], ],[voted_no[271], voted_yes[271], voting[271], ],[voted_no[272], voted_yes[272], voting[272], ],[voted_no[273], voted_yes[273], voting[273], ],[voted_no[274], voted_yes[274], voting[274], ],[voted_no[275], voted_yes[275], voting[275], ],[voted_no[276], voted_yes[276], voting[276], ],[voted_no[277], voted_yes[277], voting[277], ],[voted_no[278], voted_yes[278], voting[278], ],[voted_no[279], voted_yes[279], voting[279], ],[voted_no[280], voted_yes[280], voting[280], ],[voted_no[281], voted_yes[281], voting[281], ],[voted_no[282], voted_yes[282], voting[282], ],[voted_no[283], voted_yes[283], voting[283], ],[voted_no[284], voted_yes[284], voting[284], ],[voted_no[285], voted_yes[285], voting[285], ],[voted_no[286], voted_yes[286], voting[286], ],[voted_no[287], voted_yes[287], voting[287], ],[voted_no[288], voted_yes[288], voting[288], ],[voted_no[289], voted_yes[289], voting[289], ],[voted_no[290], voted_yes[290], voting[290], ],[voted_no[291], voted_yes[291], voting[291], ],[voted_no[292], voted_yes[292], voting[292], ],[voted_no[293], voted_yes[293], voting[293], ],[voted_no[294], voted_yes[294], voting[294], ],[voted_no[295], voted_yes[295], voting[295], ],[voted_no[296], voted_yes[296], voting[296], ],[voted_no[297], voted_yes[297], voting[297], ],[voted_no[298], voted_yes[298], voting[298], ],[voted_no[299], voted_yes[299], voting[299], ],[voted_no[300], voted_yes[300], voting[300], ],[voted_no[301], voted_yes[301], voting[301], ],[voted_no[302], voted_yes[302], voting[302], ],[voted_no[303], voted_yes[303], voting[303], ],[voted_no[304], voted_yes[304], voting[304], ],[voted_no[305], voted_yes[305], voting[305], ],[voted_no[306], voted_yes[306], voting[306], ],[voted_no[307], voted_yes[307], voting[307], ],[voted_no[308], voted_yes[308], voting[308], ],[voted_no[309], voted_yes[309], voting[309], ],[voted_no[310], voted_yes[310], voting[310], ],[voted_no[311], voted_yes[311], voting[311], ],[voted_no[312], voted_yes[312], voting[312], ],[voted_no[313], voted_yes[313], voting[313], ],[voted_no[314], voted_yes[314], voting[314], ],[voted_no[315], voted_yes[315], voting[315], ],[voted_no[316], voted_yes[316], voting[316], ],[voted_no[317], voted_yes[317], voting[317], ],[voted_no[318], voted_yes[318], voting[318], ],[voted_no[319], voted_yes[319], voting[319], ],[voted_no[320], voted_yes[320], voting[320], ],[voted_no[321], voted_yes[321], voting[321], ],[voted_no[322], voted_yes[322], voting[322], ],[voted_no[323], voted_yes[323], voting[323], ],[voted_no[324], voted_yes[324], voting[324], ],[voted_no[325], voted_yes[325], voting[325], ],[voted_no[326], voted_yes[326], voting[326], ],[voted_no[327], voted_yes[327], voting[327], ],[voted_no[328], voted_yes[328], voting[328], ],[voted_no[329], voted_yes[329], voting[329], ],[voted_no[330], voted_yes[330], voting[330], ],[voted_no[331], voted_yes[331], voting[331], ],[voted_no[332], voted_yes[332], voting[332], ],[voted_no[333], voted_yes[333], voting[333], ],[voted_no[334], voted_yes[334], voting[334], ],[voted_no[335], voted_yes[335], voting[335], ],[voted_no[336], voted_yes[336], voting[336], ],[voted_no[337], voted_yes[337], voting[337], ],[voted_no[338], voted_yes[338], voting[338], ],[voted_no[339], voted_yes[339], voting[339], ],[voted_no[340], voted_yes[340], voting[340], ],[voted_no[341], voted_yes[341], voting[341], ],[voted_no[342], voted_yes[342], voting[342], ],[voted_no[343], voted_yes[343], voting[343], ],[voted_no[344], voted_yes[344], voting[344], ],[voted_no[345], voted_yes[345], voting[345], ],[voted_no[346], voted_yes[346], voting[346], ],[voted_no[347], voted_yes[347], voting[347], ],[voted_no[348], voted_yes[348], voting[348], ],[voted_no[349], voted_yes[349], voting[349], ],[voted_no[350], voted_yes[350], voting[350], ],[voted_no[351], voted_yes[351], voting[351], ],[voted_no[352], voted_yes[352], voting[352], ],[voted_no[353], voted_yes[353], voting[353], ],[voted_no[354], voted_yes[354], voting[354], ],[voted_no[355], voted_yes[355], voting[355], ],[voted_no[356], voted_yes[356], voting[356], ],[voted_no[357], voted_yes[357], voting[357], ],[voted_no[358], voted_yes[358], voting[358], ],[voted_no[359], voted_yes[359], voting[359], ],[voted_no[360], voted_yes[360], voting[360], ],[voted_no[361], voted_yes[361], voting[361], ],[voted_no[362], voted_yes[362], voting[362], ],[voted_no[363], voted_yes[363], voting[363], ],[voted_no[364], voted_yes[364], voting[364], ],[voted_no[365], voted_yes[365], voting[365], ],[voted_no[366], voted_yes[366], voting[366], ],[voted_no[367], voted_yes[367], voting[367], ],[voted_no[368], voted_yes[368], voting[368], ],[voted_no[369], voted_yes[369], voting[369], ],[voted_no[370], voted_yes[370], voting[370], ],[voted_no[371], voted_yes[371], voting[371], ],[voted_no[372], voted_yes[372], voting[372], ],[voted_no[373], voted_yes[373], voting[373], ],[voted_no[374], voted_yes[374], voting[374], ],[voted_no[375], voted_yes[375], voting[375], ],[voted_no[376], voted_yes[376], voting[376], ],[voted_no[377], voted_yes[377], voting[377], ],[voted_no[378], voted_yes[378], voting[378], ],[voted_no[379], voted_yes[379], voting[379], ],[voted_no[380], voted_yes[380], voting[380], ],[voted_no[381], voted_yes[381], voting[381], ],[voted_no[382], voted_yes[382], voting[382], ],[voted_no[383], voted_yes[383], voting[383], ],[voted_no[384], voted_yes[384], voting[384], ],[voted_no[385], voted_yes[385], voting[385], ],[voted_no[386], voted_yes[386], voting[386], ],[voted_no[387], voted_yes[387], voting[387], ],[voted_no[388], voted_yes[388], voting[388], ],[voted_no[389], voted_yes[389], voting[389], ],[voted_no[390], voted_yes[390], voting[390], ],[voted_no[391], voted_yes[391], voting[391], ],[voted_no[392], voted_yes[392], voting[392], ],[voted_no[393], voted_yes[393], voting[393], ],[voted_no[394], voted_yes[394], voting[394], ],[voted_no[395], voted_yes[395], voting[395], ],[voted_no[396], voted_yes[396], voting[396], ],[voted_no[397], voted_yes[397], voting[397], ],[voted_no[398], voted_yes[398], voting[398], ],[voted_no[399], voted_yes[399], voting[399], ],[voted_no[400], voted_yes[400], voting[400], ],[voted_no[401], voted_yes[401], voting[401], ],[voted_no[402], voted_yes[402], voting[402], ],[voted_no[403], voted_yes[403], voting[403], ],[voted_no[404], voted_yes[404], voting[404], ],[voted_no[405], voted_yes[405], voting[405], ],[voted_no[406], voted_yes[406], voting[406], ],[voted_no[407], voted_yes[407], voting[407], ],[voted_no[408], voted_yes[408], voting[408], ],[voted_no[409], voted_yes[409], voting[409], ],[voted_no[410], voted_yes[410], voting[410], ],[voted_no[411], voted_yes[411], voting[411], ],[voted_no[412], voted_yes[412], voting[412], ],[voted_no[413], voted_yes[413], voting[413], ],[voted_no[414], voted_yes[414], voting[414], ],[voted_no[415], voted_yes[415], voting[415], ],[voted_no[416], voted_yes[416], voting[416], ],[voted_no[417], voted_yes[417], voting[417], ],[voted_no[418], voted_yes[418], voting[418], ],[voted_no[419], voted_yes[419], voting[419], ],[voted_no[420], voted_yes[420], voting[420], ],[voted_no[421], voted_yes[421], voting[421], ],[voted_no[422], voted_yes[422], voting[422], ],[voted_no[423], voted_yes[423], voting[423], ],[voted_no[424], voted_yes[424], voting[424], ],[voted_no[425], voted_yes[425], voting[425], ],[voted_no[426], voted_yes[426], voting[426], ],[voted_no[427], voted_yes[427], voting[427], ],[voted_no[428], voted_yes[428], voting[428], ],[voted_no[429], voted_yes[429], voting[429], ],[voted_no[430], voted_yes[430], voting[430], ],[voted_no[431], voted_yes[431], voting[431], ],[voted_no[432], voted_yes[432], voting[432], ],[voted_no[433], voted_yes[433], voting[433], ],[voted_no[434], voted_yes[434], voting[434], ],[voted_no[435], voted_yes[435], voting[435], ],[voted_no[436], voted_yes[436], voting[436], ],[voted_no[437], voted_yes[437], voting[437], ],[voted_no[438], voted_yes[438], voting[438], ],[voted_no[439], voted_yes[439], voting[439], ],[voted_no[440], voted_yes[440], voting[440], ],[voted_no[441], voted_yes[441], voting[441], ],[voted_no[442], voted_yes[442], voting[442], ],[voted_no[443], voted_yes[443], voting[443], ],[voted_no[444], voted_yes[444], voting[444], ],[voted_no[445], voted_yes[445], voting[445], ],[voted_no[446], voted_yes[446], voting[446], ],[voted_no[447], voted_yes[447], voting[447], ],[voted_no[448], voted_yes[448], voting[448], ],[voted_no[449], voted_yes[449], voting[449], ],[voted_no[450], voted_yes[450], voting[450], ],[voted_no[451], voted_yes[451], voting[451], ],[voted_no[452], voted_yes[452], voting[452], ],[voted_no[453], voted_yes[453], voting[453], ],[voted_no[454], voted_yes[454], voting[454], ],[voted_no[455], voted_yes[455], voting[455], ],[voted_no[456], voted_yes[456], voting[456], ],[voted_no[457], voted_yes[457], voting[457], ],[voted_no[458], voted_yes[458], voting[458], ],[voted_no[459], voted_yes[459], voting[459], ],[voted_no[460], voted_yes[460], voting[460], ],[voted_no[461], voted_yes[461], voting[461], ],[voted_no[462], voted_yes[462], voting[462], ],[voted_no[463], voted_yes[463], voting[463], ],[voted_no[464], voted_yes[464], voting[464], ],[voted_no[465], voted_yes[465], voting[465], ],[voted_no[466], voted_yes[466], voting[466], ],[voted_no[467], voted_yes[467], voting[467], ],[voted_no[468], voted_yes[468], voting[468], ],[voted_no[469], voted_yes[469], voting[469], ],[voted_no[470], voted_yes[470], voting[470], ],[voted_no[471], voted_yes[471], voting[471], ],[voted_no[472], voted_yes[472], voting[472], ],[voted_no[473], voted_yes[473], voting[473], ],[voted_no[474], voted_yes[474], voting[474], ],[voted_no[475], voted_yes[475], voting[475], ],[voted_no[476], voted_yes[476], voting[476], ],[voted_no[477], voted_yes[477], voting[477], ],[voted_no[478], voted_yes[478], voting[478], ],[voted_no[479], voted_yes[479], voting[479], ],[voted_no[480], voted_yes[480], voting[480], ],[voted_no[481], voted_yes[481], voting[481], ],[voted_no[482], voted_yes[482], voting[482], ],[voted_no[483], voted_yes[483], voting[483], ],[voted_no[484], voted_yes[484], voting[484], ],[voted_no[485], voted_yes[485], voting[485], ],[voted_no[486], voted_yes[486], voting[486], ],[voted_no[487], voted_yes[487], voting[487], ],[voted_no[488], voted_yes[488], voting[488], ],[voted_no[489], voted_yes[489], voting[489], ],[voted_no[490], voted_yes[490], voting[490], ],[voted_no[491], voted_yes[491], voting[491], ],[voted_no[492], voted_yes[492], voting[492], ],[voted_no[493], voted_yes[493], voting[493], ],[voted_no[494], voted_yes[494], voting[494], ],[voted_no[495], voted_yes[495], voting[495], ],[voted_no[496], voted_yes[496], voting[496], ],[voted_no[497], voted_yes[497], voting[497], ],[voted_no[498], voted_yes[498], voting[498], ],[voted_no[499], voted_yes[499], voting[499], ],[voted_no[500], voted_yes[500], voting[500], ],[voted_no[501], voted_yes[501], voting[501], ],[voted_no[502], voted_yes[502], voting[502], ],[voted_no[503], voted_yes[503], voting[503], ],[voted_no[504], voted_yes[504], voting[504], ],[voted_no[505], voted_yes[505], voting[505], ],[voted_no[506], voted_yes[506], voting[506], ],[voted_no[507], voted_yes[507], voting[507], ],[voted_no[508], voted_yes[508], voting[508], ],[voted_no[509], voted_yes[509], voting[509], ],[voted_no[510], voted_yes[510], voting[510], ],[voted_no[511], voted_yes[511], voting[511], ],[voted_no[512], voted_yes[512], voting[512], ],[voted_no[513], voted_yes[513], voting[513], ],[voted_no[514], voted_yes[514], voting[514], ],[voted_no[515], voted_yes[515], voting[515], ],[voted_no[516], voted_yes[516], voting[516], ],[voted_no[517], voted_yes[517], voting[517], ],[voted_no[518], voted_yes[518], voting[518], ],[voted_no[519], voted_yes[519], voting[519], ],[voted_no[520], voted_yes[520], voting[520], ],[voted_no[521], voted_yes[521], voting[521], ],[voted_no[522], voted_yes[522], voting[522], ],[voted_no[523], voted_yes[523], voting[523], ],[voted_no[524], voted_yes[524], voting[524], ],[voted_no[525], voted_yes[525], voting[525], ],[voted_no[526], voted_yes[526], voting[526], ],[voted_no[527], voted_yes[527], voting[527], ],[voted_no[528], voted_yes[528], voting[528], ],[voted_no[529], voted_yes[529], voting[529], ],[voted_no[530], voted_yes[530], voting[530], ],[voted_no[531], voted_yes[531], voting[531], ],[voted_no[532], voted_yes[532], voting[532], ],[voted_no[533], voted_yes[533], voting[533], ],[voted_no[534], voted_yes[534], voting[534], ],[voted_no[535], voted_yes[535], voting[535], ],[voted_no[536], voted_yes[536], voting[536], ],[voted_no[537], voted_yes[537], voting[537], ],[voted_no[538], voted_yes[538], voting[538], ],[voted_no[539], voted_yes[539], voting[539], ],[voted_no[540], voted_yes[540], voting[540], ],[voted_no[541], voted_yes[541], voting[541], ],[voted_no[542], voted_yes[542], voting[542], ],[voted_no[543], voted_yes[543], voting[543], ],[voted_no[544], voted_yes[544], voting[544], ],[voted_no[545], voted_yes[545], voting[545], ],[voted_no[546], voted_yes[546], voting[546], ],[voted_no[547], voted_yes[547], voting[547], ],[voted_no[548], voted_yes[548], voting[548], ],[voted_no[549], voted_yes[549], voting[549], ],[voted_no[550], voted_yes[550], voting[550], ],[voted_no[551], voted_yes[551], voting[551], ],[voted_no[552], voted_yes[552], voting[552], ],[voted_no[553], voted_yes[553], voting[553], ],[voted_no[554], voted_yes[554], voting[554], ],[voted_no[555], voted_yes[555], voting[555], ],[voted_no[556], voted_yes[556], voting[556], ],[voted_no[557], voted_yes[557], voting[557], ],[voted_no[558], voted_yes[558], voting[558], ],[voted_no[559], voted_yes[559], voting[559], ],[voted_no[560], voted_yes[560], voting[560], ],[voted_no[561], voted_yes[561], voting[561], ],[voted_no[562], voted_yes[562], voting[562], ],[voted_no[563], voted_yes[563], voting[563], ],[voted_no[564], voted_yes[564], voting[564], ],[voted_no[565], voted_yes[565], voting[565], ],[voted_no[566], voted_yes[566], voting[566], ],[voted_no[567], voted_yes[567], voting[567], ],[voted_no[568], voted_yes[568], voting[568], ],[voted_no[569], voted_yes[569], voting[569], ],[voted_no[570], voted_yes[570], voting[570], ],[voted_no[571], voted_yes[571], voting[571], ],[voted_no[572], voted_yes[572], voting[572], ],[voted_no[573], voted_yes[573], voting[573], ],[voted_no[574], voted_yes[574], voting[574], ],[voted_no[575], voted_yes[575], voting[575], ],[voted_no[576], voted_yes[576], voting[576], ],[voted_no[577], voted_yes[577], voting[577], ],[voted_no[578], voted_yes[578], voting[578], ],[voted_no[579], voted_yes[579], voting[579], ],[voted_no[580], voted_yes[580], voting[580], ],[voted_no[581], voted_yes[581], voting[581], ],[voted_no[582], voted_yes[582], voting[582], ],[voted_no[583], voted_yes[583], voting[583], ],[voted_no[584], voted_yes[584], voting[584], ],[voted_no[585], voted_yes[585], voting[585], ],[voted_no[586], voted_yes[586], voting[586], ],[voted_no[587], voted_yes[587], voting[587], ],[voted_no[588], voted_yes[588], voting[588], ],[voted_no[589], voted_yes[589], voting[589], ],[voted_no[590], voted_yes[590], voting[590], ],[voted_no[591], voted_yes[591], voting[591], ],[voted_no[592], voted_yes[592], voting[592], ],[voted_no[593], voted_yes[593], voting[593], ],[voted_no[594], voted_yes[594], voting[594], ],[voted_no[595], voted_yes[595], voting[595], ],[voted_no[596], voted_yes[596], voting[596], ],[voted_no[597], voted_yes[597], voting[597], ],[voted_no[598], voted_yes[598], voting[598], ],[voted_no[599], voted_yes[599], voting[599], ],[voted_no[600], voted_yes[600], voting[600], ],[voted_no[601], voted_yes[601], voting[601], ],[voted_no[602], voted_yes[602], voting[602], ],[voted_no[603], voted_yes[603], voting[603], ],[voted_no[604], voted_yes[604], voting[604], ],[voted_no[605], voted_yes[605], voting[605], ],[voted_no[606], voted_yes[606], voting[606], ],[voted_no[607], voted_yes[607], voting[607], ],[voted_no[608], voted_yes[608], voting[608], ],[voted_no[609], voted_yes[609], voting[609], ],[voted_no[610], voted_yes[610], voting[610], ],[voted_no[611], voted_yes[611], voting[611], ],[voted_no[612], voted_yes[612], voting[612], ],[voted_no[613], voted_yes[613], voting[613], ],[voted_no[614], voted_yes[614], voting[614], ],[voted_no[615], voted_yes[615], voting[615], ],[voted_no[616], voted_yes[616], voting[616], ],[voted_no[617], voted_yes[617], voting[617], ],[voted_no[618], voted_yes[618], voting[618], ],[voted_no[619], voted_yes[619], voting[619], ],[voted_no[620], voted_yes[620], voting[620], ],[voted_no[621], voted_yes[621], voting[621], ],[voted_no[622], voted_yes[622], voting[622], ],[voted_no[623], voted_yes[623], voting[623], ],[voted_no[624], voted_yes[624], voting[624], ],[voted_no[625], voted_yes[625], voting[625], ],[voted_no[626], voted_yes[626], voting[626], ],[voted_no[627], voted_yes[627], voting[627], ],[voted_no[628], voted_yes[628], voting[628], ],[voted_no[629], voted_yes[629], voting[629], ],[voted_no[630], voted_yes[630], voting[630], ],[voted_no[631], voted_yes[631], voting[631], ],[voted_no[632], voted_yes[632], voting[632], ],[voted_no[633], voted_yes[633], voting[633], ],[voted_no[634], voted_yes[634], voting[634], ],[voted_no[635], voted_yes[635], voting[635], ],[voted_no[636], voted_yes[636], voting[636], ],[voted_no[637], voted_yes[637], voting[637], ],[voted_no[638], voted_yes[638], voting[638], ],[voted_no[639], voted_yes[639], voting[639], ],[voted_no[640], voted_yes[640], voting[640], ],[voted_no[641], voted_yes[641], voting[641], ],[voted_no[642], voted_yes[642], voting[642], ],[voted_no[643], voted_yes[643], voting[643], ],[voted_no[644], voted_yes[644], voting[644], ],[voted_no[645], voted_yes[645], voting[645], ],[voted_no[646], voted_yes[646], voting[646], ],[voted_no[647], voted_yes[647], voting[647], ],[voted_no[648], voted_yes[648], voting[648], ],[voted_no[649], voted_yes[649], voting[649], ],[voted_no[650], voted_yes[650], voting[650], ],[voted_no[651], voted_yes[651], voting[651], ],[voted_no[652], voted_yes[652], voting[652], ],[voted_no[653], voted_yes[653], voting[653], ],[voted_no[654], voted_yes[654], voting[654], ],[voted_no[655], voted_yes[655], voting[655], ],[voted_no[656], voted_yes[656], voting[656], ],[voted_no[657], voted_yes[657], voting[657], ],[voted_no[658], voted_yes[658], voting[658], ],[voted_no[659], voted_yes[659], voting[659], ],[voted_no[660], voted_yes[660], voting[660], ],[voted_no[661], voted_yes[661], voting[661], ],[voted_no[662], voted_yes[662], voting[662], ],[voted_no[663], voted_yes[663], voting[663], ],[voted_no[664], voted_yes[664], voting[664], ],[voted_no[665], voted_yes[665], voting[665], ],[voted_no[666], voted_yes[666], voting[666], ],[voted_no[667], voted_yes[667], voting[667], ],[voted_no[668], voted_yes[668], voting[668], ],[voted_no[669], voted_yes[669], voting[669], ],[voted_no[670], voted_yes[670], voting[670], ],[voted_no[671], voted_yes[671], voting[671], ],[voted_no[672], voted_yes[672], voting[672], ],[voted_no[673], voted_yes[673], voting[673], ],[voted_no[674], voted_yes[674], voting[674], ],[voted_no[675], voted_yes[675], voting[675], ],[voted_no[676], voted_yes[676], voting[676], ],[voted_no[677], voted_yes[677], voting[677], ],[voted_no[678], voted_yes[678], voting[678], ],[voted_no[679], voted_yes[679], voting[679], ],[voted_no[680], voted_yes[680], voting[680], ],[voted_no[681], voted_yes[681], voting[681], ],[voted_no[682], voted_yes[682], voting[682], ],[voted_no[683], voted_yes[683], voting[683], ],[voted_no[684], voted_yes[684], voting[684], ],[voted_no[685], voted_yes[685], voting[685], ],[voted_no[686], voted_yes[686], voting[686], ],[voted_no[687], voted_yes[687], voting[687], ],[voted_no[688], voted_yes[688], voting[688], ],[voted_no[689], voted_yes[689], voting[689], ],[voted_no[690], voted_yes[690], voting[690], ],[voted_no[691], voted_yes[691], voting[691], ],[voted_no[692], voted_yes[692], voting[692], ],[voted_no[693], voted_yes[693], voting[693], ],[voted_no[694], voted_yes[694], voting[694], ],[voted_no[695], voted_yes[695], voting[695], ],[voted_no[696], voted_yes[696], voting[696], ],[voted_no[697], voted_yes[697], voting[697], ],[voted_no[698], voted_yes[698], voting[698], ],[voted_no[699], voted_yes[699], voting[699], ],[voted_no[700], voted_yes[700], voting[700], ],[voted_no[701], voted_yes[701], voting[701], ],[voted_no[702], voted_yes[702], voting[702], ],[voted_no[703], voted_yes[703], voting[703], ],[voted_no[704], voted_yes[704], voting[704], ],[voted_no[705], voted_yes[705], voting[705], ],[voted_no[706], voted_yes[706], voting[706], ],[voted_no[707], voted_yes[707], voting[707], ],[voted_no[708], voted_yes[708], voting[708], ],[voted_no[709], voted_yes[709], voting[709], ],[voted_no[710], voted_yes[710], voting[710], ],[voted_no[711], voted_yes[711], voting[711], ],[voted_no[712], voted_yes[712], voting[712], ],[voted_no[713], voted_yes[713], voting[713], ],[voted_no[714], voted_yes[714], voting[714], ],[voted_no[715], voted_yes[715], voting[715], ],[voted_no[716], voted_yes[716], voting[716], ],[voted_no[717], voted_yes[717], voting[717], ],[voted_no[718], voted_yes[718], voting[718], ],[voted_no[719], voted_yes[719], voting[719], ],[voted_no[720], voted_yes[720], voting[720], ],[voted_no[721], voted_yes[721], voting[721], ],[voted_no[722], voted_yes[722], voting[722], ],[voted_no[723], voted_yes[723], voting[723], ],[voted_no[724], voted_yes[724], voting[724], ],[voted_no[725], voted_yes[725], voting[725], ],[voted_no[726], voted_yes[726], voting[726], ],[voted_no[727], voted_yes[727], voting[727], ],[voted_no[728], voted_yes[728], voting[728], ],[voted_no[729], voted_yes[729], voting[729], ],[voted_no[730], voted_yes[730], voting[730], ],[voted_no[731], voted_yes[731], voting[731], ],[voted_no[732], voted_yes[732], voting[732], ],[voted_no[733], voted_yes[733], voting[733], ],[voted_no[734], voted_yes[734], voting[734], ],[voted_no[735], voted_yes[735], voting[735], ],[voted_no[736], voted_yes[736], voting[736], ],[voted_no[737], voted_yes[737], voting[737], ],[voted_no[738], voted_yes[738], voting[738], ],[voted_no[739], voted_yes[739], voting[739], ],[voted_no[740], voted_yes[740], voting[740], ],[voted_no[741], voted_yes[741], voting[741], ],[voted_no[742], voted_yes[742], voting[742], ],[voted_no[743], voted_yes[743], voting[743], ],[voted_no[744], voted_yes[744], voting[744], ],[voted_no[745], voted_yes[745], voting[745], ],[voted_no[746], voted_yes[746], voting[746], ],[voted_no[747], voted_yes[747], voting[747], ],[voted_no[748], voted_yes[748], voting[748], ],[voted_no[749], voted_yes[749], voting[749], ],[voted_no[750], voted_yes[750], voting[750], ],[voted_no[751], voted_yes[751], voting[751], ],[voted_no[752], voted_yes[752], voting[752], ],[voted_no[753], voted_yes[753], voting[753], ],[voted_no[754], voted_yes[754], voting[754], ],[voted_no[755], voted_yes[755], voting[755], ],[voted_no[756], voted_yes[756], voting[756], ],[voted_no[757], voted_yes[757], voting[757], ],[voted_no[758], voted_yes[758], voting[758], ],[voted_no[759], voted_yes[759], voting[759], ],[voted_no[760], voted_yes[760], voting[760], ],[voted_no[761], voted_yes[761], voting[761], ],[voted_no[762], voted_yes[762], voting[762], ],[voted_no[763], voted_yes[763], voting[763], ],[voted_no[764], voted_yes[764], voting[764], ],[voted_no[765], voted_yes[765], voting[765], ],[voted_no[766], voted_yes[766], voting[766], ],[voted_no[767], voted_yes[767], voting[767], ],[voted_no[768], voted_yes[768], voting[768], ],[voted_no[769], voted_yes[769], voting[769], ],[voted_no[770], voted_yes[770], voting[770], ],[voted_no[771], voted_yes[771], voting[771], ],[voted_no[772], voted_yes[772], voting[772], ],[voted_no[773], voted_yes[773], voting[773], ],[voted_no[774], voted_yes[774], voting[774], ],[voted_no[775], voted_yes[775], voting[775], ],[voted_no[776], voted_yes[776], voting[776], ],[voted_no[777], voted_yes[777], voting[777], ],[voted_no[778], voted_yes[778], voting[778], ],[voted_no[779], voted_yes[779], voting[779], ],[voted_no[780], voted_yes[780], voting[780], ],[voted_no[781], voted_yes[781], voting[781], ],[voted_no[782], voted_yes[782], voting[782], ],[voted_no[783], voted_yes[783], voting[783], ],[voted_no[784], voted_yes[784], voting[784], ],[voted_no[785], voted_yes[785], voting[785], ],[voted_no[786], voted_yes[786], voting[786], ],[voted_no[787], voted_yes[787], voting[787], ],[voted_no[788], voted_yes[788], voting[788], ],[voted_no[789], voted_yes[789], voting[789], ],[voted_no[790], voted_yes[790], voting[790], ],[voted_no[791], voted_yes[791], voting[791], ],[voted_no[792], voted_yes[792], voting[792], ],[voted_no[793], voted_yes[793], voting[793], ],[voted_no[794], voted_yes[794], voting[794], ],[voted_no[795], voted_yes[795], voting[795], ],[voted_no[796], voted_yes[796], voting[796], ],[voted_no[797], voted_yes[797], voting[797], ],[voted_no[798], voted_yes[798], voting[798], ],[voted_no[799], voted_yes[799], voting[799], ],[voted_no[800], voted_yes[800], voting[800], ],[voted_no[801], voted_yes[801], voting[801], ],[voted_no[802], voted_yes[802], voting[802], ],[voted_no[803], voted_yes[803], voting[803], ],[voted_no[804], voted_yes[804], voting[804], ],[voted_no[805], voted_yes[805], voting[805], ],[voted_no[806], voted_yes[806], voting[806], ],[voted_no[807], voted_yes[807], voting[807], ],[voted_no[808], voted_yes[808], voting[808], ],[voted_no[809], voted_yes[809], voting[809], ],[voted_no[810], voted_yes[810], voting[810], ],[voted_no[811], voted_yes[811], voting[811], ],[voted_no[812], voted_yes[812], voting[812], ],[voted_no[813], voted_yes[813], voting[813], ],[voted_no[814], voted_yes[814], voting[814], ],[voted_no[815], voted_yes[815], voting[815], ],[voted_no[816], voted_yes[816], voting[816], ],[voted_no[817], voted_yes[817], voting[817], ],[voted_no[818], voted_yes[818], voting[818], ],[voted_no[819], voted_yes[819], voting[819], ],[voted_no[820], voted_yes[820], voting[820], ],[voted_no[821], voted_yes[821], voting[821], ],[voted_no[822], voted_yes[822], voting[822], ],[voted_no[823], voted_yes[823], voting[823], ],[voted_no[824], voted_yes[824], voting[824], ],[voted_no[825], voted_yes[825], voting[825], ],[voted_no[826], voted_yes[826], voting[826], ],[voted_no[827], voted_yes[827], voting[827], ],[voted_no[828], voted_yes[828], voting[828], ],[voted_no[829], voted_yes[829], voting[829], ],[voted_no[830], voted_yes[830], voting[830], ],[voted_no[831], voted_yes[831], voting[831], ],[voted_no[832], voted_yes[832], voting[832], ],[voted_no[833], voted_yes[833], voting[833], ],[voted_no[834], voted_yes[834], voting[834], ],[voted_no[835], voted_yes[835], voting[835], ],[voted_no[836], voted_yes[836], voting[836], ],[voted_no[837], voted_yes[837], voting[837], ],[voted_no[838], voted_yes[838], voting[838], ],[voted_no[839], voted_yes[839], voting[839], ],[voted_no[840], voted_yes[840], voting[840], ],[voted_no[841], voted_yes[841], voting[841], ],[voted_no[842], voted_yes[842], voting[842], ],[voted_no[843], voted_yes[843], voting[843], ],[voted_no[844], voted_yes[844], voting[844], ],[voted_no[845], voted_yes[845], voting[845], ],[voted_no[846], voted_yes[846], voting[846], ],[voted_no[847], voted_yes[847], voting[847], ],[voted_no[848], voted_yes[848], voting[848], ],[voted_no[849], voted_yes[849], voting[849], ],[voted_no[850], voted_yes[850], voting[850], ],[voted_no[851], voted_yes[851], voting[851], ],[voted_no[852], voted_yes[852], voting[852], ],[voted_no[853], voted_yes[853], voting[853], ],[voted_no[854], voted_yes[854], voting[854], ],[voted_no[855], voted_yes[855], voting[855], ],[voted_no[856], voted_yes[856], voting[856], ],[voted_no[857], voted_yes[857], voting[857], ],[voted_no[858], voted_yes[858], voting[858], ],[voted_no[859], voted_yes[859], voting[859], ],[voted_no[860], voted_yes[860], voting[860], ],[voted_no[861], voted_yes[861], voting[861], ],[voted_no[862], voted_yes[862], voting[862], ],[voted_no[863], voted_yes[863], voting[863], ],[voted_no[864], voted_yes[864], voting[864], ],[voted_no[865], voted_yes[865], voting[865], ],[voted_no[866], voted_yes[866], voting[866], ],[voted_no[867], voted_yes[867], voting[867], ],[voted_no[868], voted_yes[868], voting[868], ],[voted_no[869], voted_yes[869], voting[869], ],[voted_no[870], voted_yes[870], voting[870], ],[voted_no[871], voted_yes[871], voting[871], ],[voted_no[872], voted_yes[872], voting[872], ],[voted_no[873], voted_yes[873], voting[873], ],[voted_no[874], voted_yes[874], voting[874], ],[voted_no[875], voted_yes[875], voting[875], ],[voted_no[876], voted_yes[876], voting[876], ],[voted_no[877], voted_yes[877], voting[877], ],[voted_no[878], voted_yes[878], voting[878], ],[voted_no[879], voted_yes[879], voting[879], ],[voted_no[880], voted_yes[880], voting[880], ],[voted_no[881], voted_yes[881], voting[881], ],[voted_no[882], voted_yes[882], voting[882], ],[voted_no[883], voted_yes[883], voting[883], ],[voted_no[884], voted_yes[884], voting[884], ],[voted_no[885], voted_yes[885], voting[885], ],[voted_no[886], voted_yes[886], voting[886], ],[voted_no[887], voted_yes[887], voting[887], ],[voted_no[888], voted_yes[888], voting[888], ],[voted_no[889], voted_yes[889], voting[889], ],[voted_no[890], voted_yes[890], voting[890], ],[voted_no[891], voted_yes[891], voting[891], ],[voted_no[892], voted_yes[892], voting[892], ],[voted_no[893], voted_yes[893], voting[893], ],[voted_no[894], voted_yes[894], voting[894], ],[voted_no[895], voted_yes[895], voting[895], ],[voted_no[896], voted_yes[896], voting[896], ],[voted_no[897], voted_yes[897], voting[897], ],[voted_no[898], voted_yes[898], voting[898], ],[voted_no[899], voted_yes[899], voting[899], ],[voted_no[900], voted_yes[900], voting[900], ],[voted_no[901], voted_yes[901], voting[901], ],[voted_no[902], voted_yes[902], voting[902], ],[voted_no[903], voted_yes[903], voting[903], ],[voted_no[904], voted_yes[904], voting[904], ],[voted_no[905], voted_yes[905], voting[905], ],[voted_no[906], voted_yes[906], voting[906], ],[voted_no[907], voted_yes[907], voting[907], ],[voted_no[908], voted_yes[908], voting[908], ],[voted_no[909], voted_yes[909], voting[909], ],[voted_no[910], voted_yes[910], voting[910], ],[voted_no[911], voted_yes[911], voting[911], ],[voted_no[912], voted_yes[912], voting[912], ],[voted_no[913], voted_yes[913], voting[913], ],[voted_no[914], voted_yes[914], voting[914], ],[voted_no[915], voted_yes[915], voting[915], ],[voted_no[916], voted_yes[916], voting[916], ],[voted_no[917], voted_yes[917], voting[917], ],[voted_no[918], voted_yes[918], voting[918], ],[voted_no[919], voted_yes[919], voting[919], ],[voted_no[920], voted_yes[920], voting[920], ],[voted_no[921], voted_yes[921], voting[921], ],[voted_no[922], voted_yes[922], voting[922], ],[voted_no[923], voted_yes[923], voting[923], ],[voted_no[924], voted_yes[924], voting[924], ],[voted_no[925], voted_yes[925], voting[925], ],[voted_no[926], voted_yes[926], voting[926], ],[voted_no[927], voted_yes[927], voting[927], ],[voted_no[928], voted_yes[928], voting[928], ],[voted_no[929], voted_yes[929], voting[929], ],[voted_no[930], voted_yes[930], voting[930], ],[voted_no[931], voted_yes[931], voting[931], ],[voted_no[932], voted_yes[932], voting[932], ],[voted_no[933], voted_yes[933], voting[933], ],[voted_no[934], voted_yes[934], voting[934], ],[voted_no[935], voted_yes[935], voting[935], ],[voted_no[936], voted_yes[936], voting[936], ],[voted_no[937], voted_yes[937], voting[937], ],[voted_no[938], voted_yes[938], voting[938], ],[voted_no[939], voted_yes[939], voting[939], ],[voted_no[940], voted_yes[940], voting[940], ],[voted_no[941], voted_yes[941], voting[941], ],[voted_no[942], voted_yes[942], voting[942], ],[voted_no[943], voted_yes[943], voting[943], ],[voted_no[944], voted_yes[944], voting[944], ],[voted_no[945], voted_yes[945], voting[945], ],[voted_no[946], voted_yes[946], voting[946], ],[voted_no[947], voted_yes[947], voting[947], ],[voted_no[948], voted_yes[948], voting[948], ],[voted_no[949], voted_yes[949], voting[949], ],[voted_no[950], voted_yes[950], voting[950], ],[voted_no[951], voted_yes[951], voting[951], ],[voted_no[952], voted_yes[952], voting[952], ],[voted_no[953], voted_yes[953], voting[953], ],[voted_no[954], voted_yes[954], voting[954], ],[voted_no[955], voted_yes[955], voting[955], ],[voted_no[956], voted_yes[956], voting[956], ],[voted_no[957], voted_yes[957], voting[957], ],[voted_no[958], voted_yes[958], voting[958], ],[voted_no[959], voted_yes[959], voting[959], ],[voted_no[960], voted_yes[960], voting[960], ],[voted_no[961], voted_yes[961], voting[961], ],[voted_no[962], voted_yes[962], voting[962], ],[voted_no[963], voted_yes[963], voting[963], ],[voted_no[964], voted_yes[964], voting[964], ],[voted_no[965], voted_yes[965], voting[965], ],[voted_no[966], voted_yes[966], voting[966], ],[voted_no[967], voted_yes[967], voting[967], ],[voted_no[968], voted_yes[968], voting[968], ],[voted_no[969], voted_yes[969], voting[969], ],[voted_no[970], voted_yes[970], voting[970], ],[voted_no[971], voted_yes[971], voting[971], ],[voted_no[972], voted_yes[972], voting[972], ],[voted_no[973], voted_yes[973], voting[973], ],[voted_no[974], voted_yes[974], voting[974], ],[voted_no[975], voted_yes[975], voting[975], ],[voted_no[976], voted_yes[976], voting[976], ],[voted_no[977], voted_yes[977], voting[977], ],[voted_no[978], voted_yes[978], voting[978], ],[voted_no[979], voted_yes[979], voting[979], ],[voted_no[980], voted_yes[980], voting[980], ],[voted_no[981], voted_yes[981], voting[981], ],[voted_no[982], voted_yes[982], voting[982], ],[voted_no[983], voted_yes[983], voting[983], ],[voted_no[984], voted_yes[984], voting[984], ],[voted_no[985], voted_yes[985], voting[985], ],[voted_no[986], voted_yes[986], voting[986], ],[voted_no[987], voted_yes[987], voting[987], ],[voted_no[988], voted_yes[988], voting[988], ],[voted_no[989], voted_yes[989], voting[989], ],[voted_no[990], voted_yes[990], voting[990], ],[voted_no[991], voted_yes[991], voting[991], ],[voted_no[992], voted_yes[992], voting[992], ],[voted_no[993], voted_yes[993], voting[993], ],[voted_no[994], voted_yes[994], voting[994], ],[voted_no[995], voted_yes[995], voting[995], ],[voted_no[996], voted_yes[996], voting[996], ],[voted_no[997], voted_yes[997], voting[997], ],[voted_no[998], voted_yes[998], voting[998], ],[voted_no[999], voted_yes[999], voting[999], ],
May 30, 2017 8:27:17 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array voted_no to variables to allow decomposition.
May 30, 2017 8:27:18 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array voted_yes to variables to allow decomposition.
May 30, 2017 8:27:19 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array voting to variables to allow decomposition.
May 30, 2017 8:27:23 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/BenchKit/INPUTS/Referendum-COL-1000/LTLCardinality.gal : 102 ms
May 30, 2017 8:27:23 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/BenchKit/INPUTS/Referendum-COL-1000/LTLCardinality.ltl : 66 ms
Segmentation fault
Segmentation fault
Segmentation fault
Segmentation fault
Bus error
Segmentation fault
Bus error
Segmentation fault
Bus error
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="Referendum-COL-1000"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="spot"
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/Referendum-COL-1000.tgz
mv Referendum-COL-1000 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool spot"
echo " Input is Referendum-COL-1000, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r206-smll-149581169600113"
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 '
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 ;