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).

clause(1, left_fork(dp_P1, dp_F51), true).
clause(2, right_fork(dp_P1, dp_F12), true).
clause(3, left_fork(dp_P2, dp_F12), true).
clause(4, right_fork(dp_P2, dp_F23), true).
clause(5, left_fork(dp_P3, dp_F23), true).
clause(6, right_fork(dp_P3, dp_F34), true).
clause(7, left_fork(dp_P4, dp_F34), true).
clause(8, right_fork(dp_P4, dp_F45), true).
clause(9, left_fork(dp_P5, dp_F45), true).
clause(10, right_fork(dp_P5, dp_F51), true).
clause(11, slot(dp_C0, dp_s1, 1), true).
clause(12, after_sends(dp_C0, dp_C1), true).
clause(14, slot(dp_C2, dp_s2, 1), true).
clause(15, after_sends(dp_C2, dp_C3), true).
clause(17, slot(dp_C4, dp_s3, 1), true).
clause(18, after_sends(dp_C4, dp_C5), true).
clause(20, slot(dp_C6, dp_s4, 2), true).
clause(21, after_sends(dp_C6, dp_C7), true).
clause(23, slot(dp_C8, dp_s5, 2), true).
clause(24, after_sends(dp_C8, dp_C9), true).
clause(26, slot(dp_C10, dp_s6, 2), true).
clause(27, after_sends(dp_C10, dp_C11), true).
clause(29, slot(dp_C12, dp_s7, 3), true).
clause(30, after_sends(dp_C12, dp_C13), true).
clause(32, slot(dp_C14, dp_s8, 3), true).
clause(33, after_sends(dp_C14, dp_C15), true).
clause(35, slot(dp_C16, dp_s9, 3), true).
clause(36, after_sends(dp_C16, dp_C17), true).
clause(38, hungry(dp_C0, dp_P1), true).
clause(39, hungry(dp_C0, dp_P3), true).
clause(40, hungry(dp_C2, dp_P2), true).
clause(41, hungry(dp_C2, dp_P4), true).
clause(42, hungry(dp_C4, dp_P5), true).
clause(43, hungry(dp_C6, dp_P1), true).
clause(44, hungry(dp_C6, dp_P3), true).
clause(45, hungry(dp_C8, dp_P2), true).
clause(46, hungry(dp_C8, dp_P4), true).
clause(47, hungry(dp_C10, dp_P5), true).
clause(48, hungry(dp_C12, dp_P1), true).
clause(49, hungry(dp_C12, dp_P3), true).
clause(50, hungry(dp_C14, dp_P2), true).
clause(51, hungry(dp_C14, dp_P4), true).
clause(52, hungry(dp_C16, dp_P5), true).
clause(53, start_state(dp_C0, dp_F12, dp_P1, dp_Dirty), true).
clause(54, start_state(dp_C0, dp_F23, dp_P2, dp_Dirty), true).
clause(55, start_state(dp_C0, dp_F34, dp_P3, dp_Dirty), true).
clause(57, start_state(dp_C0, dp_F51, dp_P1, dp_Dirty), true).
clause(58, start_state(dp_C2, dp_F12, dp_P1, dp_Dirty), true).
clause(59, start_state(dp_C2, dp_F23, dp_P3, dp_Dirty), true).
clause(60, start_state(dp_C2, dp_F34, dp_P3, dp_Dirty), true).
clause(61, start_state(dp_C2, dp_F45, dp_P4, dp_Dirty), true).
clause(66, start_state(dp_C4, dp_F45, dp_P4, dp_Dirty), true).
clause(67, start_state(dp_C4, dp_F51, dp_P1, dp_Dirty), true).
clause(68, start_state(dp_C6, dp_F12, dp_P2, dp_Dirty), true).
clause(69, start_state(dp_C6, dp_F23, dp_P2, dp_Dirty), true).
clause(70, start_state(dp_C6, dp_F34, dp_P4, dp_Dirty), true).
clause(72, start_state(dp_C6, dp_F51, dp_P5, dp_Dirty), true).
clause(73, start_state(dp_C8, dp_F12, dp_P1, dp_Dirty), true).
clause(74, start_state(dp_C8, dp_F23, dp_P3, dp_Dirty), true).
clause(75, start_state(dp_C8, dp_F34, dp_P3, dp_Dirty), true).
clause(76, start_state(dp_C8, dp_F45, dp_P5, dp_Dirty), true).
clause(81, start_state(dp_C10, dp_F45, dp_P4, dp_Dirty), true).
clause(82, start_state(dp_C10, dp_F51, dp_P1, dp_Dirty), true).
clause(83, start_state(dp_C12, dp_F12, dp_P2, dp_Dirty), true).
clause(84, start_state(dp_C12, dp_F23, dp_P2, dp_Dirty), true).
clause(85, start_state(dp_C12, dp_F34, dp_P4, dp_Dirty), true).
clause(87, start_state(dp_C12, dp_F51, dp_P5, dp_Dirty), true).
clause(88, start_state(dp_C14, dp_F12, dp_P1, dp_Dirty), true).
clause(89, start_state(dp_C14, dp_F23, dp_P3, dp_Dirty), true).
clause(90, start_state(dp_C14, dp_F34, dp_P3, dp_Dirty), true).
clause(91, start_state(dp_C14, dp_F45, dp_P5, dp_Dirty), true).
clause(96, start_state(dp_C16, dp_F45, dp_P4, dp_Dirty), true).
clause(97, start_state(dp_C16, dp_F51, dp_P1, dp_Dirty), true).
clause(98, keep(dp_C0, dp_F12), true).
clause(99, keep(dp_C0, dp_F34), true).
clause(101, keep(dp_C0, dp_F51), true).
clause(102, keep(dp_C2, dp_F45), true).
clause(117, meal_handle(dp_P1, 1, dp_mP1_1), true).
clause(118, meal_handle(dp_P1, 2, dp_mP1_2), true).
clause(119, meal_handle(dp_P1, 3, dp_mP1_3), true).
clause(120, meal_handle(dp_P2, 1, dp_mP2_1), true).
clause(121, meal_handle(dp_P2, 2, dp_mP2_2), true).
clause(122, meal_handle(dp_P2, 3, dp_mP2_3), true).
clause(123, meal_handle(dp_P3, 1, dp_mP3_1), true).
clause(124, meal_handle(dp_P3, 2, dp_mP3_2), true).
clause(125, meal_handle(dp_P3, 3, dp_mP3_3), true).
clause(126, meal_handle(dp_P4, 1, dp_mP4_1), true).
clause(127, meal_handle(dp_P4, 2, dp_mP4_2), true).
clause(128, meal_handle(dp_P4, 3, dp_mP4_3), true).
clause(129, meal_handle(dp_P5, 1, dp_mP5_1), true).
clause(130, meal_handle(dp_P5, 2, dp_mP5_2), true).
clause(131, meal_handle(dp_P5, 3, dp_mP5_3), true).
clause(132,
       request(var('C'), var('P'), var('Q'), var('F')),
       (hungry(var('C'), var('P')),
        left_fork(var('P'), var('F')),
        start_state(var('C'), var('F'), var('Q'), anonymous(1)),
        var('Q') \= var('P'))).
clause(133,
       request(var('C'), var('P'), var('Q'), var('F')),
       (hungry(var('C'), var('P')),
        right_fork(var('P'), var('F')),
        start_state(var('C'), var('F'), var('Q'), anonymous(1)),
        var('Q') \= var('P'))).
clause(134,
       send_fork(var('C'), var('Q'), var('P'), var('F')),
       (request(var('C'), var('P'), var('Q'), var('F')),
        start_state(var('C'), var('F'), var('Q'), dp_Dirty))).
clause(135,
       after_send_state(var('Cs'), var('F'), var('P'), dp_Clean),
       (after_sends(var('C'), var('Cs')), send_fork(var('C'), anonymous(1), var('P'), var('F')))).
clause(136,
       after_send_state(var('Cs'), var('F'), var('H'), var('Cleanliness')),
       (after_sends(var('C'), var('Cs')),
        keep(var('C'), var('F')),
        start_state(var('C'), var('F'), var('H'), var('Cleanliness')))).
clause(137,
       meal(var('M'), var('P'), var('N'), var('S')),
       (after_sends(var('C'), var('Cs')),
        slot(var('C'), var('S'), var('N')),
        hungry(var('C'), var('P')),
        meal_handle(var('P'), var('N'), var('M')),
        left_fork(var('P'), var('Lf')),
        right_fork(var('P'), var('Rf')),
        after_send_state(var('Cs'), var('Lf'), var('P'), anonymous(1)),
        after_send_state(var('Cs'), var('Rf'), var('P'), anonymous(2)))).
clause(138,
       dp_type(request(var('C'), var('P'), var('Q'), var('F')), dp_Request),
       request(var('C'), var('P'), var('Q'), var('F'))).
clause(139,
       dp_in(request(var('C'), var('P'), var('Q'), var('F')), var('C')),
       request(var('C'), var('P'), var('Q'), var('F'))).
clause(140,
       dp_from(request(var('C'), var('P'), var('Q'), var('F')), var('P')),
       request(var('C'), var('P'), var('Q'), var('F'))).
clause(141,
       dp_to(request(var('C'), var('P'), var('Q'), var('F')), var('Q')),
       request(var('C'), var('P'), var('Q'), var('F'))).
clause(142,
       dp_fork(request(var('C'), var('P'), var('Q'), var('F')), var('F')),
       request(var('C'), var('P'), var('Q'), var('F'))).
clause(143,
       dp_type(send(var('C'), var('Q'), var('P'), var('F')), dp_SendFork),
       send_fork(var('C'), var('Q'), var('P'), var('F'))).
clause(144,
       dp_in(send(var('C'), var('Q'), var('P'), var('F')), var('C')),
       send_fork(var('C'), var('Q'), var('P'), var('F'))).
clause(145,
       dp_from(send(var('C'), var('Q'), var('P'), var('F')), var('Q')),
       send_fork(var('C'), var('Q'), var('P'), var('F'))).
clause(146,
       dp_to(send(var('C'), var('Q'), var('P'), var('F')), var('P')),
       send_fork(var('C'), var('Q'), var('P'), var('F'))).
clause(147,
       dp_fork(send(var('C'), var('Q'), var('P'), var('F')), var('F')),
       send_fork(var('C'), var('Q'), var('P'), var('F'))).
clause(148,
       dp_type(var('M'), dp_Meal),
       meal(var('M'), anonymous(1), anonymous(2), anonymous(3))).
clause(149,
       dp_philosopher(var('M'), var('P')),
       meal(var('M'), var('P'), anonymous(1), anonymous(2))).
clause(150, dp_mealNo(var('M'), var('N')), meal(var('M'), anonymous(1), var('N'), anonymous(2))).
clause(151, dp_inSlot(var('M'), var('S')), meal(var('M'), anonymous(1), anonymous(2), var('S'))).
clause(152,
       dp_usesFork(var('M'), var('Lf')),
       (meal(var('M'), var('P'), anonymous(1), anonymous(2)), left_fork(var('P'), var('Lf')))).
clause(153,
       dp_usesFork(var('M'), var('Rf')),
       (meal(var('M'), var('P'), anonymous(1), anonymous(2)), right_fork(var('P'), var('Rf')))).

step(dp_type(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_Request),
     rule(138),
     ['C' = dp_C0, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C0, dp_P3, dp_P2, dp_F23)]).
step(request(dp_C0, dp_P3, dp_P2, dp_F23),
     rule(132),
     ['C' = dp_C0, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [hungry(dp_C0, dp_P3),
      left_fork(dp_P3, dp_F23),
      start_state(dp_C0, dp_F23, dp_P2, dp_Dirty),
      dp_P2 \= dp_P3]).
step(hungry(dp_C0, dp_P3), fact(39), [], []).
step(left_fork(dp_P3, dp_F23), fact(5), [], []).
step(start_state(dp_C0, dp_F23, dp_P2, dp_Dirty), fact(54), [], []).
step(dp_P2 \= dp_P3, builtin, [], []).
step(dp_type(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_Request),
     rule(138),
     ['C' = dp_C2, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C2, dp_P2, dp_P1, dp_F12)]).
step(request(dp_C2, dp_P2, dp_P1, dp_F12),
     rule(132),
     ['C' = dp_C2, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [hungry(dp_C2, dp_P2),
      left_fork(dp_P2, dp_F12),
      start_state(dp_C2, dp_F12, dp_P1, dp_Dirty),
      dp_P1 \= dp_P2]).
step(hungry(dp_C2, dp_P2), fact(40), [], []).
step(left_fork(dp_P2, dp_F12), fact(3), [], []).
step(start_state(dp_C2, dp_F12, dp_P1, dp_Dirty), fact(58), [], []).
step(dp_P1 \= dp_P2, builtin, [], []).
step(dp_type(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_Request),
     rule(138),
     ['C' = dp_C2, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C2, dp_P4, dp_P3, dp_F34)]).
step(request(dp_C2, dp_P4, dp_P3, dp_F34),
     rule(132),
     ['C' = dp_C2, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [hungry(dp_C2, dp_P4),
      left_fork(dp_P4, dp_F34),
      start_state(dp_C2, dp_F34, dp_P3, dp_Dirty),
      dp_P3 \= dp_P4]).
step(hungry(dp_C2, dp_P4), fact(41), [], []).
step(left_fork(dp_P4, dp_F34), fact(7), [], []).
step(start_state(dp_C2, dp_F34, dp_P3, dp_Dirty), fact(60), [], []).
step(dp_P3 \= dp_P4, builtin, [], []).
step(dp_type(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_Request),
     rule(138),
     ['C' = dp_C4, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C4, dp_P5, dp_P4, dp_F45)]).
step(request(dp_C4, dp_P5, dp_P4, dp_F45),
     rule(132),
     ['C' = dp_C4, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [hungry(dp_C4, dp_P5),
      left_fork(dp_P5, dp_F45),
      start_state(dp_C4, dp_F45, dp_P4, dp_Dirty),
      dp_P4 \= dp_P5]).
step(hungry(dp_C4, dp_P5), fact(42), [], []).
step(left_fork(dp_P5, dp_F45), fact(9), [], []).
step(start_state(dp_C4, dp_F45, dp_P4, dp_Dirty), fact(66), [], []).
step(dp_P4 \= dp_P5, builtin, [], []).
step(dp_type(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_Request),
     rule(138),
     ['C' = dp_C6, 'P' = dp_P1, 'Q' = dp_P5, 'F' = dp_F51],
     [request(dp_C6, dp_P1, dp_P5, dp_F51)]).
step(request(dp_C6, dp_P1, dp_P5, dp_F51),
     rule(132),
     ['C' = dp_C6, 'P' = dp_P1, 'Q' = dp_P5, 'F' = dp_F51],
     [hungry(dp_C6, dp_P1),
      left_fork(dp_P1, dp_F51),
      start_state(dp_C6, dp_F51, dp_P5, dp_Dirty),
      dp_P5 \= dp_P1]).
step(hungry(dp_C6, dp_P1), fact(43), [], []).
step(left_fork(dp_P1, dp_F51), fact(1), [], []).
step(start_state(dp_C6, dp_F51, dp_P5, dp_Dirty), fact(72), [], []).
step(dp_P5 \= dp_P1, builtin, [], []).
step(dp_type(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_Request),
     rule(138),
     ['C' = dp_C6, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C6, dp_P3, dp_P2, dp_F23)]).
step(request(dp_C6, dp_P3, dp_P2, dp_F23),
     rule(132),
     ['C' = dp_C6, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [hungry(dp_C6, dp_P3),
      left_fork(dp_P3, dp_F23),
      start_state(dp_C6, dp_F23, dp_P2, dp_Dirty),
      dp_P2 \= dp_P3]).
step(hungry(dp_C6, dp_P3), fact(44), [], []).
step(start_state(dp_C6, dp_F23, dp_P2, dp_Dirty), fact(69), [], []).
step(dp_type(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_Request),
     rule(138),
     ['C' = dp_C8, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C8, dp_P2, dp_P1, dp_F12)]).
