4901int readerCount0 = ReaderCount; 5032int readerCount1 = ReaderCount; 5122int readerCount2 = ReaderCount; 5219int readerCount3 = ReaderCount; 5279int readerCount4 = ReaderCount; 5339int readerCount5 = ReaderCount; 5413int readerCount6 = ReaderCount; 5530int readerCount7 = ReaderCount; 5654int readerCount8 = ReaderCount; 5753int readerCount9 = ReaderCount; 5833int readerCount10 = ReaderCount; 5910int readerCount11 = ReaderCount; 6073int readerCount12 = ReaderCount; 6155int readerCount13 = ReaderCount; 6227int readerCount14 = ReaderCount; 6303int readerCount15 = ReaderCount; 6385int readerCount16 = ReaderCount; 6457int readerCount17 = ReaderCount; 6514int readerCount18 = ReaderCount; 6607int readerCount19 = ReaderCount; 6676int readerCount20 = ReaderCount; 6745int readerCount21 = ReaderCount; 6857int readerCount22 = ReaderCount; 6921int readerCount23 = ReaderCount; 6990int readerCount24 = ReaderCount; 7153int readerCount25 = ReaderCount; 7209int readerCount26 = ReaderCount; 7277int readerCount27 = ReaderCount; 7349int readerCount28 = ReaderCount; 7417int readerCount29 = ReaderCount; 7481int readerCount30 = ReaderCount; 7545int readerCount31 = ReaderCount; 7605int readerCount32 = ReaderCount; 7675int readerCount33 = ReaderCount; 7767int readerCount34 = ReaderCount; 7877int readerCount35 = ReaderCount; 7957int readerCount36 = ReaderCount; 8037int readerCount37 = ReaderCount; 8114int readerCount38 = ReaderCount; 8208int readerCount39 = ReaderCount; 8281int readerCount40 = ReaderCount; 8393int readerCount41 = ReaderCount; 8580int readerCount42 = ReaderCount; 8688int readerCount43 = ReaderCount; 8765int readerCount44 = ReaderCount; 8854int readerCount45 = ReaderCount; 8931int readerCount46 = ReaderCount; 9020int readerCount47 = ReaderCount; 9124int readerCount48 = ReaderCount; 9212int readerCount49 = ReaderCount; 9312int readerCount50 = ReaderCount; 9404int readerCount51 = ReaderCount; 9612int readerCount52 = ReaderCount; 9696int readerCount53 = ReaderCount; 9780int readerCount54 = ReaderCount; 9864int readerCount55 = ReaderCount; 9948int readerCount56 = ReaderCount; 10032int readerCount57 = ReaderCount; 10116int readerCount58 = ReaderCount; 10200int readerCount59 = ReaderCount; 10284int readerCount60 = ReaderCount; 10368int readerCount61 = ReaderCount; 10452int readerCount62 = ReaderCount; 10536int readerCount63 = ReaderCount; 10616int readerCount64 = ReaderCount; 10789int readerCount65 = ReaderCount; 10912int readerCount66 = ReaderCount; 11006int readerCount67 = ReaderCount; 11087int readerCount68 = ReaderCount; 11182int readerCount69 = ReaderCount; 11293int readerCount70 = ReaderCount; 11426int readerCount71 = ReaderCount; 11521int readerCount72 = ReaderCount; 11659int readerCount73 = ReaderCount; 11744int readerCount74 = ReaderCount; 11886int readerCount75 = ReaderCount; 11962int readerCount76 = ReaderCount; 12051int readerCount77 = ReaderCount; 12157int readerCount78 = ReaderCount; 12385int readerCount79 = ReaderCount; 12474int readerCount80 = ReaderCount; 12595int readerCount81 = ReaderCount; 12715int readerCount82 = ReaderCount; 12815int readerCount83 = ReaderCount; 12896int readerCount84 = ReaderCount; 13026int readerCount85 = ReaderCount; 13106int readerCount86 = ReaderCount; 13186int readerCount87 = ReaderCount;