dp_type(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_Request).
dp_type(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_Request).
dp_type(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_Request).
dp_type(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_Request).
dp_type(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_Request).
dp_type(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_Request).
dp_type(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_Request).
dp_type(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_Request).
dp_type(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_Request).
dp_type(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_Request).
dp_type(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_Request).
dp_type(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_Request).
dp_type(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_Request).
dp_type(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_Request).
dp_type(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_Request).
dp_type(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_Request).
dp_type(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_Request).
dp_type(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_Request).
dp_type(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_Request).
dp_type(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_Request).
dp_type(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_Request).
dp_type(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_Request).
dp_type(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_Request).
dp_type(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_Request).
dp_type(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_Request).
dp_type(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_Request).
dp_type(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_SendFork).
dp_type(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_SendFork).
dp_type(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_SendFork).
dp_type(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_SendFork).
dp_type(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_SendFork).
dp_type(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_SendFork).
dp_type(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_SendFork).
dp_type(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_SendFork).
dp_type(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_SendFork).
dp_type(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_SendFork).
dp_type(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_SendFork).
dp_type(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_SendFork).
dp_type(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_SendFork).
dp_type(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_SendFork).
dp_type(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_SendFork).
dp_type(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_SendFork).
dp_type(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_SendFork).
dp_type(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_SendFork).
dp_type(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_SendFork).
dp_type(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_SendFork).
dp_type(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_SendFork).
dp_type(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_SendFork).
dp_type(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_SendFork).
dp_type(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_SendFork).
dp_type(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_SendFork).
dp_type(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_SendFork).
dp_type(dp_mP1_1, dp_Meal).
dp_type(dp_mP3_1, dp_Meal).
dp_type(dp_mP2_1, dp_Meal).
dp_type(dp_mP4_1, dp_Meal).
dp_type(dp_mP5_1, dp_Meal).
dp_type(dp_mP1_2, dp_Meal).
dp_type(dp_mP3_2, dp_Meal).
dp_type(dp_mP2_2, dp_Meal).
dp_type(dp_mP4_2, dp_Meal).
dp_type(dp_mP5_2, dp_Meal).
dp_type(dp_mP1_3, dp_Meal).
dp_type(dp_mP3_3, dp_Meal).
dp_type(dp_mP2_3, dp_Meal).
dp_type(dp_mP4_3, dp_Meal).
dp_type(dp_mP5_3, dp_Meal).
dp_in(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_C0).
dp_in(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_C2).
dp_in(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_C2).
dp_in(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_C4).
dp_in(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_C6).
dp_in(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_C6).
dp_in(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_C8).
dp_in(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_C8).
dp_in(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_C10).
dp_in(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_C12).
dp_in(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_C12).
dp_in(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_C14).
dp_in(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_C14).
dp_in(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_C16).
dp_in(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_C2).
dp_in(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_C4).
dp_in(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_C6).
dp_in(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_C6).
dp_in(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_C8).
dp_in(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_C8).
dp_in(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_C10).
dp_in(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_C12).
dp_in(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_C12).
dp_in(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_C14).
dp_in(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_C14).
dp_in(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_C16).
dp_in(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_C0).
dp_in(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_C2).
dp_in(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_C2).
dp_in(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_C4).
dp_in(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_C6).
dp_in(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_C6).
dp_in(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_C8).
dp_in(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_C8).
dp_in(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_C10).
dp_in(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_C12).
dp_in(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_C12).
dp_in(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_C14).
dp_in(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_C14).
dp_in(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_C16).
dp_in(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_C2).
dp_in(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_C4).
dp_in(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_C6).
dp_in(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_C6).
dp_in(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_C8).
dp_in(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_C8).
dp_in(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_C10).
dp_in(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_C12).
dp_in(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_C12).
dp_in(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_C14).
dp_in(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_C14).
dp_in(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_C16).
dp_from(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_P3).
dp_from(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_P2).
dp_from(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_P4).
dp_from(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_P5).
dp_from(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_P1).
dp_from(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_P3).
dp_from(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_P2).
dp_from(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_P4).
dp_from(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_P5).
dp_from(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_P1).
dp_from(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_P3).
dp_from(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_P2).
dp_from(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_P4).
dp_from(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_P5).
dp_from(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_P2).
dp_from(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_P5).
dp_from(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_P1).
dp_from(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_P3).
dp_from(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_P2).
dp_from(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_P4).
dp_from(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_P5).
dp_from(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_P1).
dp_from(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_P3).
dp_from(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_P2).
dp_from(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_P4).
dp_from(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_P5).
dp_from(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_P2).
dp_from(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_P1).
dp_from(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_P3).
dp_from(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_P4).
dp_from(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_P5).
dp_from(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_P2).
dp_from(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_P1).
dp_from(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_P3).
dp_from(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_P4).
dp_from(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_P5).
dp_from(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_P2).
dp_from(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_P1).
dp_from(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_P3).
dp_from(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_P4).
dp_from(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_P3).
dp_from(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_P1).
dp_from(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_P2).
dp_from(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_P4).
dp_from(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_P3).
dp_from(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_P5).
dp_from(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_P1).
dp_from(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_P2).
dp_from(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_P4).
dp_from(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_P3).
dp_from(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_P5).
dp_from(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_P1).
dp_to(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_P2).
dp_to(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_P1).
dp_to(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_P3).
dp_to(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_P4).
dp_to(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_P5).
dp_to(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_P2).
dp_to(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_P1).
dp_to(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_P3).
dp_to(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_P4).
dp_to(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_P5).
dp_to(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_P2).
dp_to(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_P1).
dp_to(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_P3).
dp_to(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_P4).
dp_to(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_P3).
dp_to(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_P1).
dp_to(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_P2).
dp_to(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_P4).
dp_to(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_P3).
dp_to(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_P5).
dp_to(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_P1).
dp_to(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_P2).
dp_to(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_P4).
dp_to(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_P3).
dp_to(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_P5).
dp_to(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_P1).
dp_to(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_P3).
dp_to(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_P2).
dp_to(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_P4).
dp_to(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_P5).
dp_to(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_P1).
dp_to(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_P3).
dp_to(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_P2).
dp_to(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_P4).
dp_to(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_P5).
dp_to(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_P1).
dp_to(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_P3).
dp_to(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_P2).
dp_to(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_P4).
dp_to(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_P5).
dp_to(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_P2).
dp_to(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_P5).
dp_to(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_P1).
dp_to(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_P3).
dp_to(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_P2).
dp_to(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_P4).
dp_to(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_P5).
dp_to(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_P1).
dp_to(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_P3).
dp_to(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_P2).
dp_to(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_P4).
dp_to(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_P5).
dp_fork(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_F23).
dp_fork(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_F12).
dp_fork(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_F34).
dp_fork(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_F45).
dp_fork(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_F51).
dp_fork(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_F23).
dp_fork(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_F12).
dp_fork(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_F34).
dp_fork(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_F45).
dp_fork(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_F51).
dp_fork(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_F23).
dp_fork(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_F12).
dp_fork(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_F34).
dp_fork(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_F45).
dp_fork(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_F23).
dp_fork(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_F51).
dp_fork(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_F12).
dp_fork(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_F34).
dp_fork(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_F23).
dp_fork(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_F45).
dp_fork(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_F51).
dp_fork(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_F12).
dp_fork(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_F34).
dp_fork(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_F23).
dp_fork(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_F45).
dp_fork(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_F51).
dp_fork(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_F23).
dp_fork(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_F12).
dp_fork(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_F34).
dp_fork(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_F45).
dp_fork(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_F51).
dp_fork(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_F23).
dp_fork(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_F12).
dp_fork(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_F34).
dp_fork(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_F45).
dp_fork(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_F51).
dp_fork(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_F23).
dp_fork(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_F12).
dp_fork(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_F34).
dp_fork(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_F45).
dp_fork(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_F23).
dp_fork(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_F51).
dp_fork(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_F12).
dp_fork(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_F34).
dp_fork(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_F23).
dp_fork(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_F45).
dp_fork(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_F51).
dp_fork(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_F12).
dp_fork(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_F34).
dp_fork(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_F23).
dp_fork(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_F45).
dp_fork(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_F51).
dp_philosopher(dp_mP1_1, dp_P1).
dp_philosopher(dp_mP3_1, dp_P3).
dp_philosopher(dp_mP2_1, dp_P2).
dp_philosopher(dp_mP4_1, dp_P4).
dp_philosopher(dp_mP5_1, dp_P5).
dp_philosopher(dp_mP1_2, dp_P1).
dp_philosopher(dp_mP3_2, dp_P3).
dp_philosopher(dp_mP2_2, dp_P2).
dp_philosopher(dp_mP4_2, dp_P4).
dp_philosopher(dp_mP5_2, dp_P5).
dp_philosopher(dp_mP1_3, dp_P1).
dp_philosopher(dp_mP3_3, dp_P3).
dp_philosopher(dp_mP2_3, dp_P2).
dp_philosopher(dp_mP4_3, dp_P4).
dp_philosopher(dp_mP5_3, dp_P5).
dp_mealNo(dp_mP1_1, 1).
dp_mealNo(dp_mP3_1, 1).
dp_mealNo(dp_mP2_1, 1).
dp_mealNo(dp_mP4_1, 1).
dp_mealNo(dp_mP5_1, 1).
dp_mealNo(dp_mP1_2, 2).
dp_mealNo(dp_mP3_2, 2).
dp_mealNo(dp_mP2_2, 2).
dp_mealNo(dp_mP4_2, 2).
dp_mealNo(dp_mP5_2, 2).
dp_mealNo(dp_mP1_3, 3).
dp_mealNo(dp_mP3_3, 3).
dp_mealNo(dp_mP2_3, 3).
dp_mealNo(dp_mP4_3, 3).
dp_mealNo(dp_mP5_3, 3).
dp_inSlot(dp_mP1_1, dp_s1).
dp_inSlot(dp_mP3_1, dp_s1).
dp_inSlot(dp_mP2_1, dp_s2).
dp_inSlot(dp_mP4_1, dp_s2).
dp_inSlot(dp_mP5_1, dp_s3).
dp_inSlot(dp_mP1_2, dp_s4).
dp_inSlot(dp_mP3_2, dp_s4).
dp_inSlot(dp_mP2_2, dp_s5).
dp_inSlot(dp_mP4_2, dp_s5).
dp_inSlot(dp_mP5_2, dp_s6).
dp_inSlot(dp_mP1_3, dp_s7).
dp_inSlot(dp_mP3_3, dp_s7).
dp_inSlot(dp_mP2_3, dp_s8).
dp_inSlot(dp_mP4_3, dp_s8).
dp_inSlot(dp_mP5_3, dp_s9).
dp_usesFork(dp_mP1_1, dp_F51).
dp_usesFork(dp_mP3_1, dp_F23).
dp_usesFork(dp_mP2_1, dp_F12).
dp_usesFork(dp_mP4_1, dp_F34).
dp_usesFork(dp_mP5_1, dp_F45).
dp_usesFork(dp_mP1_2, dp_F51).
dp_usesFork(dp_mP3_2, dp_F23).
dp_usesFork(dp_mP2_2, dp_F12).
dp_usesFork(dp_mP4_2, dp_F34).
dp_usesFork(dp_mP5_2, dp_F45).
dp_usesFork(dp_mP1_3, dp_F51).
dp_usesFork(dp_mP3_3, dp_F23).
dp_usesFork(dp_mP2_3, dp_F12).
dp_usesFork(dp_mP4_3, dp_F34).
dp_usesFork(dp_mP5_3, dp_F45).
dp_usesFork(dp_mP1_1, dp_F12).
dp_usesFork(dp_mP3_1, dp_F34).
dp_usesFork(dp_mP2_1, dp_F23).
dp_usesFork(dp_mP4_1, dp_F45).
dp_usesFork(dp_mP5_1, dp_F51).
dp_usesFork(dp_mP1_2, dp_F12).
dp_usesFork(dp_mP3_2, dp_F34).
dp_usesFork(dp_mP2_2, dp_F23).
dp_usesFork(dp_mP4_2, dp_F45).
dp_usesFork(dp_mP5_2, dp_F51).
dp_usesFork(dp_mP1_3, dp_F12).
dp_usesFork(dp_mP3_3, dp_F34).
dp_usesFork(dp_mP2_3, dp_F23).
dp_usesFork(dp_mP4_3, dp_F45).
dp_usesFork(dp_mP5_3, dp_F51).