step(request(dp_C8, dp_P2, dp_P1, dp_F12),
     rule(132),
     ['C' = dp_C8, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [hungry(dp_C8, dp_P2),
      left_fork(dp_P2, dp_F12),
      start_state(dp_C8, dp_F12, dp_P1, dp_Dirty),
      dp_P1 \= dp_P2]).
step(hungry(dp_C8, dp_P2), fact(45), [], []).
step(start_state(dp_C8, dp_F12, dp_P1, dp_Dirty), fact(73), [], []).
step(dp_type(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_Request),
     rule(138),
     ['C' = dp_C8, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C8, dp_P4, dp_P3, dp_F34)]).
step(request(dp_C8, dp_P4, dp_P3, dp_F34),
     rule(132),
     ['C' = dp_C8, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [hungry(dp_C8, dp_P4),
      left_fork(dp_P4, dp_F34),
      start_state(dp_C8, dp_F34, dp_P3, dp_Dirty),
      dp_P3 \= dp_P4]).
step(hungry(dp_C8, dp_P4), fact(46), [], []).
step(start_state(dp_C8, dp_F34, dp_P3, dp_Dirty), fact(75), [], []).
step(dp_type(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_Request),
     rule(138),
     ['C' = dp_C10, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C10, dp_P5, dp_P4, dp_F45)]).
step(request(dp_C10, dp_P5, dp_P4, dp_F45),
     rule(132),
     ['C' = dp_C10, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [hungry(dp_C10, dp_P5),
      left_fork(dp_P5, dp_F45),
      start_state(dp_C10, dp_F45, dp_P4, dp_Dirty),
      dp_P4 \= dp_P5]).
step(hungry(dp_C10, dp_P5), fact(47), [], []).
step(start_state(dp_C10, dp_F45, dp_P4, dp_Dirty), fact(81), [], []).
step(dp_type(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_Request),
     rule(138),
     ['C' = dp_C12, 'P' = dp_P1, 'Q' = dp_P5, 'F' = dp_F51],
     [request(dp_C12, dp_P1, dp_P5, dp_F51)]).
step(request(dp_C12, dp_P1, dp_P5, dp_F51),
     rule(132),
     ['C' = dp_C12, 'P' = dp_P1, 'Q' = dp_P5, 'F' = dp_F51],
     [hungry(dp_C12, dp_P1),
      left_fork(dp_P1, dp_F51),
      start_state(dp_C12, dp_F51, dp_P5, dp_Dirty),
      dp_P5 \= dp_P1]).
step(hungry(dp_C12, dp_P1), fact(48), [], []).
step(start_state(dp_C12, dp_F51, dp_P5, dp_Dirty), fact(87), [], []).
step(dp_type(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_Request),
     rule(138),
     ['C' = dp_C12, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C12, dp_P3, dp_P2, dp_F23)]).
step(request(dp_C12, dp_P3, dp_P2, dp_F23),
     rule(132),
     ['C' = dp_C12, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [hungry(dp_C12, dp_P3),
      left_fork(dp_P3, dp_F23),
      start_state(dp_C12, dp_F23, dp_P2, dp_Dirty),
      dp_P2 \= dp_P3]).
step(hungry(dp_C12, dp_P3), fact(49), [], []).
step(start_state(dp_C12, dp_F23, dp_P2, dp_Dirty), fact(84), [], []).
step(dp_type(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_Request),
     rule(138),
     ['C' = dp_C14, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C14, dp_P2, dp_P1, dp_F12)]).
step(request(dp_C14, dp_P2, dp_P1, dp_F12),
     rule(132),
     ['C' = dp_C14, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [hungry(dp_C14, dp_P2),
      left_fork(dp_P2, dp_F12),
      start_state(dp_C14, dp_F12, dp_P1, dp_Dirty),
      dp_P1 \= dp_P2]).
step(hungry(dp_C14, dp_P2), fact(50), [], []).
step(start_state(dp_C14, dp_F12, dp_P1, dp_Dirty), fact(88), [], []).
step(dp_type(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_Request),
     rule(138),
     ['C' = dp_C14, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C14, dp_P4, dp_P3, dp_F34)]).
step(request(dp_C14, dp_P4, dp_P3, dp_F34),
     rule(132),
     ['C' = dp_C14, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [hungry(dp_C14, dp_P4),
      left_fork(dp_P4, dp_F34),
      start_state(dp_C14, dp_F34, dp_P3, dp_Dirty),
      dp_P3 \= dp_P4]).
step(hungry(dp_C14, dp_P4), fact(51), [], []).
step(start_state(dp_C14, dp_F34, dp_P3, dp_Dirty), fact(90), [], []).
step(dp_type(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_Request),
     rule(138),
     ['C' = dp_C16, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C16, dp_P5, dp_P4, dp_F45)]).
step(request(dp_C16, dp_P5, dp_P4, dp_F45),
     rule(132),
     ['C' = dp_C16, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [hungry(dp_C16, dp_P5),
      left_fork(dp_P5, dp_F45),
      start_state(dp_C16, dp_F45, dp_P4, dp_Dirty),
      dp_P4 \= dp_P5]).
step(hungry(dp_C16, dp_P5), fact(52), [], []).
step(start_state(dp_C16, dp_F45, dp_P4, dp_Dirty), fact(96), [], []).
step(dp_type(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_Request),
     rule(138),
     ['C' = dp_C2, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C2, dp_P2, dp_P3, dp_F23)]).
step(request(dp_C2, dp_P2, dp_P3, dp_F23),
     rule(133),
     ['C' = dp_C2, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [hungry(dp_C2, dp_P2),
      right_fork(dp_P2, dp_F23),
      start_state(dp_C2, dp_F23, dp_P3, dp_Dirty),
      dp_P3 \= dp_P2]).
step(right_fork(dp_P2, dp_F23), fact(4), [], []).
step(start_state(dp_C2, dp_F23, dp_P3, dp_Dirty), fact(59), [], []).
step(dp_P3 \= dp_P2, builtin, [], []).
step(dp_type(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_Request),
     rule(138),
     ['C' = dp_C4, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C4, dp_P5, dp_P1, dp_F51)]).
step(request(dp_C4, dp_P5, dp_P1, dp_F51),
     rule(133),
     ['C' = dp_C4, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [hungry(dp_C4, dp_P5),
      right_fork(dp_P5, dp_F51),
      start_state(dp_C4, dp_F51, dp_P1, dp_Dirty),
      dp_P1 \= dp_P5]).
step(right_fork(dp_P5, dp_F51), fact(10), [], []).
step(start_state(dp_C4, dp_F51, dp_P1, dp_Dirty), fact(67), [], []).
step(dp_P1 \= dp_P5, builtin, [], []).
step(dp_type(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_Request),
     rule(138),
     ['C' = dp_C6, 'P' = dp_P1, 'Q' = dp_P2, 'F' = dp_F12],
     [request(dp_C6, dp_P1, dp_P2, dp_F12)]).
step(request(dp_C6, dp_P1, dp_P2, dp_F12),
     rule(133),
     ['C' = dp_C6, 'P' = dp_P1, 'Q' = dp_P2, 'F' = dp_F12],
     [hungry(dp_C6, dp_P1),
      right_fork(dp_P1, dp_F12),
      start_state(dp_C6, dp_F12, dp_P2, dp_Dirty),
      dp_P2 \= dp_P1]).
step(right_fork(dp_P1, dp_F12), fact(2), [], []).
step(start_state(dp_C6, dp_F12, dp_P2, dp_Dirty), fact(68), [], []).
step(dp_P2 \= dp_P1, builtin, [], []).
step(dp_type(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_Request),
     rule(138),
     ['C' = dp_C6, 'P' = dp_P3, 'Q' = dp_P4, 'F' = dp_F34],
     [request(dp_C6, dp_P3, dp_P4, dp_F34)]).
step(request(dp_C6, dp_P3, dp_P4, dp_F34),
     rule(133),
     ['C' = dp_C6, 'P' = dp_P3, 'Q' = dp_P4, 'F' = dp_F34],
     [hungry(dp_C6, dp_P3),
      right_fork(dp_P3, dp_F34),
      start_state(dp_C6, dp_F34, dp_P4, dp_Dirty),
      dp_P4 \= dp_P3]).
step(right_fork(dp_P3, dp_F34), fact(6), [], []).
step(start_state(dp_C6, dp_F34, dp_P4, dp_Dirty), fact(70), [], []).
step(dp_P4 \= dp_P3, builtin, [], []).
step(dp_type(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_Request),
     rule(138),
     ['C' = dp_C8, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C8, dp_P2, dp_P3, dp_F23)]).
step(request(dp_C8, dp_P2, dp_P3, dp_F23),
     rule(133),
     ['C' = dp_C8, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [hungry(dp_C8, dp_P2),
      right_fork(dp_P2, dp_F23),
      start_state(dp_C8, dp_F23, dp_P3, dp_Dirty),
      dp_P3 \= dp_P2]).
step(start_state(dp_C8, dp_F23, dp_P3, dp_Dirty), fact(74), [], []).
step(dp_type(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_Request),
     rule(138),
     ['C' = dp_C8, 'P' = dp_P4, 'Q' = dp_P5, 'F' = dp_F45],
     [request(dp_C8, dp_P4, dp_P5, dp_F45)]).
step(request(dp_C8, dp_P4, dp_P5, dp_F45),
     rule(133),
     ['C' = dp_C8, 'P' = dp_P4, 'Q' = dp_P5, 'F' = dp_F45],
     [hungry(dp_C8, dp_P4),
      right_fork(dp_P4, dp_F45),
      start_state(dp_C8, dp_F45, dp_P5, dp_Dirty),
      dp_P5 \= dp_P4]).
step(right_fork(dp_P4, dp_F45), fact(8), [], []).
step(start_state(dp_C8, dp_F45, dp_P5, dp_Dirty), fact(76), [], []).
step(dp_P5 \= dp_P4, builtin, [], []).
step(dp_type(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_Request),
     rule(138),
     ['C' = dp_C10, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C10, dp_P5, dp_P1, dp_F51)]).
step(request(dp_C10, dp_P5, dp_P1, dp_F51),
     rule(133),
     ['C' = dp_C10, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [hungry(dp_C10, dp_P5),
      right_fork(dp_P5, dp_F51),
      start_state(dp_C10, dp_F51, dp_P1, dp_Dirty),
      dp_P1 \= dp_P5]).
step(start_state(dp_C10, dp_F51, dp_P1, dp_Dirty), fact(82), [], []).
step(dp_type(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_Request),
     rule(138),
     ['C' = dp_C12, 'P' = dp_P1, 'Q' = dp_P2, 'F' = dp_F12],
     [request(dp_C12, dp_P1, dp_P2, dp_F12)]).
step(request(dp_C12, dp_P1, dp_P2, dp_F12),
     rule(133),
     ['C' = dp_C12, 'P' = dp_P1, 'Q' = dp_P2, 'F' = dp_F12],
     [hungry(dp_C12, dp_P1),
      right_fork(dp_P1, dp_F12),
      start_state(dp_C12, dp_F12, dp_P2, dp_Dirty),
      dp_P2 \= dp_P1]).
step(start_state(dp_C12, dp_F12, dp_P2, dp_Dirty), fact(83), [], []).
step(dp_type(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_Request),
     rule(138),
     ['C' = dp_C12, 'P' = dp_P3, 'Q' = dp_P4, 'F' = dp_F34],
     [request(dp_C12, dp_P3, dp_P4, dp_F34)]).
step(request(dp_C12, dp_P3, dp_P4, dp_F34),
     rule(133),
     ['C' = dp_C12, 'P' = dp_P3, 'Q' = dp_P4, 'F' = dp_F34],
     [hungry(dp_C12, dp_P3),
      right_fork(dp_P3, dp_F34),
      start_state(dp_C12, dp_F34, dp_P4, dp_Dirty),
      dp_P4 \= dp_P3]).
step(start_state(dp_C12, dp_F34, dp_P4, dp_Dirty), fact(85), [], []).
step(dp_type(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_Request),
     rule(138),
     ['C' = dp_C14, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C14, dp_P2, dp_P3, dp_F23)]).
step(request(dp_C14, dp_P2, dp_P3, dp_F23),
     rule(133),
     ['C' = dp_C14, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [hungry(dp_C14, dp_P2),
      right_fork(dp_P2, dp_F23),
      start_state(dp_C14, dp_F23, dp_P3, dp_Dirty),
      dp_P3 \= dp_P2]).
step(start_state(dp_C14, dp_F23, dp_P3, dp_Dirty), fact(89), [], []).
step(dp_type(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_Request),
     rule(138),
     ['C' = dp_C14, 'P' = dp_P4, 'Q' = dp_P5, 'F' = dp_F45],
     [request(dp_C14, dp_P4, dp_P5, dp_F45)]).
step(request(dp_C14, dp_P4, dp_P5, dp_F45),
     rule(133),
     ['C' = dp_C14, 'P' = dp_P4, 'Q' = dp_P5, 'F' = dp_F45],
     [hungry(dp_C14, dp_P4),
      right_fork(dp_P4, dp_F45),
      start_state(dp_C14, dp_F45, dp_P5, dp_Dirty),
      dp_P5 \= dp_P4]).
step(start_state(dp_C14, dp_F45, dp_P5, dp_Dirty), fact(91), [], []).
step(dp_type(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_Request),
     rule(138),
     ['C' = dp_C16, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C16, dp_P5, dp_P1, dp_F51)]).
step(request(dp_C16, dp_P5, dp_P1, dp_F51),
     rule(133),
     ['C' = dp_C16, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [hungry(dp_C16, dp_P5),
      right_fork(dp_P5, dp_F51),
      start_state(dp_C16, dp_F51, dp_P1, dp_Dirty),
      dp_P1 \= dp_P5]).
step(start_state(dp_C16, dp_F51, dp_P1, dp_Dirty), fact(97), [], []).
step(dp_type(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_SendFork),
     rule(143),
     ['C' = dp_C0, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C0, dp_P2, dp_P3, dp_F23)]).
step(send_fork(dp_C0, dp_P2, dp_P3, dp_F23),
     rule(134),
     ['C' = dp_C0, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [request(dp_C0, dp_P3, dp_P2, dp_F23), start_state(dp_C0, dp_F23, dp_P2, dp_Dirty)]).
step(dp_type(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_SendFork),
     rule(143),
     ['C' = dp_C2, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C2, dp_P1, dp_P2, dp_F12)]).
step(send_fork(dp_C2, dp_P1, dp_P2, dp_F12),
     rule(134),
     ['C' = dp_C2, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [request(dp_C2, dp_P2, dp_P1, dp_F12), start_state(dp_C2, dp_F12, dp_P1, dp_Dirty)]).
step(dp_type(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_SendFork),
     rule(143),
     ['C' = dp_C2, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C2, dp_P3, dp_P4, dp_F34)]).
step(send_fork(dp_C2, dp_P3, dp_P4, dp_F34),
     rule(134),
     ['C' = dp_C2, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [request(dp_C2, dp_P4, dp_P3, dp_F34), start_state(dp_C2, dp_F34, dp_P3, dp_Dirty)]).
step(dp_type(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_SendFork),
     rule(143),
     ['C' = dp_C4, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C4, dp_P4, dp_P5, dp_F45)]).
step(send_fork(dp_C4, dp_P4, dp_P5, dp_F45),
     rule(134),
     ['C' = dp_C4, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [request(dp_C4, dp_P5, dp_P4, dp_F45), start_state(dp_C4, dp_F45, dp_P4, dp_Dirty)]).
step(dp_type(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_SendFork),
     rule(143),
     ['C' = dp_C6, 'Q' = dp_P5, 'P' = dp_P1, 'F' = dp_F51],
     [send_fork(dp_C6, dp_P5, dp_P1, dp_F51)]).
step(send_fork(dp_C6, dp_P5, dp_P1, dp_F51),
     rule(134),
     ['C' = dp_C6, 'Q' = dp_P5, 'P' = dp_P1, 'F' = dp_F51],
     [request(dp_C6, dp_P1, dp_P5, dp_F51), start_state(dp_C6, dp_F51, dp_P5, dp_Dirty)]).
step(dp_type(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_SendFork),
     rule(143),
     ['C' = dp_C6, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C6, dp_P2, dp_P3, dp_F23)]).
step(send_fork(dp_C6, dp_P2, dp_P3, dp_F23),
     rule(134),
     ['C' = dp_C6, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [request(dp_C6, dp_P3, dp_P2, dp_F23), start_state(dp_C6, dp_F23, dp_P2, dp_Dirty)]).
step(dp_type(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_SendFork),
     rule(143),
     ['C' = dp_C8, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C8, dp_P1, dp_P2, dp_F12)]).
