1: philosopher 1: becomes thinking
2: philosopher 2: becomes thinking
3: philosopher 3: becomes thinking
4: philosopher 4: becomes thinking
5: philosopher 5: becomes thinking
6: philosopher 4: picks up a fork 4
7: philosopher 4: picks up a fork 5
8: philosopher 4: becomes eating
9: philosopher 5: picks up a fork 1
10: philosopher 1: picks up a fork 2
11: philosopher 4: releases a fork 5
12: philosopher 4: releases a fork 4
13: philosopher 4: becomes thinking
14: philosopher 5: picks up a fork 5
15: philosopher 5: becomes eating
16: philosopher 3: picks up a fork 4
17: philosopher 3: picks up a fork 3
18: philosopher 3: becomes eating
19: philosopher 5: releases a fork 5
20: philosopher 5: releases a fork 1
21: philosopher 5: becomes thinking
22: philosopher 1: picks up a fork 1
23: philosopher 1: becomes eating
24: philosopher 3: releases a fork 3
25: philosopher 3: releases a fork 4
26: philosopher 3: becomes thinking
27: philosopher 4: picks up a fork 4
28: philosopher 4: picks up a fork 5
29: philosopher 4: becomes eating
30: philosopher 1: releases a fork 1
31: philosopher 1: releases a fork 2
32: philosopher 1: becomes thinking
33: philosopher 2: picks up a fork 2
34: philosopher 2: picks up a fork 3
35: philosopher 2: becomes eating
36: philosopher 5: picks up a fork 1
37: philosopher 4: releases a fork 5
38: philosopher 4: releases a fork 4
39: philosopher 4: becomes thinking
40: philosopher 3: picks up a fork 4
41: philosopher 5: picks up a fork 5
42: philosopher 5: becomes eating
43: philosopher 2: releases a fork 3
44: philosopher 2: releases a fork 2
45: philosopher 2: becomes thinking
46: philosopher 1: picks up a fork 2
47: philosopher 3: picks up a fork 3
48: philosopher 3: becomes eating
49: philosopher 5: releases a fork 5
50: philosopher 5: releases a fork 1
51: philosopher 5: becomes thinking
52: philosopher 1: picks up a fork 1
53: philosopher 1: becomes eating
54: philosopher 3: releases a fork 3
55: philosopher 3: releases a fork 4
56: philosopher 3: becomes thinking
57: philosopher 4: picks up a fork 4
58: philosopher 4: picks up a fork 5
59: philosopher 4: becomes eating
60: philosopher 4: releases a fork 5
61: philosopher 4: releases a fork 4
62: philosopher 4: becomes thinking
63: philosopher 3: picks up a fork 4
64: philosopher 3: picks up a fork 3
65: philosopher 3: becomes eating
66: philosopher 1: releases a fork 1
67: philosopher 1: releases a fork 2
68: philosopher 1: becomes thinking
69: philosopher 2: picks up a fork 2
70: philosopher 5: picks up a fork 1
71: philosopher 5: picks up a fork 5
72: philosopher 5: becomes eating
73: philosopher 5: releases a fork 5
74: philosopher 5: releases a fork 1
75: philosopher 5: becomes thinking
76: philosopher 3: releases a fork 3
77: philosopher 3: releases a fork 4
78: philosopher 2: picks up a fork 3
79: philosopher 3: becomes thinking
80: philosopher 4: picks up a fork 4
81: philosopher 2: becomes eating
82: philosopher 4: picks up a fork 5
83: philosopher 4: becomes eating
84: philosopher 4: releases a fork 5
85: philosopher 4: releases a fork 4
86: philosopher 4: becomes thinking
87: philosopher 4: picks up a fork 4
88: philosopher 4: picks up a fork 5
89: philosopher 4: becomes eating
90: philosopher 5: picks up a fork 1
91: philosopher 2: releases a fork 3
92: philosopher 2: releases a fork 2
93: philosopher 2: becomes thinking
94: philosopher 1: picks up a fork 2
95: philosopher 4: releases a fork 5
96: philosopher 4: releases a fork 4
97: philosopher 5: picks up a fork 5
98: philosopher 4: becomes thinking
99: philosopher 3: picks up a fork 4
100: philosopher 5: becomes eating
101: philosopher 3: picks up a fork 3
102: philosopher 3: becomes eating
103: philosopher 3: releases a fork 3
104: philosopher 3: releases a fork 4
105: philosopher 3: becomes thinking
106: philosopher 4: picks up a fork 4
107: philosopher 5: releases a fork 5
108: philosopher 5: releases a fork 1
109: philosopher 5: becomes thinking
110: philosopher 4: picks up a fork 5
111: philosopher 1: picks up a fork 1
112: philosopher 4: becomes eating
113: philosopher 1: becomes eating
114: philosopher 4: releases a fork 5
115: philosopher 4: releases a fork 4
116: philosopher 4: becomes thinking
117: philosopher 3: picks up a fork 4
118: philosopher 3: picks up a fork 3
119: philosopher 3: becomes eating
120: philosopher 1: releases a fork 1
121: philosopher 1: releases a fork 2
122: philosopher 5: picks up a fork 1
123: philosopher 1: becomes thinking
124: philosopher 2: picks up a fork 2
125: philosopher 5: picks up a fork 5
126: philosopher 5: becomes eating
127: philosopher 5: releases a fork 5
128: philosopher 5: releases a fork 1
129: philosopher 5: becomes thinking
130: philosopher 3: releases a fork 3
131: philosopher 3: releases a fork 4
132: philosopher 2: picks up a fork 3
133: philosopher 3: becomes thinking
134: philosopher 2: becomes eating
135: philosopher 4: picks up a fork 4
136: philosopher 4: picks up a fork 5
137: philosopher 4: becomes eating
138: philosopher 5: picks up a fork 1
139: philosopher 2: releases a fork 3
140: philosopher 2: releases a fork 2
141: philosopher 2: becomes thinking
142: philosopher 1: picks up a fork 2
143: philosopher 4: releases a fork 5
144: philosopher 4: releases a fork 4
145: philosopher 4: becomes thinking
146: philosopher 5: picks up a fork 5
147: philosopher 3: picks up a fork 4
148: philosopher 5: becomes eating
149: philosopher 3: picks up a fork 3
150: philosopher 3: becomes eating
151: philosopher 5: releases a fork 5
152: philosopher 5: releases a fork 1
153: philosopher 5: becomes thinking
154: philosopher 1: picks up a fork 1
155: philosopher 1: becomes eating
156: philosopher 3: releases a fork 3
157: philosopher 3: releases a fork 4
158: philosopher 3: becomes thinking
159: philosopher 4: picks up a fork 4
160: philosopher 4: picks up a fork 5
161: philosopher 4: becomes eating
162: philosopher 1: releases a fork 1
163: philosopher 1: releases a fork 2
164: philosopher 5: picks up a fork 1
165: philosopher 1: becomes thinking
166: philosopher 2: picks up a fork 2
167: philosopher 2: picks up a fork 3
168: philosopher 2: becomes eating
169: philosopher 4: releases a fork 5
170: philosopher 4: releases a fork 4
171: philosopher 5: picks up a fork 5
172: philosopher 4: becomes thinking
173: philosopher 3: picks up a fork 4
174: philosopher 5: becomes eating
175: philosopher 5: releases a fork 5
176: philosopher 5: releases a fork 1
177: philosopher 5: becomes thinking
178: philosopher 2: releases a fork 3
179: philosopher 2: releases a fork 2
180: philosopher 3: picks up a fork 3
181: philosopher 2: becomes thinking
182: philosopher 1: picks up a fork 2
183: philosopher 3: becomes eating
184: philosopher 1: picks up a fork 1
185: philosopher 1: becomes eating
186: philosopher 3: releases a fork 3
187: philosopher 3: releases a fork 4
188: philosopher 3: becomes thinking
189: philosopher 4: picks up a fork 4
190: philosopher 4: picks up a fork 5
191: philosopher 4: becomes eating
192: philosopher 1: releases a fork 1
193: philosopher 1: releases a fork 2
194: philosopher 1: becomes thinking
195: philosopher 5: picks up a fork 1
196: philosopher 2: picks up a fork 2
197: philosopher 2: picks up a fork 3
198: philosopher 2: becomes eating
199: philosopher 4: releases a fork 5
200: philosopher 4: releases a fork 4
201: philosopher 5: picks up a fork 5
202: philosopher 4: becomes thinking
203: philosopher 5: becomes eating
204: philosopher 3: picks up a fork 4
205: philosopher 2: releases a fork 3
206: philosopher 2: releases a fork 2
207: philosopher 2: becomes thinking
208: philosopher 1: picks up a fork 2
209: philosopher 3: picks up a fork 3
210: philosopher 3: becomes eating
211: philosopher 5: releases a fork 5
212: philosopher 5: releases a fork 1
213: philosopher 5: becomes thinking
214: philosopher 1: picks up a fork 1
215: philosopher 1: becomes eating
216: philosopher 1: releases a fork 1
217: philosopher 1: releases a fork 2
218: philosopher 1: becomes thinking
219: philosopher 5: picks up a fork 1
220: philosopher 5: picks up a fork 5
221: philosopher 5: becomes eating
222: philosopher 2: picks up a fork 2
223: philosopher 3: releases a fork 3
224: philosopher 3: releases a fork 4
225: philosopher 2: picks up a fork 3
226: philosopher 3: becomes thinking
227: philosopher 4: picks up a fork 4
228: philosopher 2: becomes eating
229: philosopher 5: releases a fork 5
230: philosopher 5: releases a fork 1
231: philosopher 5: becomes thinking
232: philosopher 4: picks up a fork 5
233: philosopher 4: becomes eating
234: philosopher 2: releases a fork 3
235: philosopher 2: releases a fork 2
236: philosopher 2: becomes thinking
237: philosopher 1: picks up a fork 2
238: philosopher 1: picks up a fork 1
239: philosopher 1: becomes eating
240: philosopher 1: releases a fork 1
241: philosopher 1: releases a fork 2
242: philosopher 1: becomes thinking
243: philosopher 1: picks up a fork 2
244: philosopher 1: picks up a fork 1
245: philosopher 1: becomes eating
246: philosopher 4: releases a fork 5
247: philosopher 4: releases a fork 4
248: philosopher 4: becomes thinking
249: philosopher 3: picks up a fork 4
250: philosopher 3: picks up a fork 3
251: philosopher 3: becomes eating
252: philosopher 3: releases a fork 3
253: philosopher 3: releases a fork 4
254: philosopher 3: becomes thinking
255: philosopher 1: releases a fork 1
256: philosopher 1: releases a fork 2
257: philosopher 1: becomes thinking
258: philosopher 5: picks up a fork 1
259: philosopher 5: picks up a fork 5
260: philosopher 2: picks up a fork 2
261: philosopher 5: becomes eating
262: philosopher 2: picks up a fork 3
263: philosopher 2: becomes eating
264: philosopher 4: picks up a fork 4
265: philosopher 2: releases a fork 3
266: philosopher 2: releases a fork 2
267: philosopher 2: becomes thinking
268: philosopher 5: releases a fork 5
269: philosopher 5: releases a fork 1
270: philosopher 5: becomes thinking
271: philosopher 4: picks up a fork 5
272: philosopher 4: becomes eating
273: philosopher 4: releases a fork 5
274: philosopher 4: releases a fork 4
275: philosopher 4: becomes thinking
276: philosopher 1: picks up a fork 2
277: philosopher 1: picks up a fork 1
278: philosopher 1: becomes eating
279: philosopher 3: picks up a fork 4
280: philosopher 3: picks up a fork 3
281: philosopher 3: becomes eating
282: philosopher 1: releases a fork 1
283: philosopher 1: releases a fork 2
284: philosopher 1: becomes thinking
285: philosopher 2: picks up a fork 2
286: philosopher 5: picks up a fork 1
287: philosopher 5: picks up a fork 5
288: philosopher 5: becomes eating
289: philosopher 3: releases a fork 3
290: philosopher 3: releases a fork 4
291: philosopher 3: becomes thinking
292: philosopher 4: picks up a fork 4
293: philosopher 2: picks up a fork 3
294: philosopher 2: becomes eating
295: philosopher 2: releases a fork 3
296: philosopher 2: releases a fork 2
297: philosopher 2: becomes thinking
298: philosopher 1: picks up a fork 2
299: philosopher 5: releases a fork 5
300: philosopher 5: releases a fork 1
301: philosopher 4: picks up a fork 5
302: philosopher 5: becomes thinking
303: philosopher 1: picks up a fork 1
304: philosopher 4: becomes eating
305: philosopher 1: becomes eating
306: philosopher 1: releases a fork 1
307: philosopher 1: releases a fork 2
308: philosopher 1: becomes thinking
309: philosopher 2: picks up a fork 2
310: philosopher 2: picks up a fork 3
311: philosopher 2: becomes eating
312: philosopher 5: picks up a fork 1
313: philosopher 2: releases a fork 3
314: philosopher 2: releases a fork 2
315: philosopher 2: becomes thinking
316: philosopher 4: releases a fork 5
317: philosopher 4: releases a fork 4
318: philosopher 5: picks up a fork 5
319: philosopher 4: becomes thinking
320: philosopher 3: picks up a fork 4
321: philosopher 5: becomes eating
322: philosopher 3: picks up a fork 3
323: philosopher 3: becomes eating
324: philosopher 1: picks up a fork 2
325: philosopher 5: releases a fork 5
326: philosopher 5: releases a fork 1
327: philosopher 5: becomes thinking
328: philosopher 1: picks up a fork 1
329: philosopher 1: becomes eating
330: philosopher 1: releases a fork 1
331: philosopher 1: releases a fork 2
332: philosopher 1: becomes thinking
333: philosopher 2: picks up a fork 2
334: philosopher 5: picks up a fork 1
335: philosopher 5: picks up a fork 5
336: philosopher 5: becomes eating
337: philosopher 3: releases a fork 3
338: philosopher 3: releases a fork 4
339: philosopher 3: becomes thinking
340: philosopher 4: picks up a fork 4
341: philosopher 2: picks up a fork 3
342: philosopher 2: becomes eating
343: philosopher 2: releases a fork 3
344: philosopher 2: releases a fork 2
345: philosopher 2: becomes thinking
346: philosopher 5: releases a fork 5
347: philosopher 5: releases a fork 1
348: philosopher 4: picks up a fork 5
349: philosopher 5: becomes thinking
350: philosopher 4: becomes eating
351: philosopher 1: picks up a fork 2
352: philosopher 1: picks up a fork 1
353: philosopher 1: becomes eating
354: philosopher 4: releases a fork 5
355: philosopher 4: releases a fork 4
356: philosopher 4: becomes thinking
357: philosopher 3: picks up a fork 4
358: philosopher 3: picks up a fork 3
359: philosopher 3: becomes eating
360: philosopher 1: releases a fork 1
361: philosopher 1: releases a fork 2
362: philosopher 1: becomes thinking
363: philosopher 2: picks up a fork 2
364: philosopher 5: picks up a fork 1
365: philosopher 5: picks up a fork 5
366: philosopher 5: becomes eating
367: philosopher 5: releases a fork 5
368: philosopher 5: releases a fork 1
369: philosopher 5: becomes thinking
370: philosopher 5: picks up a fork 1
371: philosopher 5: picks up a fork 5
372: philosopher 5: becomes eating
373: philosopher 5: releases a fork 5
374: philosopher 5: releases a fork 1
375: philosopher 5: becomes thinking
376: philosopher 3: releases a fork 3
377: philosopher 3: releases a fork 4
378: philosopher 3: becomes thinking
379: philosopher 4: picks up a fork 4
380: philosopher 4: picks up a fork 5
381: philosopher 4: becomes eating
382: philosopher 2: picks up a fork 3
383: philosopher 2: becomes eating
384: philosopher 5: picks up a fork 1
385: philosopher 4: releases a fork 5
386: philosopher 4: releases a fork 4
387: philosopher 4: becomes thinking
388: philosopher 5: picks up a fork 5
389: philosopher 5: becomes eating
390: philosopher 3: picks up a fork 4
391: philosopher 2: releases a fork 3
392: philosopher 2: releases a fork 2
393: philosopher 2: becomes thinking
394: philosopher 1: picks up a fork 2
395: philosopher 3: picks up a fork 3
396: philosopher 3: becomes eating
397: philosopher 5: releases a fork 5
398: philosopher 5: releases a fork 1
399: philosopher 5: becomes thinking
400: philosopher 1: picks up a fork 1
401: philosopher 1: becomes eating
402: philosopher 3: releases a fork 3
403: philosopher 3: releases a fork 4
404: philosopher 3: becomes thinking
405: philosopher 4: picks up a fork 4
406: philosopher 4: picks up a fork 5
407: philosopher 4: becomes eating
408: philosopher 1: releases a fork 1
409: philosopher 1: releases a fork 2
410: philosopher 1: becomes thinking
411: philosopher 2: picks up a fork 2
412: philosopher 2: picks up a fork 3
413: philosopher 2: becomes eating
414: philosopher 4: releases a fork 5
415: philosopher 4: releases a fork 4
416: philosopher 4: becomes thinking
417: philosopher 3: picks up a fork 4
418: philosopher 5: picks up a fork 1
419: philosopher 5: picks up a fork 5
420: philosopher 5: becomes eating
421: philosopher 5: releases a fork 5
422: philosopher 5: releases a fork 1
423: philosopher 5: becomes thinking
424: philosopher 5: picks up a fork 1
425: philosopher 5: picks up a fork 5
426: philosopher 5: becomes eating
427: philosopher 2: releases a fork 3
428: philosopher 2: releases a fork 2
429: philosopher 2: becomes thinking
430: philosopher 1: picks up a fork 2
431: philosopher 3: picks up a fork 3
432: philosopher 3: becomes eating
433: philosopher 5: releases a fork 5
434: philosopher 5: releases a fork 1
435: philosopher 5: becomes thinking
436: philosopher 1: picks up a fork 1
437: philosopher 1: becomes eating
438: philosopher 3: releases a fork 3
439: philosopher 3: releases a fork 4
440: philosopher 3: becomes thinking
441: philosopher 4: picks up a fork 4
442: philosopher 4: picks up a fork 5
443: philosopher 4: becomes eating
444: philosopher 1: releases a fork 1
445: philosopher 1: releases a fork 2
446: philosopher 1: becomes thinking
447: philosopher 2: picks up a fork 2
448: philosopher 2: picks up a fork 3
449: philosopher 2: becomes eating
450: philosopher 5: picks up a fork 1
451: philosopher 4: releases a fork 5
452: philosopher 4: releases a fork 4
453: philosopher 4: becomes thinking
454: philosopher 3: picks up a fork 4
455: philosopher 5: picks up a fork 5
456: philosopher 5: becomes eating
457: philosopher 5: releases a fork 5
458: philosopher 5: releases a fork 1
459: philosopher 5: becomes thinking
460: philosopher 5: picks up a fork 1
461: philosopher 5: picks up a fork 5
462: philosopher 5: becomes eating
463: philosopher 2: releases a fork 3
464: philosopher 2: releases a fork 2
465: philosopher 2: becomes thinking
466: philosopher 3: picks up a fork 3
467: philosopher 3: becomes eating
468: philosopher 1: picks up a fork 2
469: philosopher 3: releases a fork 3
470: philosopher 3: releases a fork 4
471: philosopher 3: becomes thinking
472: philosopher 4: picks up a fork 4
473: philosopher 5: releases a fork 5
474: philosopher 5: releases a fork 1
475: philosopher 4: picks up a fork 5
476: philosopher 1: picks up a fork 1
477: philosopher 4: becomes eating
478: philosopher 1: becomes eating
479: philosopher 4: releases a fork 5
480: philosopher 4: releases a fork 4
481: philosopher 4: becomes thinking
482: philosopher 3: picks up a fork 4
483: philosopher 3: picks up a fork 3
484: philosopher 3: becomes eating
485: philosopher 1: releases a fork 1
486: philosopher 1: releases a fork 2
487: philosopher 1: becomes thinking
488: philosopher 2: picks up a fork 2
489: philosopher 3: releases a fork 3
490: philosopher 3: releases a fork 4
491: philosopher 3: becomes thinking
492: philosopher 2: picks up a fork 3
493: philosopher 2: becomes eating
494: philosopher 4: picks up a fork 4
495: philosopher 4: picks up a fork 5
496: philosopher 4: becomes eating
497: philosopher 4: releases a fork 5
498: philosopher 4: releases a fork 4
499: philosopher 4: becomes thinking
500: philosopher 4: picks up a fork 4
501: philosopher 4: picks up a fork 5
502: philosopher 4: becomes eating
503: philosopher 4: releases a fork 5
504: philosopher 4: releases a fork 4
505: philosopher 4: becomes thinking
506: philosopher 3: picks up a fork 4
507: philosopher 2: releases a fork 3
508: philosopher 2: releases a fork 2
509: philosopher 2: becomes thinking
510: philosopher 1: picks up a fork 2
511: philosopher 1: picks up a fork 1
512: philosopher 1: becomes eating
513: philosopher 3: picks up a fork 3
514: philosopher 3: becomes eating
515: philosopher 3: releases a fork 3
516: philosopher 3: releases a fork 4
517: philosopher 3: becomes thinking
518: philosopher 4: picks up a fork 4
519: philosopher 4: picks up a fork 5
520: philosopher 4: becomes eating
521: philosopher 1: releases a fork 1
522: philosopher 1: releases a fork 2
523: philosopher 1: becomes thinking
524: philosopher 2: picks up a fork 2
525: philosopher 2: picks up a fork 3
526: philosopher 2: becomes eating
527: philosopher 4: releases a fork 5
528: philosopher 4: releases a fork 4
529: philosopher 3: picks up a fork 4
530: philosopher 2: releases a fork 3
531: philosopher 2: releases a fork 2
532: philosopher 2: becomes thinking
533: philosopher 3: picks up a fork 3
534: philosopher 3: becomes eating
535: philosopher 1: picks up a fork 2
536: philosopher 1: picks up a fork 1
537: philosopher 1: becomes eating
538: philosopher 1: releases a fork 1
539: philosopher 1: releases a fork 2
540: philosopher 1: becomes thinking
541: philosopher 2: picks up a fork 2
542: philosopher 3: releases a fork 3
543: philosopher 3: releases a fork 4
544: philosopher 3: becomes thinking
545: philosopher 2: picks up a fork 3
546: philosopher 2: becomes eating
547: philosopher 3: picks up a fork 4
548: philosopher 2: releases a fork 3
549: philosopher 2: releases a fork 2
550: philosopher 2: becomes thinking
551: philosopher 3: picks up a fork 3
552: philosopher 3: becomes eating
553: philosopher 1: picks up a fork 2
554: philosopher 1: picks up a fork 1
555: philosopher 1: becomes eating
556: philosopher 3: releases a fork 3
557: philosopher 3: releases a fork 4
558: philosopher 3: becomes thinking
559: philosopher 1: releases a fork 1
560: philosopher 1: releases a fork 2
561: philosopher 1: becomes thinking
562: philosopher 2: picks up a fork 2
563: philosopher 2: picks up a fork 3
564: philosopher 2: becomes eating
565: philosopher 3: picks up a fork 4
566: philosopher 2: releases a fork 3
567: philosopher 2: releases a fork 2
568: philosopher 2: becomes thinking
569: philosopher 1: picks up a fork 2
570: philosopher 1: picks up a fork 1
571: philosopher 1: becomes eating
572: philosopher 3: picks up a fork 3
573: philosopher 3: becomes eating
574: philosopher 1: releases a fork 1
575: philosopher 1: releases a fork 2
576: philosopher 1: becomes thinking
577: philosopher 3: releases a fork 3
578: philosopher 3: releases a fork 4
579: philosopher 1: picks up a fork 2
580: philosopher 1: picks up a fork 1
581: philosopher 1: becomes eating
582: philosopher 1: releases a fork 1
583: philosopher 1: releases a fork 2
584: philosopher 2: picks up a fork 2
585: philosopher 2: picks up a fork 3
586: philosopher 2: becomes eating
587: philosopher 2: releases a fork 3
588: philosopher 2: releases a fork 2
589: philosopher 2: becomes thinking
590: philosopher 2: picks up a fork 2
591: philosopher 2: picks up a fork 3
592: philosopher 2: becomes eating
593: philosopher 2: releases a fork 3
594: philosopher 2: releases a fork 2
595: philosopher 2: becomes thinking
596: philosopher 2: picks up a fork 2
597: philosopher 2: picks up a fork 3
598: philosopher 2: becomes eating
599: philosopher 2: releases a fork 3
600: philosopher 2: releases a fork 2