step(send_fork(dp_C8, dp_P1, dp_P2, dp_F12),
     rule(134),
     ['C' = dp_C8, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [request(dp_C8, dp_P2, dp_P1, dp_F12), start_state(dp_C8, dp_F12, dp_P1, dp_Dirty)]).
step(dp_type(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_SendFork),
     rule(143),
     ['C' = dp_C8, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C8, dp_P3, dp_P4, dp_F34)]).
step(send_fork(dp_C8, dp_P3, dp_P4, dp_F34),
     rule(134),
     ['C' = dp_C8, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [request(dp_C8, dp_P4, dp_P3, dp_F34), start_state(dp_C8, dp_F34, dp_P3, dp_Dirty)]).
step(dp_type(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_SendFork),
     rule(143),
     ['C' = dp_C10, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C10, dp_P4, dp_P5, dp_F45)]).
step(send_fork(dp_C10, dp_P4, dp_P5, dp_F45),
     rule(134),
     ['C' = dp_C10, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [request(dp_C10, dp_P5, dp_P4, dp_F45), start_state(dp_C10, dp_F45, dp_P4, dp_Dirty)]).
step(dp_type(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_SendFork),
     rule(143),
     ['C' = dp_C12, 'Q' = dp_P5, 'P' = dp_P1, 'F' = dp_F51],
     [send_fork(dp_C12, dp_P5, dp_P1, dp_F51)]).
step(send_fork(dp_C12, dp_P5, dp_P1, dp_F51),
     rule(134),
     ['C' = dp_C12, 'Q' = dp_P5, 'P' = dp_P1, 'F' = dp_F51],
     [request(dp_C12, dp_P1, dp_P5, dp_F51), start_state(dp_C12, dp_F51, dp_P5, dp_Dirty)]).
step(dp_type(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_SendFork),
     rule(143),
     ['C' = dp_C12, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C12, dp_P2, dp_P3, dp_F23)]).
step(send_fork(dp_C12, dp_P2, dp_P3, dp_F23),
     rule(134),
     ['C' = dp_C12, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [request(dp_C12, dp_P3, dp_P2, dp_F23), start_state(dp_C12, dp_F23, dp_P2, dp_Dirty)]).
step(dp_type(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_SendFork),
     rule(143),
     ['C' = dp_C14, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C14, dp_P1, dp_P2, dp_F12)]).
step(send_fork(dp_C14, dp_P1, dp_P2, dp_F12),
     rule(134),
     ['C' = dp_C14, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [request(dp_C14, dp_P2, dp_P1, dp_F12), start_state(dp_C14, dp_F12, dp_P1, dp_Dirty)]).
step(dp_type(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_SendFork),
     rule(143),
     ['C' = dp_C14, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C14, dp_P3, dp_P4, dp_F34)]).
step(send_fork(dp_C14, dp_P3, dp_P4, dp_F34),
     rule(134),
     ['C' = dp_C14, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [request(dp_C14, dp_P4, dp_P3, dp_F34), start_state(dp_C14, dp_F34, dp_P3, dp_Dirty)]).
step(dp_type(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_SendFork),
     rule(143),
     ['C' = dp_C16, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C16, dp_P4, dp_P5, dp_F45)]).
step(send_fork(dp_C16, dp_P4, dp_P5, dp_F45),
     rule(134),
     ['C' = dp_C16, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [request(dp_C16, dp_P5, dp_P4, dp_F45), start_state(dp_C16, dp_F45, dp_P4, dp_Dirty)]).
step(dp_type(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_SendFork),
     rule(143),
     ['C' = dp_C2, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C2, dp_P3, dp_P2, dp_F23)]).
step(send_fork(dp_C2, dp_P3, dp_P2, dp_F23),
     rule(134),
     ['C' = dp_C2, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [request(dp_C2, dp_P2, dp_P3, dp_F23), start_state(dp_C2, dp_F23, dp_P3, dp_Dirty)]).
step(dp_type(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_SendFork),
     rule(143),
     ['C' = dp_C4, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C4, dp_P1, dp_P5, dp_F51)]).
step(send_fork(dp_C4, dp_P1, dp_P5, dp_F51),
     rule(134),
     ['C' = dp_C4, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [request(dp_C4, dp_P5, dp_P1, dp_F51), start_state(dp_C4, dp_F51, dp_P1, dp_Dirty)]).
step(dp_type(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_SendFork),
     rule(143),
     ['C' = dp_C6, 'Q' = dp_P2, 'P' = dp_P1, 'F' = dp_F12],
     [send_fork(dp_C6, dp_P2, dp_P1, dp_F12)]).
step(send_fork(dp_C6, dp_P2, dp_P1, dp_F12),
     rule(134),
     ['C' = dp_C6, 'Q' = dp_P2, 'P' = dp_P1, 'F' = dp_F12],
     [request(dp_C6, dp_P1, dp_P2, dp_F12), start_state(dp_C6, dp_F12, dp_P2, dp_Dirty)]).
step(dp_type(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_SendFork),
     rule(143),
     ['C' = dp_C6, 'Q' = dp_P4, 'P' = dp_P3, 'F' = dp_F34],
     [send_fork(dp_C6, dp_P4, dp_P3, dp_F34)]).
step(send_fork(dp_C6, dp_P4, dp_P3, dp_F34),
     rule(134),
     ['C' = dp_C6, 'Q' = dp_P4, 'P' = dp_P3, 'F' = dp_F34],
     [request(dp_C6, dp_P3, dp_P4, dp_F34), start_state(dp_C6, dp_F34, dp_P4, dp_Dirty)]).
step(dp_type(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_SendFork),
     rule(143),
     ['C' = dp_C8, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C8, dp_P3, dp_P2, dp_F23)]).
step(send_fork(dp_C8, dp_P3, dp_P2, dp_F23),
     rule(134),
     ['C' = dp_C8, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [request(dp_C8, dp_P2, dp_P3, dp_F23), start_state(dp_C8, dp_F23, dp_P3, dp_Dirty)]).
step(dp_type(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_SendFork),
     rule(143),
     ['C' = dp_C8, 'Q' = dp_P5, 'P' = dp_P4, 'F' = dp_F45],
     [send_fork(dp_C8, dp_P5, dp_P4, dp_F45)]).
step(send_fork(dp_C8, dp_P5, dp_P4, dp_F45),
     rule(134),
     ['C' = dp_C8, 'Q' = dp_P5, 'P' = dp_P4, 'F' = dp_F45],
     [request(dp_C8, dp_P4, dp_P5, dp_F45), start_state(dp_C8, dp_F45, dp_P5, dp_Dirty)]).
step(dp_type(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_SendFork),
     rule(143),
     ['C' = dp_C10, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C10, dp_P1, dp_P5, dp_F51)]).
step(send_fork(dp_C10, dp_P1, dp_P5, dp_F51),
     rule(134),
     ['C' = dp_C10, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [request(dp_C10, dp_P5, dp_P1, dp_F51), start_state(dp_C10, dp_F51, dp_P1, dp_Dirty)]).
step(dp_type(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_SendFork),
     rule(143),
     ['C' = dp_C12, 'Q' = dp_P2, 'P' = dp_P1, 'F' = dp_F12],
     [send_fork(dp_C12, dp_P2, dp_P1, dp_F12)]).
step(send_fork(dp_C12, dp_P2, dp_P1, dp_F12),
     rule(134),
     ['C' = dp_C12, 'Q' = dp_P2, 'P' = dp_P1, 'F' = dp_F12],
     [request(dp_C12, dp_P1, dp_P2, dp_F12), start_state(dp_C12, dp_F12, dp_P2, dp_Dirty)]).
step(dp_type(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_SendFork),
     rule(143),
     ['C' = dp_C12, 'Q' = dp_P4, 'P' = dp_P3, 'F' = dp_F34],
     [send_fork(dp_C12, dp_P4, dp_P3, dp_F34)]).
step(send_fork(dp_C12, dp_P4, dp_P3, dp_F34),
     rule(134),
     ['C' = dp_C12, 'Q' = dp_P4, 'P' = dp_P3, 'F' = dp_F34],
     [request(dp_C12, dp_P3, dp_P4, dp_F34), start_state(dp_C12, dp_F34, dp_P4, dp_Dirty)]).
step(dp_type(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_SendFork),
     rule(143),
     ['C' = dp_C14, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C14, dp_P3, dp_P2, dp_F23)]).
step(send_fork(dp_C14, dp_P3, dp_P2, dp_F23),
     rule(134),
     ['C' = dp_C14, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [request(dp_C14, dp_P2, dp_P3, dp_F23), start_state(dp_C14, dp_F23, dp_P3, dp_Dirty)]).
step(dp_type(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_SendFork),
     rule(143),
     ['C' = dp_C14, 'Q' = dp_P5, 'P' = dp_P4, 'F' = dp_F45],
     [send_fork(dp_C14, dp_P5, dp_P4, dp_F45)]).
step(send_fork(dp_C14, dp_P5, dp_P4, dp_F45),
     rule(134),
     ['C' = dp_C14, 'Q' = dp_P5, 'P' = dp_P4, 'F' = dp_F45],
     [request(dp_C14, dp_P4, dp_P5, dp_F45), start_state(dp_C14, dp_F45, dp_P5, dp_Dirty)]).
step(dp_type(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_SendFork),
     rule(143),
     ['C' = dp_C16, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C16, dp_P1, dp_P5, dp_F51)]).
step(send_fork(dp_C16, dp_P1, dp_P5, dp_F51),
     rule(134),
     ['C' = dp_C16, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [request(dp_C16, dp_P5, dp_P1, dp_F51), start_state(dp_C16, dp_F51, dp_P1, dp_Dirty)]).
step(dp_type(dp_mP1_1, dp_Meal), rule(148), ['M' = dp_mP1_1], [meal(dp_mP1_1, dp_P1, 1, dp_s1)]).
step(meal(dp_mP1_1, dp_P1, 1, dp_s1),
     rule(137),
     ['M' = dp_mP1_1,
      'P' = dp_P1,
      'N' = 1,
      'S' = dp_s1,
      'C' = dp_C0,
      'Cs' = dp_C1,
      'Lf' = dp_F51,
      'Rf' = dp_F12],
     [after_sends(dp_C0, dp_C1),
      slot(dp_C0, dp_s1, 1),
      hungry(dp_C0, dp_P1),
      meal_handle(dp_P1, 1, dp_mP1_1),
      left_fork(dp_P1, dp_F51),
      right_fork(dp_P1, dp_F12),
      after_send_state(dp_C1, dp_F51, dp_P1, dp_Dirty),
      after_send_state(dp_C1, dp_F12, dp_P1, dp_Dirty)]).
step(after_sends(dp_C0, dp_C1), fact(12), [], []).
step(slot(dp_C0, dp_s1, 1), fact(11), [], []).
step(hungry(dp_C0, dp_P1), fact(38), [], []).
step(meal_handle(dp_P1, 1, dp_mP1_1), fact(117), [], []).
step(after_send_state(dp_C1, dp_F51, dp_P1, dp_Dirty),
     rule(136),
     ['Cs' = dp_C1, 'F' = dp_F51, 'H' = dp_P1, 'Cleanliness' = dp_Dirty, 'C' = dp_C0],
     [after_sends(dp_C0, dp_C1),
      keep(dp_C0, dp_F51),
      start_state(dp_C0, dp_F51, dp_P1, dp_Dirty)]).
step(keep(dp_C0, dp_F51), fact(101), [], []).
step(start_state(dp_C0, dp_F51, dp_P1, dp_Dirty), fact(57), [], []).
step(after_send_state(dp_C1, dp_F12, dp_P1, dp_Dirty),
     rule(136),
     ['Cs' = dp_C1, 'F' = dp_F12, 'H' = dp_P1, 'Cleanliness' = dp_Dirty, 'C' = dp_C0],
     [after_sends(dp_C0, dp_C1),
      keep(dp_C0, dp_F12),
      start_state(dp_C0, dp_F12, dp_P1, dp_Dirty)]).
step(keep(dp_C0, dp_F12), fact(98), [], []).
step(start_state(dp_C0, dp_F12, dp_P1, dp_Dirty), fact(53), [], []).
step(dp_type(dp_mP3_1, dp_Meal), rule(148), ['M' = dp_mP3_1], [meal(dp_mP3_1, dp_P3, 1, dp_s1)]).
step(meal(dp_mP3_1, dp_P3, 1, dp_s1),
     rule(137),
     ['M' = dp_mP3_1,
      'P' = dp_P3,
      'N' = 1,
      'S' = dp_s1,
      'C' = dp_C0,
      'Cs' = dp_C1,
      'Lf' = dp_F23,
      'Rf' = dp_F34],
     [after_sends(dp_C0, dp_C1),
      slot(dp_C0, dp_s1, 1),
      hungry(dp_C0, dp_P3),
      meal_handle(dp_P3, 1, dp_mP3_1),
      left_fork(dp_P3, dp_F23),
      right_fork(dp_P3, dp_F34),
      after_send_state(dp_C1, dp_F23, dp_P3, dp_Clean),
      after_send_state(dp_C1, dp_F34, dp_P3, dp_Dirty)]).
step(meal_handle(dp_P3, 1, dp_mP3_1), fact(123), [], []).
step(after_send_state(dp_C1, dp_F23, dp_P3, dp_Clean),
     rule(135),
     ['Cs' = dp_C1, 'F' = dp_F23, 'P' = dp_P3, 'C' = dp_C0],
     [after_sends(dp_C0, dp_C1), send_fork(dp_C0, dp_P2, dp_P3, dp_F23)]).
step(after_send_state(dp_C1, dp_F34, dp_P3, dp_Dirty),
     rule(136),
     ['Cs' = dp_C1, 'F' = dp_F34, 'H' = dp_P3, 'Cleanliness' = dp_Dirty, 'C' = dp_C0],
     [after_sends(dp_C0, dp_C1),
      keep(dp_C0, dp_F34),
      start_state(dp_C0, dp_F34, dp_P3, dp_Dirty)]).
step(keep(dp_C0, dp_F34), fact(99), [], []).
step(start_state(dp_C0, dp_F34, dp_P3, dp_Dirty), fact(55), [], []).
step(dp_type(dp_mP2_1, dp_Meal), rule(148), ['M' = dp_mP2_1], [meal(dp_mP2_1, dp_P2, 1, dp_s2)]).
step(meal(dp_mP2_1, dp_P2, 1, dp_s2),
     rule(137),
     ['M' = dp_mP2_1,
      'P' = dp_P2,
      'N' = 1,
      'S' = dp_s2,
      'C' = dp_C2,
      'Cs' = dp_C3,
      'Lf' = dp_F12,
      'Rf' = dp_F23],
     [after_sends(dp_C2, dp_C3),
      slot(dp_C2, dp_s2, 1),
      hungry(dp_C2, dp_P2),
      meal_handle(dp_P2, 1, dp_mP2_1),
      left_fork(dp_P2, dp_F12),
      right_fork(dp_P2, dp_F23),
      after_send_state(dp_C3, dp_F12, dp_P2, dp_Clean),
      after_send_state(dp_C3, dp_F23, dp_P2, dp_Clean)]).
step(after_sends(dp_C2, dp_C3), fact(15), [], []).
step(slot(dp_C2, dp_s2, 1), fact(14), [], []).
step(meal_handle(dp_P2, 1, dp_mP2_1), fact(120), [], []).
step(after_send_state(dp_C3, dp_F12, dp_P2, dp_Clean),
     rule(135),
     ['Cs' = dp_C3, 'F' = dp_F12, 'P' = dp_P2, 'C' = dp_C2],
     [after_sends(dp_C2, dp_C3), send_fork(dp_C2, dp_P1, dp_P2, dp_F12)]).
step(after_send_state(dp_C3, dp_F23, dp_P2, dp_Clean),
     rule(135),
     ['Cs' = dp_C3, 'F' = dp_F23, 'P' = dp_P2, 'C' = dp_C2],
     [after_sends(dp_C2, dp_C3), send_fork(dp_C2, dp_P3, dp_P2, dp_F23)]).
step(dp_type(dp_mP4_1, dp_Meal), rule(148), ['M' = dp_mP4_1], [meal(dp_mP4_1, dp_P4, 1, dp_s2)]).
step(meal(dp_mP4_1, dp_P4, 1, dp_s2),
     rule(137),
     ['M' = dp_mP4_1,
      'P' = dp_P4,
      'N' = 1,
      'S' = dp_s2,
      'C' = dp_C2,
      'Cs' = dp_C3,
      'Lf' = dp_F34,
      'Rf' = dp_F45],
     [after_sends(dp_C2, dp_C3),
      slot(dp_C2, dp_s2, 1),
      hungry(dp_C2, dp_P4),
      meal_handle(dp_P4, 1, dp_mP4_1),
      left_fork(dp_P4, dp_F34),
      right_fork(dp_P4, dp_F45),
      after_send_state(dp_C3, dp_F34, dp_P4, dp_Clean),
      after_send_state(dp_C3, dp_F45, dp_P4, dp_Dirty)]).
step(meal_handle(dp_P4, 1, dp_mP4_1), fact(126), [], []).
step(after_send_state(dp_C3, dp_F34, dp_P4, dp_Clean),
     rule(135),
     ['Cs' = dp_C3, 'F' = dp_F34, 'P' = dp_P4, 'C' = dp_C2],
     [after_sends(dp_C2, dp_C3), send_fork(dp_C2, dp_P3, dp_P4, dp_F34)]).
step(after_send_state(dp_C3, dp_F45, dp_P4, dp_Dirty),
     rule(136),
     ['Cs' = dp_C3, 'F' = dp_F45, 'H' = dp_P4, 'Cleanliness' = dp_Dirty, 'C' = dp_C2],
     [after_sends(dp_C2, dp_C3),
      keep(dp_C2, dp_F45),
      start_state(dp_C2, dp_F45, dp_P4, dp_Dirty)]).
step(keep(dp_C2, dp_F45), fact(102), [], []).
step(start_state(dp_C2, dp_F45, dp_P4, dp_Dirty), fact(61), [], []).
step(dp_type(dp_mP5_1, dp_Meal), rule(148), ['M' = dp_mP5_1], [meal(dp_mP5_1, dp_P5, 1, dp_s3)]).
step(meal(dp_mP5_1, dp_P5, 1, dp_s3),
     rule(137),
     ['M' = dp_mP5_1,
      'P' = dp_P5,
      'N' = 1,
      'S' = dp_s3,
      'C' = dp_C4,
      'Cs' = dp_C5,
      'Lf' = dp_F45,
      'Rf' = dp_F51],
     [after_sends(dp_C4, dp_C5),
      slot(dp_C4, dp_s3, 1),
      hungry(dp_C4, dp_P5),
      meal_handle(dp_P5, 1, dp_mP5_1),
      left_fork(dp_P5, dp_F45),
      right_fork(dp_P5, dp_F51),
      after_send_state(dp_C5, dp_F45, dp_P5, dp_Clean),
      after_send_state(dp_C5, dp_F51, dp_P5, dp_Clean)]).
step(after_sends(dp_C4, dp_C5), fact(18), [], []).
step(slot(dp_C4, dp_s3, 1), fact(17), [], []).
step(meal_handle(dp_P5, 1, dp_mP5_1), fact(129), [], []).
step(after_send_state(dp_C5, dp_F45, dp_P5, dp_Clean),
     rule(135),
     ['Cs' = dp_C5, 'F' = dp_F45, 'P' = dp_P5, 'C' = dp_C4],
     [after_sends(dp_C4, dp_C5), send_fork(dp_C4, dp_P4, dp_P5, dp_F45)]).
step(after_send_state(dp_C5, dp_F51, dp_P5, dp_Clean),
     rule(135),
     ['Cs' = dp_C5, 'F' = dp_F51, 'P' = dp_P5, 'C' = dp_C4],
     [after_sends(dp_C4, dp_C5), send_fork(dp_C4, dp_P1, dp_P5, dp_F51)]).
step(dp_type(dp_mP1_2, dp_Meal), rule(148), ['M' = dp_mP1_2], [meal(dp_mP1_2, dp_P1, 2, dp_s4)]).
step(meal(dp_mP1_2, dp_P1, 2, dp_s4),
     rule(137),
     ['M' = dp_mP1_2,
      'P' = dp_P1,
      'N' = 2,
      'S' = dp_s4,
      'C' = dp_C6,
      'Cs' = dp_C7,
      'Lf' = dp_F51,
      'Rf' = dp_F12],
     [after_sends(dp_C6, dp_C7),
      slot(dp_C6, dp_s4, 2),
      hungry(dp_C6, dp_P1),
      meal_handle(dp_P1, 2, dp_mP1_2),
      left_fork(dp_P1, dp_F51),
      right_fork(dp_P1, dp_F12),
      after_send_state(dp_C7, dp_F51, dp_P1, dp_Clean),
      after_send_state(dp_C7, dp_F12, dp_P1, dp_Clean)]).
step(after_sends(dp_C6, dp_C7), fact(21), [], []).
step(slot(dp_C6, dp_s4, 2), fact(20), [], []).
step(meal_handle(dp_P1, 2, dp_mP1_2), fact(118), [], []).
step(after_send_state(dp_C7, dp_F51, dp_P1, dp_Clean),
     rule(135),
     ['Cs' = dp_C7, 'F' = dp_F51, 'P' = dp_P1, 'C' = dp_C6],
     [after_sends(dp_C6, dp_C7), send_fork(dp_C6, dp_P5, dp_P1, dp_F51)]).
step(after_send_state(dp_C7, dp_F12, dp_P1, dp_Clean),
     rule(135),
     ['Cs' = dp_C7, 'F' = dp_F12, 'P' = dp_P1, 'C' = dp_C6],
     [after_sends(dp_C6, dp_C7), send_fork(dp_C6, dp_P2, dp_P1, dp_F12)]).
step(dp_type(dp_mP3_2, dp_Meal), rule(148), ['M' = dp_mP3_2], [meal(dp_mP3_2, dp_P3, 2, dp_s4)]).
step(meal(dp_mP3_2, dp_P3, 2, dp_s4),
     rule(137),
     ['M' = dp_mP3_2,
      'P' = dp_P3,
      'N' = 2,
      'S' = dp_s4,
      'C' = dp_C6,
      'Cs' = dp_C7,
      'Lf' = dp_F23,
      'Rf' = dp_F34],
     [after_sends(dp_C6, dp_C7),
      slot(dp_C6, dp_s4, 2),
      hungry(dp_C6, dp_P3),
      meal_handle(dp_P3, 2, dp_mP3_2),
      left_fork(dp_P3, dp_F23),
      right_fork(dp_P3, dp_F34),
      after_send_state(dp_C7, dp_F23, dp_P3, dp_Clean),
      after_send_state(dp_C7, dp_F34, dp_P3, dp_Clean)]).
step(meal_handle(dp_P3, 2, dp_mP3_2), fact(124), [], []).
step(after_send_state(dp_C7, dp_F23, dp_P3, dp_Clean),
     rule(135),
     ['Cs' = dp_C7, 'F' = dp_F23, 'P' = dp_P3, 'C' = dp_C6],
     [after_sends(dp_C6, dp_C7), send_fork(dp_C6, dp_P2, dp_P3, dp_F23)]).
step(after_send_state(dp_C7, dp_F34, dp_P3, dp_Clean),
     rule(135),
     ['Cs' = dp_C7, 'F' = dp_F34, 'P' = dp_P3, 'C' = dp_C6],
     [after_sends(dp_C6, dp_C7), send_fork(dp_C6, dp_P4, dp_P3, dp_F34)]).
step(dp_type(dp_mP2_2, dp_Meal), rule(148), ['M' = dp_mP2_2], [meal(dp_mP2_2, dp_P2, 2, dp_s5)]).
step(meal(dp_mP2_2, dp_P2, 2, dp_s5),
     rule(137),
     ['M' = dp_mP2_2,
      'P' = dp_P2,
      'N' = 2,
      'S' = dp_s5,
      'C' = dp_C8,
      'Cs' = dp_C9,
      'Lf' = dp_F12,
      'Rf' = dp_F23],
     [after_sends(dp_C8, dp_C9),
      slot(dp_C8, dp_s5, 2),
      hungry(dp_C8, dp_P2),
      meal_handle(dp_P2, 2, dp_mP2_2),
      left_fork(dp_P2, dp_F12),
      right_fork(dp_P2, dp_F23),
      after_send_state(dp_C9, dp_F12, dp_P2, dp_Clean),
      after_send_state(dp_C9, dp_F23, dp_P2, dp_Clean)]).
step(after_sends(dp_C8, dp_C9), fact(24), [], []).
step(slot(dp_C8, dp_s5, 2), fact(23), [], []).
step(meal_handle(dp_P2, 2, dp_mP2_2), fact(121), [], []).
step(after_send_state(dp_C9, dp_F12, dp_P2, dp_Clean),
     rule(135),
     ['Cs' = dp_C9, 'F' = dp_F12, 'P' = dp_P2, 'C' = dp_C8],
     [after_sends(dp_C8, dp_C9), send_fork(dp_C8, dp_P1, dp_P2, dp_F12)]).
step(after_send_state(dp_C9, dp_F23, dp_P2, dp_Clean),
     rule(135),
     ['Cs' = dp_C9, 'F' = dp_F23, 'P' = dp_P2, 'C' = dp_C8],
     [after_sends(dp_C8, dp_C9), send_fork(dp_C8, dp_P3, dp_P2, dp_F23)]).
step(dp_type(dp_mP4_2, dp_Meal), rule(148), ['M' = dp_mP4_2], [meal(dp_mP4_2, dp_P4, 2, dp_s5)]).
step(meal(dp_mP4_2, dp_P4, 2, dp_s5),
     rule(137),
     ['M' = dp_mP4_2,
      'P' = dp_P4,
      'N' = 2,
      'S' = dp_s5,
      'C' = dp_C8,
      'Cs' = dp_C9,
      'Lf' = dp_F34,
      'Rf' = dp_F45],
     [after_sends(dp_C8, dp_C9),
      slot(dp_C8, dp_s5, 2),
      hungry(dp_C8, dp_P4),
      meal_handle(dp_P4, 2, dp_mP4_2),
      left_fork(dp_P4, dp_F34),
      right_fork(dp_P4, dp_F45),
      after_send_state(dp_C9, dp_F34, dp_P4, dp_Clean),
      after_send_state(dp_C9, dp_F45, dp_P4, dp_Clean)]).
step(meal_handle(dp_P4, 2, dp_mP4_2), fact(127), [], []).
step(after_send_state(dp_C9, dp_F34, dp_P4, dp_Clean),
     rule(135),
     ['Cs' = dp_C9, 'F' = dp_F34, 'P' = dp_P4, 'C' = dp_C8],
     [after_sends(dp_C8, dp_C9), send_fork(dp_C8, dp_P3, dp_P4, dp_F34)]).
step(after_send_state(dp_C9, dp_F45, dp_P4, dp_Clean),
     rule(135),
     ['Cs' = dp_C9, 'F' = dp_F45, 'P' = dp_P4, 'C' = dp_C8],
     [after_sends(dp_C8, dp_C9), send_fork(dp_C8, dp_P5, dp_P4, dp_F45)]).
step(dp_type(dp_mP5_2, dp_Meal), rule(148), ['M' = dp_mP5_2], [meal(dp_mP5_2, dp_P5, 2, dp_s6)]).
step(meal(dp_mP5_2, dp_P5, 2, dp_s6),
     rule(137),
     ['M' = dp_mP5_2,
      'P' = dp_P5,
      'N' = 2,
      'S' = dp_s6,
      'C' = dp_C10,
      'Cs' = dp_C11,
      'Lf' = dp_F45,
      'Rf' = dp_F51],
     [after_sends(dp_C10, dp_C11),
      slot(dp_C10, dp_s6, 2),
      hungry(dp_C10, dp_P5),
      meal_handle(dp_P5, 2, dp_mP5_2),
      left_fork(dp_P5, dp_F45),
      right_fork(dp_P5, dp_F51),
      after_send_state(dp_C11, dp_F45, dp_P5, dp_Clean),
      after_send_state(dp_C11, dp_F51, dp_P5, dp_Clean)]).
step(after_sends(dp_C10, dp_C11), fact(27), [], []).
step(slot(dp_C10, dp_s6, 2), fact(26), [], []).
step(meal_handle(dp_P5, 2, dp_mP5_2), fact(130), [], []).
step(after_send_state(dp_C11, dp_F45, dp_P5, dp_Clean),
     rule(135),
     ['Cs' = dp_C11, 'F' = dp_F45, 'P' = dp_P5, 'C' = dp_C10],
     [after_sends(dp_C10, dp_C11), send_fork(dp_C10, dp_P4, dp_P5, dp_F45)]).
step(after_send_state(dp_C11, dp_F51, dp_P5, dp_Clean),
     rule(135),
     ['Cs' = dp_C11, 'F' = dp_F51, 'P' = dp_P5, 'C' = dp_C10],
     [after_sends(dp_C10, dp_C11), send_fork(dp_C10, dp_P1, dp_P5, dp_F51)]).
step(dp_type(dp_mP1_3, dp_Meal), rule(148), ['M' = dp_mP1_3], [meal(dp_mP1_3, dp_P1, 3, dp_s7)]).
step(meal(dp_mP1_3, dp_P1, 3, dp_s7),
     rule(137),
     ['M' = dp_mP1_3,
      'P' = dp_P1,
      'N' = 3,
      'S' = dp_s7,
      'C' = dp_C12,
      'Cs' = dp_C13,
      'Lf' = dp_F51,
      'Rf' = dp_F12],
     [after_sends(dp_C12, dp_C13),
      slot(dp_C12, dp_s7, 3),
      hungry(dp_C12, dp_P1),
      meal_handle(dp_P1, 3, dp_mP1_3),
      left_fork(dp_P1, dp_F51),
      right_fork(dp_P1, dp_F12),
      after_send_state(dp_C13, dp_F51, dp_P1, dp_Clean),
      after_send_state(dp_C13, dp_F12, dp_P1, dp_Clean)]).
step(after_sends(dp_C12, dp_C13), fact(30), [], []).
step(slot(dp_C12, dp_s7, 3), fact(29), [], []).
step(meal_handle(dp_P1, 3, dp_mP1_3), fact(119), [], []).
step(after_send_state(dp_C13, dp_F51, dp_P1, dp_Clean),
     rule(135),
     ['Cs' = dp_C13, 'F' = dp_F51, 'P' = dp_P1, 'C' = dp_C12],
     [after_sends(dp_C12, dp_C13), send_fork(dp_C12, dp_P5, dp_P1, dp_F51)]).
step(after_send_state(dp_C13, dp_F12, dp_P1, dp_Clean),
     rule(135),
     ['Cs' = dp_C13, 'F' = dp_F12, 'P' = dp_P1, 'C' = dp_C12],
     [after_sends(dp_C12, dp_C13), send_fork(dp_C12, dp_P2, dp_P1, dp_F12)]).
step(dp_type(dp_mP3_3, dp_Meal), rule(148), ['M' = dp_mP3_3], [meal(dp_mP3_3, dp_P3, 3, dp_s7)]).
step(meal(dp_mP3_3, dp_P3, 3, dp_s7),
     rule(137),
     ['M' = dp_mP3_3,
      'P' = dp_P3,
      'N' = 3,
      'S' = dp_s7,
      'C' = dp_C12,
      'Cs' = dp_C13,
      'Lf' = dp_F23,
      'Rf' = dp_F34],
     [after_sends(dp_C12, dp_C13),
      slot(dp_C12, dp_s7, 3),
      hungry(dp_C12, dp_P3),
      meal_handle(dp_P3, 3, dp_mP3_3),
      left_fork(dp_P3, dp_F23),
      right_fork(dp_P3, dp_F34),
      after_send_state(dp_C13, dp_F23, dp_P3, dp_Clean),
      after_send_state(dp_C13, dp_F34, dp_P3, dp_Clean)]).
step(meal_handle(dp_P3, 3, dp_mP3_3), fact(125), [], []).
step(after_send_state(dp_C13, dp_F23, dp_P3, dp_Clean),
     rule(135),
     ['Cs' = dp_C13, 'F' = dp_F23, 'P' = dp_P3, 'C' = dp_C12],
     [after_sends(dp_C12, dp_C13), send_fork(dp_C12, dp_P2, dp_P3, dp_F23)]).
step(after_send_state(dp_C13, dp_F34, dp_P3, dp_Clean),
     rule(135),
     ['Cs' = dp_C13, 'F' = dp_F34, 'P' = dp_P3, 'C' = dp_C12],
     [after_sends(dp_C12, dp_C13), send_fork(dp_C12, dp_P4, dp_P3, dp_F34)]).
step(dp_type(dp_mP2_3, dp_Meal), rule(148), ['M' = dp_mP2_3], [meal(dp_mP2_3, dp_P2, 3, dp_s8)]).
step(meal(dp_mP2_3, dp_P2, 3, dp_s8),
     rule(137),
     ['M' = dp_mP2_3,
      'P' = dp_P2,
      'N' = 3,
      'S' = dp_s8,
      'C' = dp_C14,
      'Cs' = dp_C15,
      'Lf' = dp_F12,
      'Rf' = dp_F23],
     [after_sends(dp_C14, dp_C15),
      slot(dp_C14, dp_s8, 3),
      hungry(dp_C14, dp_P2),
      meal_handle(dp_P2, 3, dp_mP2_3),
      left_fork(dp_P2, dp_F12),
      right_fork(dp_P2, dp_F23),
      after_send_state(dp_C15, dp_F12, dp_P2, dp_Clean),
      after_send_state(dp_C15, dp_F23, dp_P2, dp_Clean)]).
step(after_sends(dp_C14, dp_C15), fact(33), [], []).
step(slot(dp_C14, dp_s8, 3), fact(32), [], []).
step(meal_handle(dp_P2, 3, dp_mP2_3), fact(122), [], []).
step(after_send_state(dp_C15, dp_F12, dp_P2, dp_Clean),
     rule(135),
     ['Cs' = dp_C15, 'F' = dp_F12, 'P' = dp_P2, 'C' = dp_C14],
     [after_sends(dp_C14, dp_C15), send_fork(dp_C14, dp_P1, dp_P2, dp_F12)]).
step(after_send_state(dp_C15, dp_F23, dp_P2, dp_Clean),
     rule(135),
     ['Cs' = dp_C15, 'F' = dp_F23, 'P' = dp_P2, 'C' = dp_C14],
     [after_sends(dp_C14, dp_C15), send_fork(dp_C14, dp_P3, dp_P2, dp_F23)]).
step(dp_type(dp_mP4_3, dp_Meal), rule(148), ['M' = dp_mP4_3], [meal(dp_mP4_3, dp_P4, 3, dp_s8)]).
step(meal(dp_mP4_3, dp_P4, 3, dp_s8),
     rule(137),
     ['M' = dp_mP4_3,
      'P' = dp_P4,
      'N' = 3,
      'S' = dp_s8,
      'C' = dp_C14,
      'Cs' = dp_C15,
      'Lf' = dp_F34,
      'Rf' = dp_F45],
     [after_sends(dp_C14, dp_C15),
      slot(dp_C14, dp_s8, 3),
      hungry(dp_C14, dp_P4),
      meal_handle(dp_P4, 3, dp_mP4_3),
      left_fork(dp_P4, dp_F34),
      right_fork(dp_P4, dp_F45),
      after_send_state(dp_C15, dp_F34, dp_P4, dp_Clean),
      after_send_state(dp_C15, dp_F45, dp_P4, dp_Clean)]).
step(meal_handle(dp_P4, 3, dp_mP4_3), fact(128), [], []).
step(after_send_state(dp_C15, dp_F34, dp_P4, dp_Clean),
     rule(135),
     ['Cs' = dp_C15, 'F' = dp_F34, 'P' = dp_P4, 'C' = dp_C14],
     [after_sends(dp_C14, dp_C15), send_fork(dp_C14, dp_P3, dp_P4, dp_F34)]).
step(after_send_state(dp_C15, dp_F45, dp_P4, dp_Clean),
     rule(135),
     ['Cs' = dp_C15, 'F' = dp_F45, 'P' = dp_P4, 'C' = dp_C14],
     [after_sends(dp_C14, dp_C15), send_fork(dp_C14, dp_P5, dp_P4, dp_F45)]).
step(dp_type(dp_mP5_3, dp_Meal), rule(148), ['M' = dp_mP5_3], [meal(dp_mP5_3, dp_P5, 3, dp_s9)]).
step(meal(dp_mP5_3, dp_P5, 3, dp_s9),
     rule(137),
     ['M' = dp_mP5_3,
      'P' = dp_P5,
      'N' = 3,
      'S' = dp_s9,
      'C' = dp_C16,
      'Cs' = dp_C17,
      'Lf' = dp_F45,
      'Rf' = dp_F51],
     [after_sends(dp_C16, dp_C17),
      slot(dp_C16, dp_s9, 3),
      hungry(dp_C16, dp_P5),
      meal_handle(dp_P5, 3, dp_mP5_3),
      left_fork(dp_P5, dp_F45),
      right_fork(dp_P5, dp_F51),
      after_send_state(dp_C17, dp_F45, dp_P5, dp_Clean),
      after_send_state(dp_C17, dp_F51, dp_P5, dp_Clean)]).
step(after_sends(dp_C16, dp_C17), fact(36), [], []).
step(slot(dp_C16, dp_s9, 3), fact(35), [], []).
step(meal_handle(dp_P5, 3, dp_mP5_3), fact(131), [], []).
step(after_send_state(dp_C17, dp_F45, dp_P5, dp_Clean),
     rule(135),
     ['Cs' = dp_C17, 'F' = dp_F45, 'P' = dp_P5, 'C' = dp_C16],
     [after_sends(dp_C16, dp_C17), send_fork(dp_C16, dp_P4, dp_P5, dp_F45)]).
step(after_send_state(dp_C17, dp_F51, dp_P5, dp_Clean),
     rule(135),
     ['Cs' = dp_C17, 'F' = dp_F51, 'P' = dp_P5, 'C' = dp_C16],
     [after_sends(dp_C16, dp_C17), send_fork(dp_C16, dp_P1, dp_P5, dp_F51)]).
step(dp_in(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_C0),
     rule(139),
     ['C' = dp_C0, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C0, dp_P3, dp_P2, dp_F23)]).
step(dp_in(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_C2),
     rule(139),
     ['C' = dp_C2, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C2, dp_P2, dp_P1, dp_F12)]).
step(dp_in(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_C2),
     rule(139),
     ['C' = dp_C2, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C2, dp_P4, dp_P3, dp_F34)]).
step(dp_in(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_C4),
     rule(139),
     ['C' = dp_C4, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C4, dp_P5, dp_P4, dp_F45)]).
step(dp_in(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_C6),
     rule(139),
     ['C' = dp_C6, 'P' = dp_P1, 'Q' = dp_P5, 'F' = dp_F51],
     [request(dp_C6, dp_P1, dp_P5, dp_F51)]).
step(dp_in(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_C6),
     rule(139),
     ['C' = dp_C6, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C6, dp_P3, dp_P2, dp_F23)]).
step(dp_in(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_C8),
     rule(139),
     ['C' = dp_C8, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C8, dp_P2, dp_P1, dp_F12)]).
step(dp_in(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_C8),
     rule(139),
     ['C' = dp_C8, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C8, dp_P4, dp_P3, dp_F34)]).
step(dp_in(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_C10),
     rule(139),
     ['C' = dp_C10, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C10, dp_P5, dp_P4, dp_F45)]).
step(dp_in(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_C12),
     rule(139),
     ['C' = dp_C12, 'P' = dp_P1, 'Q' = dp_P5, 'F' = dp_F51],
     [request(dp_C12, dp_P1, dp_P5, dp_F51)]).
step(dp_in(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_C12),
     rule(139),
     ['C' = dp_C12, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C12, dp_P3, dp_P2, dp_F23)]).
step(dp_in(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_C14),
     rule(139),
     ['C' = dp_C14, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C14, dp_P2, dp_P1, dp_F12)]).
step(dp_in(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_C14),
     rule(139),
     ['C' = dp_C14, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C14, dp_P4, dp_P3, dp_F34)]).
step(dp_in(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_C16),
     rule(139),
     ['C' = dp_C16, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C16, dp_P5, dp_P4, dp_F45)]).
step(dp_in(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_C2),
     rule(139),
     ['C' = dp_C2, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C2, dp_P2, dp_P3, dp_F23)]).
step(dp_in(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_C4),
     rule(139),
     ['C' = dp_C4, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C4, dp_P5, dp_P1, dp_F51)]).
step(dp_in(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_C6),
     rule(139),
     ['C' = dp_C6, 'P' = dp_P1, 'Q' = dp_P2, 'F' = dp_F12],
     [request(dp_C6, dp_P1, dp_P2, dp_F12)]).
step(dp_in(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_C6),
     rule(139),
     ['C' = dp_C6, 'P' = dp_P3, 'Q' = dp_P4, 'F' = dp_F34],
     [request(dp_C6, dp_P3, dp_P4, dp_F34)]).
step(dp_in(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_C8),
     rule(139),
     ['C' = dp_C8, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C8, dp_P2, dp_P3, dp_F23)]).
step(dp_in(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_C8),
     rule(139),
     ['C' = dp_C8, 'P' = dp_P4, 'Q' = dp_P5, 'F' = dp_F45],
     [request(dp_C8, dp_P4, dp_P5, dp_F45)]).
step(dp_in(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_C10),
     rule(139),
     ['C' = dp_C10, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C10, dp_P5, dp_P1, dp_F51)]).
step(dp_in(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_C12),
     rule(139),
     ['C' = dp_C12, 'P' = dp_P1, 'Q' = dp_P2, 'F' = dp_F12],
     [request(dp_C12, dp_P1, dp_P2, dp_F12)]).
step(dp_in(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_C12),
     rule(139),
     ['C' = dp_C12, 'P' = dp_P3, 'Q' = dp_P4, 'F' = dp_F34],
     [request(dp_C12, dp_P3, dp_P4, dp_F34)]).
step(dp_in(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_C14),
     rule(139),
     ['C' = dp_C14, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C14, dp_P2, dp_P3, dp_F23)]).
step(dp_in(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_C14),
     rule(139),
     ['C' = dp_C14, 'P' = dp_P4, 'Q' = dp_P5, 'F' = dp_F45],
     [request(dp_C14, dp_P4, dp_P5, dp_F45)]).
step(dp_in(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_C16),
     rule(139),
     ['C' = dp_C16, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C16, dp_P5, dp_P1, dp_F51)]).
step(dp_in(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_C0),
     rule(144),
     ['C' = dp_C0, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C0, dp_P2, dp_P3, dp_F23)]).
step(dp_in(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_C2),
     rule(144),
     ['C' = dp_C2, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C2, dp_P1, dp_P2, dp_F12)]).
step(dp_in(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_C2),
     rule(144),
     ['C' = dp_C2, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C2, dp_P3, dp_P4, dp_F34)]).
step(dp_in(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_C4),
     rule(144),
     ['C' = dp_C4, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C4, dp_P4, dp_P5, dp_F45)]).
step(dp_in(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_C6),
     rule(144),
     ['C' = dp_C6, 'Q' = dp_P5, 'P' = dp_P1, 'F' = dp_F51],
     [send_fork(dp_C6, dp_P5, dp_P1, dp_F51)]).
step(dp_in(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_C6),
     rule(144),
     ['C' = dp_C6, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C6, dp_P2, dp_P3, dp_F23)]).
step(dp_in(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_C8),
     rule(144),
     ['C' = dp_C8, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C8, dp_P1, dp_P2, dp_F12)]).
step(dp_in(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_C8),
     rule(144),
     ['C' = dp_C8, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C8, dp_P3, dp_P4, dp_F34)]).
step(dp_in(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_C10),
     rule(144),
     ['C' = dp_C10, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C10, dp_P4, dp_P5, dp_F45)]).
step(dp_in(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_C12),
     rule(144),
     ['C' = dp_C12, 'Q' = dp_P5, 'P' = dp_P1, 'F' = dp_F51],
     [send_fork(dp_C12, dp_P5, dp_P1, dp_F51)]).
step(dp_in(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_C12),
     rule(144),
     ['C' = dp_C12, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C12, dp_P2, dp_P3, dp_F23)]).
step(dp_in(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_C14),
     rule(144),
     ['C' = dp_C14, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C14, dp_P1, dp_P2, dp_F12)]).
step(dp_in(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_C14),
     rule(144),
     ['C' = dp_C14, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C14, dp_P3, dp_P4, dp_F34)]).
step(dp_in(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_C16),
     rule(144),
     ['C' = dp_C16, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C16, dp_P4, dp_P5, dp_F45)]).
step(dp_in(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_C2),
     rule(144),
     ['C' = dp_C2, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C2, dp_P3, dp_P2, dp_F23)]).
step(dp_in(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_C4),
     rule(144),
     ['C' = dp_C4, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C4, dp_P1, dp_P5, dp_F51)]).
step(dp_in(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_C6),
     rule(144),
     ['C' = dp_C6, 'Q' = dp_P2, 'P' = dp_P1, 'F' = dp_F12],
     [send_fork(dp_C6, dp_P2, dp_P1, dp_F12)]).
step(dp_in(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_C6),
     rule(144),
     ['C' = dp_C6, 'Q' = dp_P4, 'P' = dp_P3, 'F' = dp_F34],
     [send_fork(dp_C6, dp_P4, dp_P3, dp_F34)]).
step(dp_in(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_C8),
     rule(144),
     ['C' = dp_C8, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C8, dp_P3, dp_P2, dp_F23)]).
step(dp_in(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_C8),
     rule(144),
     ['C' = dp_C8, 'Q' = dp_P5, 'P' = dp_P4, 'F' = dp_F45],
     [send_fork(dp_C8, dp_P5, dp_P4, dp_F45)]).
step(dp_in(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_C10),
     rule(144),
     ['C' = dp_C10, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C10, dp_P1, dp_P5, dp_F51)]).
step(dp_in(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_C12),
     rule(144),
     ['C' = dp_C12, 'Q' = dp_P2, 'P' = dp_P1, 'F' = dp_F12],
     [send_fork(dp_C12, dp_P2, dp_P1, dp_F12)]).
step(dp_in(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_C12),
     rule(144),
     ['C' = dp_C12, 'Q' = dp_P4, 'P' = dp_P3, 'F' = dp_F34],
     [send_fork(dp_C12, dp_P4, dp_P3, dp_F34)]).
step(dp_in(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_C14),
     rule(144),
     ['C' = dp_C14, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C14, dp_P3, dp_P2, dp_F23)]).
step(dp_in(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_C14),
     rule(144),
     ['C' = dp_C14, 'Q' = dp_P5, 'P' = dp_P4, 'F' = dp_F45],
     [send_fork(dp_C14, dp_P5, dp_P4, dp_F45)]).
step(dp_in(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_C16),
     rule(144),
     ['C' = dp_C16, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C16, dp_P1, dp_P5, dp_F51)]).
step(dp_from(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_P3),
     rule(140),
     ['C' = dp_C0, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C0, dp_P3, dp_P2, dp_F23)]).
step(dp_from(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_P2),
     rule(140),
     ['C' = dp_C2, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C2, dp_P2, dp_P1, dp_F12)]).
step(dp_from(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_P4),
     rule(140),
     ['C' = dp_C2, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C2, dp_P4, dp_P3, dp_F34)]).
step(dp_from(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_P5),
     rule(140),
     ['C' = dp_C4, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C4, dp_P5, dp_P4, dp_F45)]).
step(dp_from(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_P1),
     rule(140),
     ['C' = dp_C6, 'P' = dp_P1, 'Q' = dp_P5, 'F' = dp_F51],
     [request(dp_C6, dp_P1, dp_P5, dp_F51)]).
step(dp_from(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_P3),
     rule(140),
     ['C' = dp_C6, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C6, dp_P3, dp_P2, dp_F23)]).
step(dp_from(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_P2),
     rule(140),
     ['C' = dp_C8, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C8, dp_P2, dp_P1, dp_F12)]).
step(dp_from(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_P4),
     rule(140),
     ['C' = dp_C8, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C8, dp_P4, dp_P3, dp_F34)]).
step(dp_from(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_P5),
     rule(140),
     ['C' = dp_C10, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C10, dp_P5, dp_P4, dp_F45)]).
step(dp_from(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_P1),
     rule(140),
     ['C' = dp_C12, 'P' = dp_P1, 'Q' = dp_P5, 'F' = dp_F51],
     [request(dp_C12, dp_P1, dp_P5, dp_F51)]).
step(dp_from(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_P3),
     rule(140),
     ['C' = dp_C12, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C12, dp_P3, dp_P2, dp_F23)]).
step(dp_from(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_P2),
     rule(140),
     ['C' = dp_C14, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C14, dp_P2, dp_P1, dp_F12)]).
step(dp_from(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_P4),
     rule(140),
     ['C' = dp_C14, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C14, dp_P4, dp_P3, dp_F34)]).
step(dp_from(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_P5),
     rule(140),
     ['C' = dp_C16, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C16, dp_P5, dp_P4, dp_F45)]).
step(dp_from(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_P2),
     rule(140),
     ['C' = dp_C2, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C2, dp_P2, dp_P3, dp_F23)]).
step(dp_from(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_P5),
     rule(140),
     ['C' = dp_C4, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C4, dp_P5, dp_P1, dp_F51)]).
step(dp_from(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_P1),
     rule(140),
     ['C' = dp_C6, 'P' = dp_P1, 'Q' = dp_P2, 'F' = dp_F12],
     [request(dp_C6, dp_P1, dp_P2, dp_F12)]).
step(dp_from(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_P3),
     rule(140),
     ['C' = dp_C6, 'P' = dp_P3, 'Q' = dp_P4, 'F' = dp_F34],
     [request(dp_C6, dp_P3, dp_P4, dp_F34)]).
step(dp_from(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_P2),
     rule(140),
     ['C' = dp_C8, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C8, dp_P2, dp_P3, dp_F23)]).
step(dp_from(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_P4),
     rule(140),
     ['C' = dp_C8, 'P' = dp_P4, 'Q' = dp_P5, 'F' = dp_F45],
     [request(dp_C8, dp_P4, dp_P5, dp_F45)]).
step(dp_from(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_P5),
     rule(140),
     ['C' = dp_C10, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C10, dp_P5, dp_P1, dp_F51)]).
step(dp_from(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_P1),
     rule(140),
     ['C' = dp_C12, 'P' = dp_P1, 'Q' = dp_P2, 'F' = dp_F12],
     [request(dp_C12, dp_P1, dp_P2, dp_F12)]).
step(dp_from(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_P3),
     rule(140),
     ['C' = dp_C12, 'P' = dp_P3, 'Q' = dp_P4, 'F' = dp_F34],
     [request(dp_C12, dp_P3, dp_P4, dp_F34)]).
step(dp_from(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_P2),
     rule(140),
     ['C' = dp_C14, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C14, dp_P2, dp_P3, dp_F23)]).
step(dp_from(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_P4),
     rule(140),
     ['C' = dp_C14, 'P' = dp_P4, 'Q' = dp_P5, 'F' = dp_F45],
     [request(dp_C14, dp_P4, dp_P5, dp_F45)]).
step(dp_from(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_P5),
     rule(140),
     ['C' = dp_C16, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C16, dp_P5, dp_P1, dp_F51)]).
step(dp_from(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_P2),
     rule(145),
     ['C' = dp_C0, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C0, dp_P2, dp_P3, dp_F23)]).
step(dp_from(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_P1),
     rule(145),
     ['C' = dp_C2, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C2, dp_P1, dp_P2, dp_F12)]).
step(dp_from(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_P3),
     rule(145),
     ['C' = dp_C2, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C2, dp_P3, dp_P4, dp_F34)]).
step(dp_from(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_P4),
     rule(145),
     ['C' = dp_C4, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C4, dp_P4, dp_P5, dp_F45)]).
step(dp_from(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_P5),
     rule(145),
     ['C' = dp_C6, 'Q' = dp_P5, 'P' = dp_P1, 'F' = dp_F51],
     [send_fork(dp_C6, dp_P5, dp_P1, dp_F51)]).
step(dp_from(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_P2),
     rule(145),
     ['C' = dp_C6, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C6, dp_P2, dp_P3, dp_F23)]).
step(dp_from(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_P1),
     rule(145),
     ['C' = dp_C8, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C8, dp_P1, dp_P2, dp_F12)]).
step(dp_from(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_P3),
     rule(145),
     ['C' = dp_C8, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C8, dp_P3, dp_P4, dp_F34)]).
step(dp_from(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_P4),
     rule(145),
     ['C' = dp_C10, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C10, dp_P4, dp_P5, dp_F45)]).
step(dp_from(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_P5),
     rule(145),
     ['C' = dp_C12, 'Q' = dp_P5, 'P' = dp_P1, 'F' = dp_F51],
     [send_fork(dp_C12, dp_P5, dp_P1, dp_F51)]).
step(dp_from(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_P2),
     rule(145),
     ['C' = dp_C12, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C12, dp_P2, dp_P3, dp_F23)]).
step(dp_from(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_P1),
     rule(145),
     ['C' = dp_C14, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C14, dp_P1, dp_P2, dp_F12)]).
step(dp_from(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_P3),
     rule(145),
     ['C' = dp_C14, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C14, dp_P3, dp_P4, dp_F34)]).
step(dp_from(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_P4),
     rule(145),
     ['C' = dp_C16, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C16, dp_P4, dp_P5, dp_F45)]).
step(dp_from(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_P3),
     rule(145),
     ['C' = dp_C2, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C2, dp_P3, dp_P2, dp_F23)]).
step(dp_from(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_P1),
     rule(145),
     ['C' = dp_C4, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C4, dp_P1, dp_P5, dp_F51)]).
step(dp_from(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_P2),
     rule(145),
     ['C' = dp_C6, 'Q' = dp_P2, 'P' = dp_P1, 'F' = dp_F12],
     [send_fork(dp_C6, dp_P2, dp_P1, dp_F12)]).
step(dp_from(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_P4),
     rule(145),
     ['C' = dp_C6, 'Q' = dp_P4, 'P' = dp_P3, 'F' = dp_F34],
     [send_fork(dp_C6, dp_P4, dp_P3, dp_F34)]).
step(dp_from(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_P3),
     rule(145),
     ['C' = dp_C8, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C8, dp_P3, dp_P2, dp_F23)]).
step(dp_from(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_P5),
     rule(145),
     ['C' = dp_C8, 'Q' = dp_P5, 'P' = dp_P4, 'F' = dp_F45],
     [send_fork(dp_C8, dp_P5, dp_P4, dp_F45)]).
step(dp_from(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_P1),
     rule(145),
     ['C' = dp_C10, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C10, dp_P1, dp_P5, dp_F51)]).
step(dp_from(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_P2),
     rule(145),
     ['C' = dp_C12, 'Q' = dp_P2, 'P' = dp_P1, 'F' = dp_F12],
     [send_fork(dp_C12, dp_P2, dp_P1, dp_F12)]).
step(dp_from(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_P4),
     rule(145),
     ['C' = dp_C12, 'Q' = dp_P4, 'P' = dp_P3, 'F' = dp_F34],
     [send_fork(dp_C12, dp_P4, dp_P3, dp_F34)]).
step(dp_from(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_P3),
     rule(145),
     ['C' = dp_C14, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C14, dp_P3, dp_P2, dp_F23)]).
step(dp_from(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_P5),
     rule(145),
     ['C' = dp_C14, 'Q' = dp_P5, 'P' = dp_P4, 'F' = dp_F45],
     [send_fork(dp_C14, dp_P5, dp_P4, dp_F45)]).
step(dp_from(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_P1),
     rule(145),
     ['C' = dp_C16, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C16, dp_P1, dp_P5, dp_F51)]).
step(dp_to(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_P2),
     rule(141),
     ['C' = dp_C0, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C0, dp_P3, dp_P2, dp_F23)]).
step(dp_to(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_P1),
     rule(141),
     ['C' = dp_C2, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C2, dp_P2, dp_P1, dp_F12)]).
step(dp_to(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_P3),
     rule(141),
     ['C' = dp_C2, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C2, dp_P4, dp_P3, dp_F34)]).
step(dp_to(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_P4),
     rule(141),
     ['C' = dp_C4, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C4, dp_P5, dp_P4, dp_F45)]).
step(dp_to(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_P5),
     rule(141),
     ['C' = dp_C6, 'P' = dp_P1, 'Q' = dp_P5, 'F' = dp_F51],
     [request(dp_C6, dp_P1, dp_P5, dp_F51)]).
step(dp_to(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_P2),
     rule(141),
     ['C' = dp_C6, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C6, dp_P3, dp_P2, dp_F23)]).
step(dp_to(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_P1),
     rule(141),
     ['C' = dp_C8, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C8, dp_P2, dp_P1, dp_F12)]).
step(dp_to(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_P3),
     rule(141),
     ['C' = dp_C8, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C8, dp_P4, dp_P3, dp_F34)]).
step(dp_to(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_P4),
     rule(141),
     ['C' = dp_C10, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C10, dp_P5, dp_P4, dp_F45)]).
step(dp_to(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_P5),
     rule(141),
     ['C' = dp_C12, 'P' = dp_P1, 'Q' = dp_P5, 'F' = dp_F51],
     [request(dp_C12, dp_P1, dp_P5, dp_F51)]).
step(dp_to(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_P2),
     rule(141),
     ['C' = dp_C12, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C12, dp_P3, dp_P2, dp_F23)]).
step(dp_to(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_P1),
     rule(141),
     ['C' = dp_C14, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C14, dp_P2, dp_P1, dp_F12)]).
step(dp_to(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_P3),
     rule(141),
     ['C' = dp_C14, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C14, dp_P4, dp_P3, dp_F34)]).
step(dp_to(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_P4),
     rule(141),
     ['C' = dp_C16, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C16, dp_P5, dp_P4, dp_F45)]).
step(dp_to(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_P3),
     rule(141),
     ['C' = dp_C2, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C2, dp_P2, dp_P3, dp_F23)]).
step(dp_to(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_P1),
     rule(141),
     ['C' = dp_C4, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C4, dp_P5, dp_P1, dp_F51)]).
step(dp_to(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_P2),
     rule(141),
     ['C' = dp_C6, 'P' = dp_P1, 'Q' = dp_P2, 'F' = dp_F12],
     [request(dp_C6, dp_P1, dp_P2, dp_F12)]).
step(dp_to(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_P4),
     rule(141),
     ['C' = dp_C6, 'P' = dp_P3, 'Q' = dp_P4, 'F' = dp_F34],
     [request(dp_C6, dp_P3, dp_P4, dp_F34)]).
step(dp_to(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_P3),
     rule(141),
     ['C' = dp_C8, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C8, dp_P2, dp_P3, dp_F23)]).
step(dp_to(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_P5),
     rule(141),
     ['C' = dp_C8, 'P' = dp_P4, 'Q' = dp_P5, 'F' = dp_F45],
     [request(dp_C8, dp_P4, dp_P5, dp_F45)]).
step(dp_to(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_P1),
     rule(141),
     ['C' = dp_C10, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C10, dp_P5, dp_P1, dp_F51)]).
step(dp_to(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_P2),
     rule(141),
     ['C' = dp_C12, 'P' = dp_P1, 'Q' = dp_P2, 'F' = dp_F12],
     [request(dp_C12, dp_P1, dp_P2, dp_F12)]).
step(dp_to(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_P4),
     rule(141),
     ['C' = dp_C12, 'P' = dp_P3, 'Q' = dp_P4, 'F' = dp_F34],
     [request(dp_C12, dp_P3, dp_P4, dp_F34)]).
step(dp_to(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_P3),
     rule(141),
     ['C' = dp_C14, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C14, dp_P2, dp_P3, dp_F23)]).
step(dp_to(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_P5),
     rule(141),
     ['C' = dp_C14, 'P' = dp_P4, 'Q' = dp_P5, 'F' = dp_F45],
     [request(dp_C14, dp_P4, dp_P5, dp_F45)]).
step(dp_to(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_P1),
     rule(141),
     ['C' = dp_C16, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C16, dp_P5, dp_P1, dp_F51)]).
step(dp_to(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_P3),
     rule(146),
     ['C' = dp_C0, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C0, dp_P2, dp_P3, dp_F23)]).
step(dp_to(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_P2),
     rule(146),
     ['C' = dp_C2, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C2, dp_P1, dp_P2, dp_F12)]).
step(dp_to(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_P4),
     rule(146),
     ['C' = dp_C2, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C2, dp_P3, dp_P4, dp_F34)]).
step(dp_to(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_P5),
     rule(146),
     ['C' = dp_C4, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C4, dp_P4, dp_P5, dp_F45)]).
step(dp_to(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_P1),
     rule(146),
     ['C' = dp_C6, 'Q' = dp_P5, 'P' = dp_P1, 'F' = dp_F51],
     [send_fork(dp_C6, dp_P5, dp_P1, dp_F51)]).
step(dp_to(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_P3),
     rule(146),
     ['C' = dp_C6, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C6, dp_P2, dp_P3, dp_F23)]).
step(dp_to(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_P2),
     rule(146),
     ['C' = dp_C8, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C8, dp_P1, dp_P2, dp_F12)]).
step(dp_to(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_P4),
     rule(146),
     ['C' = dp_C8, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C8, dp_P3, dp_P4, dp_F34)]).
step(dp_to(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_P5),
     rule(146),
     ['C' = dp_C10, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C10, dp_P4, dp_P5, dp_F45)]).
step(dp_to(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_P1),
     rule(146),
     ['C' = dp_C12, 'Q' = dp_P5, 'P' = dp_P1, 'F' = dp_F51],
     [send_fork(dp_C12, dp_P5, dp_P1, dp_F51)]).
step(dp_to(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_P3),
     rule(146),
     ['C' = dp_C12, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C12, dp_P2, dp_P3, dp_F23)]).
step(dp_to(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_P2),
     rule(146),
     ['C' = dp_C14, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C14, dp_P1, dp_P2, dp_F12)]).
step(dp_to(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_P4),
     rule(146),
     ['C' = dp_C14, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C14, dp_P3, dp_P4, dp_F34)]).
step(dp_to(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_P5),
     rule(146),
     ['C' = dp_C16, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C16, dp_P4, dp_P5, dp_F45)]).
step(dp_to(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_P2),
     rule(146),
     ['C' = dp_C2, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C2, dp_P3, dp_P2, dp_F23)]).
step(dp_to(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_P5),
     rule(146),
     ['C' = dp_C4, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C4, dp_P1, dp_P5, dp_F51)]).
step(dp_to(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_P1),
     rule(146),
     ['C' = dp_C6, 'Q' = dp_P2, 'P' = dp_P1, 'F' = dp_F12],
     [send_fork(dp_C6, dp_P2, dp_P1, dp_F12)]).
step(dp_to(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_P3),
     rule(146),
     ['C' = dp_C6, 'Q' = dp_P4, 'P' = dp_P3, 'F' = dp_F34],
     [send_fork(dp_C6, dp_P4, dp_P3, dp_F34)]).
step(dp_to(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_P2),
     rule(146),
     ['C' = dp_C8, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C8, dp_P3, dp_P2, dp_F23)]).
step(dp_to(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_P4),
     rule(146),
     ['C' = dp_C8, 'Q' = dp_P5, 'P' = dp_P4, 'F' = dp_F45],
     [send_fork(dp_C8, dp_P5, dp_P4, dp_F45)]).
step(dp_to(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_P5),
     rule(146),
     ['C' = dp_C10, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C10, dp_P1, dp_P5, dp_F51)]).
step(dp_to(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_P1),
     rule(146),
     ['C' = dp_C12, 'Q' = dp_P2, 'P' = dp_P1, 'F' = dp_F12],
     [send_fork(dp_C12, dp_P2, dp_P1, dp_F12)]).
step(dp_to(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_P3),
     rule(146),
     ['C' = dp_C12, 'Q' = dp_P4, 'P' = dp_P3, 'F' = dp_F34],
     [send_fork(dp_C12, dp_P4, dp_P3, dp_F34)]).
step(dp_to(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_P2),
     rule(146),
     ['C' = dp_C14, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C14, dp_P3, dp_P2, dp_F23)]).
step(dp_to(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_P4),
     rule(146),
     ['C' = dp_C14, 'Q' = dp_P5, 'P' = dp_P4, 'F' = dp_F45],
     [send_fork(dp_C14, dp_P5, dp_P4, dp_F45)]).
step(dp_to(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_P5),
     rule(146),
     ['C' = dp_C16, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C16, dp_P1, dp_P5, dp_F51)]).
step(dp_fork(request(dp_C0, dp_P3, dp_P2, dp_F23), dp_F23),
     rule(142),
     ['C' = dp_C0, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C0, dp_P3, dp_P2, dp_F23)]).
step(dp_fork(request(dp_C2, dp_P2, dp_P1, dp_F12), dp_F12),
     rule(142),
     ['C' = dp_C2, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C2, dp_P2, dp_P1, dp_F12)]).
step(dp_fork(request(dp_C2, dp_P4, dp_P3, dp_F34), dp_F34),
     rule(142),
     ['C' = dp_C2, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C2, dp_P4, dp_P3, dp_F34)]).
step(dp_fork(request(dp_C4, dp_P5, dp_P4, dp_F45), dp_F45),
     rule(142),
     ['C' = dp_C4, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C4, dp_P5, dp_P4, dp_F45)]).
step(dp_fork(request(dp_C6, dp_P1, dp_P5, dp_F51), dp_F51),
     rule(142),
     ['C' = dp_C6, 'P' = dp_P1, 'Q' = dp_P5, 'F' = dp_F51],
     [request(dp_C6, dp_P1, dp_P5, dp_F51)]).
step(dp_fork(request(dp_C6, dp_P3, dp_P2, dp_F23), dp_F23),
     rule(142),
     ['C' = dp_C6, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C6, dp_P3, dp_P2, dp_F23)]).
step(dp_fork(request(dp_C8, dp_P2, dp_P1, dp_F12), dp_F12),
     rule(142),
     ['C' = dp_C8, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C8, dp_P2, dp_P1, dp_F12)]).
step(dp_fork(request(dp_C8, dp_P4, dp_P3, dp_F34), dp_F34),
     rule(142),
     ['C' = dp_C8, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C8, dp_P4, dp_P3, dp_F34)]).
step(dp_fork(request(dp_C10, dp_P5, dp_P4, dp_F45), dp_F45),
     rule(142),
     ['C' = dp_C10, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C10, dp_P5, dp_P4, dp_F45)]).
step(dp_fork(request(dp_C12, dp_P1, dp_P5, dp_F51), dp_F51),
     rule(142),
     ['C' = dp_C12, 'P' = dp_P1, 'Q' = dp_P5, 'F' = dp_F51],
     [request(dp_C12, dp_P1, dp_P5, dp_F51)]).
step(dp_fork(request(dp_C12, dp_P3, dp_P2, dp_F23), dp_F23),
     rule(142),
     ['C' = dp_C12, 'P' = dp_P3, 'Q' = dp_P2, 'F' = dp_F23],
     [request(dp_C12, dp_P3, dp_P2, dp_F23)]).
step(dp_fork(request(dp_C14, dp_P2, dp_P1, dp_F12), dp_F12),
     rule(142),
     ['C' = dp_C14, 'P' = dp_P2, 'Q' = dp_P1, 'F' = dp_F12],
     [request(dp_C14, dp_P2, dp_P1, dp_F12)]).
step(dp_fork(request(dp_C14, dp_P4, dp_P3, dp_F34), dp_F34),
     rule(142),
     ['C' = dp_C14, 'P' = dp_P4, 'Q' = dp_P3, 'F' = dp_F34],
     [request(dp_C14, dp_P4, dp_P3, dp_F34)]).
step(dp_fork(request(dp_C16, dp_P5, dp_P4, dp_F45), dp_F45),
     rule(142),
     ['C' = dp_C16, 'P' = dp_P5, 'Q' = dp_P4, 'F' = dp_F45],
     [request(dp_C16, dp_P5, dp_P4, dp_F45)]).
step(dp_fork(request(dp_C2, dp_P2, dp_P3, dp_F23), dp_F23),
     rule(142),
     ['C' = dp_C2, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C2, dp_P2, dp_P3, dp_F23)]).
step(dp_fork(request(dp_C4, dp_P5, dp_P1, dp_F51), dp_F51),
     rule(142),
     ['C' = dp_C4, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C4, dp_P5, dp_P1, dp_F51)]).
step(dp_fork(request(dp_C6, dp_P1, dp_P2, dp_F12), dp_F12),
     rule(142),
     ['C' = dp_C6, 'P' = dp_P1, 'Q' = dp_P2, 'F' = dp_F12],
     [request(dp_C6, dp_P1, dp_P2, dp_F12)]).
step(dp_fork(request(dp_C6, dp_P3, dp_P4, dp_F34), dp_F34),
     rule(142),
     ['C' = dp_C6, 'P' = dp_P3, 'Q' = dp_P4, 'F' = dp_F34],
     [request(dp_C6, dp_P3, dp_P4, dp_F34)]).
step(dp_fork(request(dp_C8, dp_P2, dp_P3, dp_F23), dp_F23),
     rule(142),
     ['C' = dp_C8, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C8, dp_P2, dp_P3, dp_F23)]).
step(dp_fork(request(dp_C8, dp_P4, dp_P5, dp_F45), dp_F45),
     rule(142),
     ['C' = dp_C8, 'P' = dp_P4, 'Q' = dp_P5, 'F' = dp_F45],
     [request(dp_C8, dp_P4, dp_P5, dp_F45)]).
step(dp_fork(request(dp_C10, dp_P5, dp_P1, dp_F51), dp_F51),
     rule(142),
     ['C' = dp_C10, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C10, dp_P5, dp_P1, dp_F51)]).
step(dp_fork(request(dp_C12, dp_P1, dp_P2, dp_F12), dp_F12),
     rule(142),
     ['C' = dp_C12, 'P' = dp_P1, 'Q' = dp_P2, 'F' = dp_F12],
     [request(dp_C12, dp_P1, dp_P2, dp_F12)]).
step(dp_fork(request(dp_C12, dp_P3, dp_P4, dp_F34), dp_F34),
     rule(142),
     ['C' = dp_C12, 'P' = dp_P3, 'Q' = dp_P4, 'F' = dp_F34],
     [request(dp_C12, dp_P3, dp_P4, dp_F34)]).
step(dp_fork(request(dp_C14, dp_P2, dp_P3, dp_F23), dp_F23),
     rule(142),
     ['C' = dp_C14, 'P' = dp_P2, 'Q' = dp_P3, 'F' = dp_F23],
     [request(dp_C14, dp_P2, dp_P3, dp_F23)]).
step(dp_fork(request(dp_C14, dp_P4, dp_P5, dp_F45), dp_F45),
     rule(142),
     ['C' = dp_C14, 'P' = dp_P4, 'Q' = dp_P5, 'F' = dp_F45],
     [request(dp_C14, dp_P4, dp_P5, dp_F45)]).
step(dp_fork(request(dp_C16, dp_P5, dp_P1, dp_F51), dp_F51),
     rule(142),
     ['C' = dp_C16, 'P' = dp_P5, 'Q' = dp_P1, 'F' = dp_F51],
     [request(dp_C16, dp_P5, dp_P1, dp_F51)]).
step(dp_fork(send(dp_C0, dp_P2, dp_P3, dp_F23), dp_F23),
     rule(147),
     ['C' = dp_C0, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C0, dp_P2, dp_P3, dp_F23)]).
step(dp_fork(send(dp_C2, dp_P1, dp_P2, dp_F12), dp_F12),
     rule(147),
     ['C' = dp_C2, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C2, dp_P1, dp_P2, dp_F12)]).
step(dp_fork(send(dp_C2, dp_P3, dp_P4, dp_F34), dp_F34),
     rule(147),
     ['C' = dp_C2, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C2, dp_P3, dp_P4, dp_F34)]).
step(dp_fork(send(dp_C4, dp_P4, dp_P5, dp_F45), dp_F45),
     rule(147),
     ['C' = dp_C4, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C4, dp_P4, dp_P5, dp_F45)]).
step(dp_fork(send(dp_C6, dp_P5, dp_P1, dp_F51), dp_F51),
     rule(147),
     ['C' = dp_C6, 'Q' = dp_P5, 'P' = dp_P1, 'F' = dp_F51],
     [send_fork(dp_C6, dp_P5, dp_P1, dp_F51)]).
step(dp_fork(send(dp_C6, dp_P2, dp_P3, dp_F23), dp_F23),
     rule(147),
     ['C' = dp_C6, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C6, dp_P2, dp_P3, dp_F23)]).
step(dp_fork(send(dp_C8, dp_P1, dp_P2, dp_F12), dp_F12),
     rule(147),
     ['C' = dp_C8, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C8, dp_P1, dp_P2, dp_F12)]).
step(dp_fork(send(dp_C8, dp_P3, dp_P4, dp_F34), dp_F34),
     rule(147),
     ['C' = dp_C8, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C8, dp_P3, dp_P4, dp_F34)]).
step(dp_fork(send(dp_C10, dp_P4, dp_P5, dp_F45), dp_F45),
     rule(147),
     ['C' = dp_C10, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C10, dp_P4, dp_P5, dp_F45)]).
step(dp_fork(send(dp_C12, dp_P5, dp_P1, dp_F51), dp_F51),
     rule(147),
     ['C' = dp_C12, 'Q' = dp_P5, 'P' = dp_P1, 'F' = dp_F51],
     [send_fork(dp_C12, dp_P5, dp_P1, dp_F51)]).
step(dp_fork(send(dp_C12, dp_P2, dp_P3, dp_F23), dp_F23),
     rule(147),
     ['C' = dp_C12, 'Q' = dp_P2, 'P' = dp_P3, 'F' = dp_F23],
     [send_fork(dp_C12, dp_P2, dp_P3, dp_F23)]).
step(dp_fork(send(dp_C14, dp_P1, dp_P2, dp_F12), dp_F12),
     rule(147),
     ['C' = dp_C14, 'Q' = dp_P1, 'P' = dp_P2, 'F' = dp_F12],
     [send_fork(dp_C14, dp_P1, dp_P2, dp_F12)]).
step(dp_fork(send(dp_C14, dp_P3, dp_P4, dp_F34), dp_F34),
     rule(147),
     ['C' = dp_C14, 'Q' = dp_P3, 'P' = dp_P4, 'F' = dp_F34],
     [send_fork(dp_C14, dp_P3, dp_P4, dp_F34)]).
step(dp_fork(send(dp_C16, dp_P4, dp_P5, dp_F45), dp_F45),
     rule(147),
     ['C' = dp_C16, 'Q' = dp_P4, 'P' = dp_P5, 'F' = dp_F45],
     [send_fork(dp_C16, dp_P4, dp_P5, dp_F45)]).
step(dp_fork(send(dp_C2, dp_P3, dp_P2, dp_F23), dp_F23),
     rule(147),
     ['C' = dp_C2, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C2, dp_P3, dp_P2, dp_F23)]).
step(dp_fork(send(dp_C4, dp_P1, dp_P5, dp_F51), dp_F51),
     rule(147),
     ['C' = dp_C4, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C4, dp_P1, dp_P5, dp_F51)]).
step(dp_fork(send(dp_C6, dp_P2, dp_P1, dp_F12), dp_F12),
     rule(147),
     ['C' = dp_C6, 'Q' = dp_P2, 'P' = dp_P1, 'F' = dp_F12],
     [send_fork(dp_C6, dp_P2, dp_P1, dp_F12)]).
step(dp_fork(send(dp_C6, dp_P4, dp_P3, dp_F34), dp_F34),
     rule(147),
     ['C' = dp_C6, 'Q' = dp_P4, 'P' = dp_P3, 'F' = dp_F34],
     [send_fork(dp_C6, dp_P4, dp_P3, dp_F34)]).
step(dp_fork(send(dp_C8, dp_P3, dp_P2, dp_F23), dp_F23),
     rule(147),
     ['C' = dp_C8, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C8, dp_P3, dp_P2, dp_F23)]).
step(dp_fork(send(dp_C8, dp_P5, dp_P4, dp_F45), dp_F45),
     rule(147),
     ['C' = dp_C8, 'Q' = dp_P5, 'P' = dp_P4, 'F' = dp_F45],
     [send_fork(dp_C8, dp_P5, dp_P4, dp_F45)]).
step(dp_fork(send(dp_C10, dp_P1, dp_P5, dp_F51), dp_F51),
     rule(147),
     ['C' = dp_C10, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C10, dp_P1, dp_P5, dp_F51)]).
step(dp_fork(send(dp_C12, dp_P2, dp_P1, dp_F12), dp_F12),
     rule(147),
     ['C' = dp_C12, 'Q' = dp_P2, 'P' = dp_P1, 'F' = dp_F12],
     [send_fork(dp_C12, dp_P2, dp_P1, dp_F12)]).
step(dp_fork(send(dp_C12, dp_P4, dp_P3, dp_F34), dp_F34),
     rule(147),
     ['C' = dp_C12, 'Q' = dp_P4, 'P' = dp_P3, 'F' = dp_F34],
     [send_fork(dp_C12, dp_P4, dp_P3, dp_F34)]).
step(dp_fork(send(dp_C14, dp_P3, dp_P2, dp_F23), dp_F23),
     rule(147),
     ['C' = dp_C14, 'Q' = dp_P3, 'P' = dp_P2, 'F' = dp_F23],
     [send_fork(dp_C14, dp_P3, dp_P2, dp_F23)]).
step(dp_fork(send(dp_C14, dp_P5, dp_P4, dp_F45), dp_F45),
     rule(147),
     ['C' = dp_C14, 'Q' = dp_P5, 'P' = dp_P4, 'F' = dp_F45],
     [send_fork(dp_C14, dp_P5, dp_P4, dp_F45)]).
step(dp_fork(send(dp_C16, dp_P1, dp_P5, dp_F51), dp_F51),
     rule(147),
     ['C' = dp_C16, 'Q' = dp_P1, 'P' = dp_P5, 'F' = dp_F51],
     [send_fork(dp_C16, dp_P1, dp_P5, dp_F51)]).
step(dp_philosopher(dp_mP1_1, dp_P1),
     rule(149),
     ['M' = dp_mP1_1, 'P' = dp_P1],
     [meal(dp_mP1_1, dp_P1, 1, dp_s1)]).
step(dp_philosopher(dp_mP3_1, dp_P3),
     rule(149),
     ['M' = dp_mP3_1, 'P' = dp_P3],
     [meal(dp_mP3_1, dp_P3, 1, dp_s1)]).
step(dp_philosopher(dp_mP2_1, dp_P2),
     rule(149),
     ['M' = dp_mP2_1, 'P' = dp_P2],
     [meal(dp_mP2_1, dp_P2, 1, dp_s2)]).
step(dp_philosopher(dp_mP4_1, dp_P4),
     rule(149),
     ['M' = dp_mP4_1, 'P' = dp_P4],
     [meal(dp_mP4_1, dp_P4, 1, dp_s2)]).
step(dp_philosopher(dp_mP5_1, dp_P5),
     rule(149),
     ['M' = dp_mP5_1, 'P' = dp_P5],
     [meal(dp_mP5_1, dp_P5, 1, dp_s3)]).
step(dp_philosopher(dp_mP1_2, dp_P1),
     rule(149),
     ['M' = dp_mP1_2, 'P' = dp_P1],
     [meal(dp_mP1_2, dp_P1, 2, dp_s4)]).
step(dp_philosopher(dp_mP3_2, dp_P3),
     rule(149),
     ['M' = dp_mP3_2, 'P' = dp_P3],
     [meal(dp_mP3_2, dp_P3, 2, dp_s4)]).
step(dp_philosopher(dp_mP2_2, dp_P2),
     rule(149),
     ['M' = dp_mP2_2, 'P' = dp_P2],
     [meal(dp_mP2_2, dp_P2, 2, dp_s5)]).
step(dp_philosopher(dp_mP4_2, dp_P4),
     rule(149),
     ['M' = dp_mP4_2, 'P' = dp_P4],
     [meal(dp_mP4_2, dp_P4, 2, dp_s5)]).
step(dp_philosopher(dp_mP5_2, dp_P5),
     rule(149),
     ['M' = dp_mP5_2, 'P' = dp_P5],
     [meal(dp_mP5_2, dp_P5, 2, dp_s6)]).
step(dp_philosopher(dp_mP1_3, dp_P1),
     rule(149),
     ['M' = dp_mP1_3, 'P' = dp_P1],
     [meal(dp_mP1_3, dp_P1, 3, dp_s7)]).
step(dp_philosopher(dp_mP3_3, dp_P3),
     rule(149),
     ['M' = dp_mP3_3, 'P' = dp_P3],
     [meal(dp_mP3_3, dp_P3, 3, dp_s7)]).
step(dp_philosopher(dp_mP2_3, dp_P2),
     rule(149),
     ['M' = dp_mP2_3, 'P' = dp_P2],
     [meal(dp_mP2_3, dp_P2, 3, dp_s8)]).
step(dp_philosopher(dp_mP4_3, dp_P4),
     rule(149),
     ['M' = dp_mP4_3, 'P' = dp_P4],
     [meal(dp_mP4_3, dp_P4, 3, dp_s8)]).
step(dp_philosopher(dp_mP5_3, dp_P5),
     rule(149),
     ['M' = dp_mP5_3, 'P' = dp_P5],
     [meal(dp_mP5_3, dp_P5, 3, dp_s9)]).
step(dp_mealNo(dp_mP1_1, 1),
     rule(150),
     ['M' = dp_mP1_1, 'N' = 1],
     [meal(dp_mP1_1, dp_P1, 1, dp_s1)]).
step(dp_mealNo(dp_mP3_1, 1),
     rule(150),
     ['M' = dp_mP3_1, 'N' = 1],
     [meal(dp_mP3_1, dp_P3, 1, dp_s1)]).
step(dp_mealNo(dp_mP2_1, 1),
     rule(150),
     ['M' = dp_mP2_1, 'N' = 1],
     [meal(dp_mP2_1, dp_P2, 1, dp_s2)]).
step(dp_mealNo(dp_mP4_1, 1),
     rule(150),
     ['M' = dp_mP4_1, 'N' = 1],
     [meal(dp_mP4_1, dp_P4, 1, dp_s2)]).
step(dp_mealNo(dp_mP5_1, 1),
     rule(150),
     ['M' = dp_mP5_1, 'N' = 1],
     [meal(dp_mP5_1, dp_P5, 1, dp_s3)]).
step(dp_mealNo(dp_mP1_2, 2),
     rule(150),
     ['M' = dp_mP1_2, 'N' = 2],
     [meal(dp_mP1_2, dp_P1, 2, dp_s4)]).
step(dp_mealNo(dp_mP3_2, 2),
     rule(150),
     ['M' = dp_mP3_2, 'N' = 2],
     [meal(dp_mP3_2, dp_P3, 2, dp_s4)]).
step(dp_mealNo(dp_mP2_2, 2),
     rule(150),
     ['M' = dp_mP2_2, 'N' = 2],
     [meal(dp_mP2_2, dp_P2, 2, dp_s5)]).
step(dp_mealNo(dp_mP4_2, 2),
     rule(150),
     ['M' = dp_mP4_2, 'N' = 2],
     [meal(dp_mP4_2, dp_P4, 2, dp_s5)]).
step(dp_mealNo(dp_mP5_2, 2),
     rule(150),
     ['M' = dp_mP5_2, 'N' = 2],
     [meal(dp_mP5_2, dp_P5, 2, dp_s6)]).
step(dp_mealNo(dp_mP1_3, 3),
     rule(150),
     ['M' = dp_mP1_3, 'N' = 3],
     [meal(dp_mP1_3, dp_P1, 3, dp_s7)]).
step(dp_mealNo(dp_mP3_3, 3),
     rule(150),
     ['M' = dp_mP3_3, 'N' = 3],
     [meal(dp_mP3_3, dp_P3, 3, dp_s7)]).
step(dp_mealNo(dp_mP2_3, 3),
     rule(150),
     ['M' = dp_mP2_3, 'N' = 3],
     [meal(dp_mP2_3, dp_P2, 3, dp_s8)]).
step(dp_mealNo(dp_mP4_3, 3),
     rule(150),
     ['M' = dp_mP4_3, 'N' = 3],
     [meal(dp_mP4_3, dp_P4, 3, dp_s8)]).
step(dp_mealNo(dp_mP5_3, 3),
     rule(150),
     ['M' = dp_mP5_3, 'N' = 3],
     [meal(dp_mP5_3, dp_P5, 3, dp_s9)]).
step(dp_inSlot(dp_mP1_1, dp_s1),
     rule(151),
     ['M' = dp_mP1_1, 'S' = dp_s1],
     [meal(dp_mP1_1, dp_P1, 1, dp_s1)]).
step(dp_inSlot(dp_mP3_1, dp_s1),
     rule(151),
     ['M' = dp_mP3_1, 'S' = dp_s1],
     [meal(dp_mP3_1, dp_P3, 1, dp_s1)]).
step(dp_inSlot(dp_mP2_1, dp_s2),
     rule(151),
     ['M' = dp_mP2_1, 'S' = dp_s2],
     [meal(dp_mP2_1, dp_P2, 1, dp_s2)]).
step(dp_inSlot(dp_mP4_1, dp_s2),
     rule(151),
     ['M' = dp_mP4_1, 'S' = dp_s2],
     [meal(dp_mP4_1, dp_P4, 1, dp_s2)]).
step(dp_inSlot(dp_mP5_1, dp_s3),
     rule(151),
     ['M' = dp_mP5_1, 'S' = dp_s3],
     [meal(dp_mP5_1, dp_P5, 1, dp_s3)]).
step(dp_inSlot(dp_mP1_2, dp_s4),
     rule(151),
     ['M' = dp_mP1_2, 'S' = dp_s4],
     [meal(dp_mP1_2, dp_P1, 2, dp_s4)]).
step(dp_inSlot(dp_mP3_2, dp_s4),
     rule(151),
     ['M' = dp_mP3_2, 'S' = dp_s4],
     [meal(dp_mP3_2, dp_P3, 2, dp_s4)]).
step(dp_inSlot(dp_mP2_2, dp_s5),
     rule(151),
     ['M' = dp_mP2_2, 'S' = dp_s5],
     [meal(dp_mP2_2, dp_P2, 2, dp_s5)]).
step(dp_inSlot(dp_mP4_2, dp_s5),
     rule(151),
     ['M' = dp_mP4_2, 'S' = dp_s5],
     [meal(dp_mP4_2, dp_P4, 2, dp_s5)]).
step(dp_inSlot(dp_mP5_2, dp_s6),
     rule(151),
     ['M' = dp_mP5_2, 'S' = dp_s6],
     [meal(dp_mP5_2, dp_P5, 2, dp_s6)]).
step(dp_inSlot(dp_mP1_3, dp_s7),
     rule(151),
     ['M' = dp_mP1_3, 'S' = dp_s7],
     [meal(dp_mP1_3, dp_P1, 3, dp_s7)]).
step(dp_inSlot(dp_mP3_3, dp_s7),
     rule(151),
     ['M' = dp_mP3_3, 'S' = dp_s7],
     [meal(dp_mP3_3, dp_P3, 3, dp_s7)]).
step(dp_inSlot(dp_mP2_3, dp_s8),
     rule(151),
     ['M' = dp_mP2_3, 'S' = dp_s8],
     [meal(dp_mP2_3, dp_P2, 3, dp_s8)]).
step(dp_inSlot(dp_mP4_3, dp_s8),
     rule(151),
     ['M' = dp_mP4_3, 'S' = dp_s8],
     [meal(dp_mP4_3, dp_P4, 3, dp_s8)]).
step(dp_inSlot(dp_mP5_3, dp_s9),
     rule(151),
     ['M' = dp_mP5_3, 'S' = dp_s9],
     [meal(dp_mP5_3, dp_P5, 3, dp_s9)]).
step(dp_usesFork(dp_mP1_1, dp_F51),
     rule(152),
     ['M' = dp_mP1_1, 'Lf' = dp_F51, 'P' = dp_P1],
     [meal(dp_mP1_1, dp_P1, 1, dp_s1), left_fork(dp_P1, dp_F51)]).
step(dp_usesFork(dp_mP3_1, dp_F23),
     rule(152),
     ['M' = dp_mP3_1, 'Lf' = dp_F23, 'P' = dp_P3],
     [meal(dp_mP3_1, dp_P3, 1, dp_s1), left_fork(dp_P3, dp_F23)]).
step(dp_usesFork(dp_mP2_1, dp_F12),
     rule(152),
     ['M' = dp_mP2_1, 'Lf' = dp_F12, 'P' = dp_P2],
     [meal(dp_mP2_1, dp_P2, 1, dp_s2), left_fork(dp_P2, dp_F12)]).
step(dp_usesFork(dp_mP4_1, dp_F34),
     rule(152),
     ['M' = dp_mP4_1, 'Lf' = dp_F34, 'P' = dp_P4],
     [meal(dp_mP4_1, dp_P4, 1, dp_s2), left_fork(dp_P4, dp_F34)]).
step(dp_usesFork(dp_mP5_1, dp_F45),
     rule(152),
     ['M' = dp_mP5_1, 'Lf' = dp_F45, 'P' = dp_P5],
     [meal(dp_mP5_1, dp_P5, 1, dp_s3), left_fork(dp_P5, dp_F45)]).
step(dp_usesFork(dp_mP1_2, dp_F51),
     rule(152),
     ['M' = dp_mP1_2, 'Lf' = dp_F51, 'P' = dp_P1],
     [meal(dp_mP1_2, dp_P1, 2, dp_s4), left_fork(dp_P1, dp_F51)]).
step(dp_usesFork(dp_mP3_2, dp_F23),
     rule(152),
     ['M' = dp_mP3_2, 'Lf' = dp_F23, 'P' = dp_P3],
     [meal(dp_mP3_2, dp_P3, 2, dp_s4), left_fork(dp_P3, dp_F23)]).
step(dp_usesFork(dp_mP2_2, dp_F12),
     rule(152),
     ['M' = dp_mP2_2, 'Lf' = dp_F12, 'P' = dp_P2],
     [meal(dp_mP2_2, dp_P2, 2, dp_s5), left_fork(dp_P2, dp_F12)]).
step(dp_usesFork(dp_mP4_2, dp_F34),
     rule(152),
     ['M' = dp_mP4_2, 'Lf' = dp_F34, 'P' = dp_P4],
     [meal(dp_mP4_2, dp_P4, 2, dp_s5), left_fork(dp_P4, dp_F34)]).
step(dp_usesFork(dp_mP5_2, dp_F45),
     rule(152),
     ['M' = dp_mP5_2, 'Lf' = dp_F45, 'P' = dp_P5],
     [meal(dp_mP5_2, dp_P5, 2, dp_s6), left_fork(dp_P5, dp_F45)]).
step(dp_usesFork(dp_mP1_3, dp_F51),
     rule(152),
     ['M' = dp_mP1_3, 'Lf' = dp_F51, 'P' = dp_P1],
     [meal(dp_mP1_3, dp_P1, 3, dp_s7), left_fork(dp_P1, dp_F51)]).
step(dp_usesFork(dp_mP3_3, dp_F23),
     rule(152),
     ['M' = dp_mP3_3, 'Lf' = dp_F23, 'P' = dp_P3],
     [meal(dp_mP3_3, dp_P3, 3, dp_s7), left_fork(dp_P3, dp_F23)]).
step(dp_usesFork(dp_mP2_3, dp_F12),
     rule(152),
     ['M' = dp_mP2_3, 'Lf' = dp_F12, 'P' = dp_P2],
     [meal(dp_mP2_3, dp_P2, 3, dp_s8), left_fork(dp_P2, dp_F12)]).
step(dp_usesFork(dp_mP4_3, dp_F34),
     rule(152),
     ['M' = dp_mP4_3, 'Lf' = dp_F34, 'P' = dp_P4],
     [meal(dp_mP4_3, dp_P4, 3, dp_s8), left_fork(dp_P4, dp_F34)]).
step(dp_usesFork(dp_mP5_3, dp_F45),
     rule(152),
     ['M' = dp_mP5_3, 'Lf' = dp_F45, 'P' = dp_P5],
     [meal(dp_mP5_3, dp_P5, 3, dp_s9), left_fork(dp_P5, dp_F45)]).
step(dp_usesFork(dp_mP1_1, dp_F12),
     rule(153),
     ['M' = dp_mP1_1, 'Rf' = dp_F12, 'P' = dp_P1],
     [meal(dp_mP1_1, dp_P1, 1, dp_s1), right_fork(dp_P1, dp_F12)]).
step(dp_usesFork(dp_mP3_1, dp_F34),
     rule(153),
     ['M' = dp_mP3_1, 'Rf' = dp_F34, 'P' = dp_P3],
     [meal(dp_mP3_1, dp_P3, 1, dp_s1), right_fork(dp_P3, dp_F34)]).
step(dp_usesFork(dp_mP2_1, dp_F23),
     rule(153),
     ['M' = dp_mP2_1, 'Rf' = dp_F23, 'P' = dp_P2],
     [meal(dp_mP2_1, dp_P2, 1, dp_s2), right_fork(dp_P2, dp_F23)]).
step(dp_usesFork(dp_mP4_1, dp_F45),
     rule(153),
     ['M' = dp_mP4_1, 'Rf' = dp_F45, 'P' = dp_P4],
     [meal(dp_mP4_1, dp_P4, 1, dp_s2), right_fork(dp_P4, dp_F45)]).
step(dp_usesFork(dp_mP5_1, dp_F51),
     rule(153),
     ['M' = dp_mP5_1, 'Rf' = dp_F51, 'P' = dp_P5],
     [meal(dp_mP5_1, dp_P5, 1, dp_s3), right_fork(dp_P5, dp_F51)]).
step(dp_usesFork(dp_mP1_2, dp_F12),
     rule(153),
     ['M' = dp_mP1_2, 'Rf' = dp_F12, 'P' = dp_P1],
     [meal(dp_mP1_2, dp_P1, 2, dp_s4), right_fork(dp_P1, dp_F12)]).
step(dp_usesFork(dp_mP3_2, dp_F34),
     rule(153),
     ['M' = dp_mP3_2, 'Rf' = dp_F34, 'P' = dp_P3],
     [meal(dp_mP3_2, dp_P3, 2, dp_s4), right_fork(dp_P3, dp_F34)]).
step(dp_usesFork(dp_mP2_2, dp_F23),
     rule(153),
     ['M' = dp_mP2_2, 'Rf' = dp_F23, 'P' = dp_P2],
     [meal(dp_mP2_2, dp_P2, 2, dp_s5), right_fork(dp_P2, dp_F23)]).
step(dp_usesFork(dp_mP4_2, dp_F45),
     rule(153),
     ['M' = dp_mP4_2, 'Rf' = dp_F45, 'P' = dp_P4],
     [meal(dp_mP4_2, dp_P4, 2, dp_s5), right_fork(dp_P4, dp_F45)]).
step(dp_usesFork(dp_mP5_2, dp_F51),
     rule(153),
     ['M' = dp_mP5_2, 'Rf' = dp_F51, 'P' = dp_P5],
     [meal(dp_mP5_2, dp_P5, 2, dp_s6), right_fork(dp_P5, dp_F51)]).
step(dp_usesFork(dp_mP1_3, dp_F12),
     rule(153),
     ['M' = dp_mP1_3, 'Rf' = dp_F12, 'P' = dp_P1],
     [meal(dp_mP1_3, dp_P1, 3, dp_s7), right_fork(dp_P1, dp_F12)]).
step(dp_usesFork(dp_mP3_3, dp_F34),
     rule(153),
     ['M' = dp_mP3_3, 'Rf' = dp_F34, 'P' = dp_P3],
     [meal(dp_mP3_3, dp_P3, 3, dp_s7), right_fork(dp_P3, dp_F34)]).
step(dp_usesFork(dp_mP2_3, dp_F23),
     rule(153),
     ['M' = dp_mP2_3, 'Rf' = dp_F23, 'P' = dp_P2],
     [meal(dp_mP2_3, dp_P2, 3, dp_s8), right_fork(dp_P2, dp_F23)]).
step(dp_usesFork(dp_mP4_3, dp_F45),
     rule(153),
     ['M' = dp_mP4_3, 'Rf' = dp_F45, 'P' = dp_P4],
     [meal(dp_mP4_3, dp_P4, 3, dp_s8), right_fork(dp_P4, dp_F45)]).
step(dp_usesFork(dp_mP5_3, dp_F51),
     rule(153),
     ['M' = dp_mP5_3, 'Rf' = dp_F51, 'P' = dp_P5],
     [meal(dp_mP5_3, dp_P5, 3, dp_s9), right_fork(dp_P5, dp_F51)]).