diff --git a/Train_B_Book/train_0.bcm b/Train_B_Book/rodin_train/train_0.bcm similarity index 100% rename from Train_B_Book/train_0.bcm rename to Train_B_Book/rodin_train/train_0.bcm diff --git a/Train_B_Book/train_0.bpo b/Train_B_Book/rodin_train/train_0.bpo similarity index 100% rename from Train_B_Book/train_0.bpo rename to Train_B_Book/rodin_train/train_0.bpo diff --git a/Train_B_Book/train_0.bpr b/Train_B_Book/rodin_train/train_0.bpr similarity index 100% rename from Train_B_Book/train_0.bpr rename to Train_B_Book/rodin_train/train_0.bpr diff --git a/Train_B_Book/train_0.bps b/Train_B_Book/rodin_train/train_0.bps similarity index 100% rename from Train_B_Book/train_0.bps rename to Train_B_Book/rodin_train/train_0.bps diff --git a/Train_B_Book/train_0.bum b/Train_B_Book/rodin_train/train_0.bum similarity index 100% rename from Train_B_Book/train_0.bum rename to Train_B_Book/rodin_train/train_0.bum diff --git a/Train_B_Book/train_0_prob.bcm b/Train_B_Book/rodin_train/train_0_prob.bcm similarity index 100% rename from Train_B_Book/train_0_prob.bcm rename to Train_B_Book/rodin_train/train_0_prob.bcm diff --git a/Train_B_Book/train_0_prob.bpo b/Train_B_Book/rodin_train/train_0_prob.bpo similarity index 100% rename from Train_B_Book/train_0_prob.bpo rename to Train_B_Book/rodin_train/train_0_prob.bpo diff --git a/Train_B_Book/train_0_prob.bpr b/Train_B_Book/rodin_train/train_0_prob.bpr similarity index 100% rename from Train_B_Book/train_0_prob.bpr rename to Train_B_Book/rodin_train/train_0_prob.bpr diff --git a/Train_B_Book/train_0_prob.bps b/Train_B_Book/rodin_train/train_0_prob.bps similarity index 100% rename from Train_B_Book/train_0_prob.bps rename to Train_B_Book/rodin_train/train_0_prob.bps diff --git a/Train_B_Book/train_0_prob.bum b/Train_B_Book/rodin_train/train_0_prob.bum similarity index 100% rename from Train_B_Book/train_0_prob.bum rename to Train_B_Book/rodin_train/train_0_prob.bum diff --git a/Train_B_Book/train_1.bcm b/Train_B_Book/rodin_train/train_1.bcm similarity index 100% rename from Train_B_Book/train_1.bcm rename to Train_B_Book/rodin_train/train_1.bcm diff --git a/Train_B_Book/train_1.bpo b/Train_B_Book/rodin_train/train_1.bpo similarity index 100% rename from Train_B_Book/train_1.bpo rename to Train_B_Book/rodin_train/train_1.bpo diff --git a/Train_B_Book/train_1.bpr b/Train_B_Book/rodin_train/train_1.bpr similarity index 100% rename from Train_B_Book/train_1.bpr rename to Train_B_Book/rodin_train/train_1.bpr diff --git a/Train_B_Book/train_1.bps b/Train_B_Book/rodin_train/train_1.bps similarity index 100% rename from Train_B_Book/train_1.bps rename to Train_B_Book/rodin_train/train_1.bps diff --git a/Train_B_Book/train_1.bum b/Train_B_Book/rodin_train/train_1.bum similarity index 100% rename from Train_B_Book/train_1.bum rename to Train_B_Book/rodin_train/train_1.bum diff --git a/Train_B_Book/train_1_beebook.bcm b/Train_B_Book/rodin_train/train_1_beebook.bcm similarity index 100% rename from Train_B_Book/train_1_beebook.bcm rename to Train_B_Book/rodin_train/train_1_beebook.bcm diff --git a/Train_B_Book/train_1_beebook.bpo b/Train_B_Book/rodin_train/train_1_beebook.bpo similarity index 100% rename from Train_B_Book/train_1_beebook.bpo rename to Train_B_Book/rodin_train/train_1_beebook.bpo diff --git a/Train_B_Book/train_1_beebook.bpr b/Train_B_Book/rodin_train/train_1_beebook.bpr similarity index 100% rename from Train_B_Book/train_1_beebook.bpr rename to Train_B_Book/rodin_train/train_1_beebook.bpr diff --git a/Train_B_Book/train_1_beebook.bps b/Train_B_Book/rodin_train/train_1_beebook.bps similarity index 100% rename from Train_B_Book/train_1_beebook.bps rename to Train_B_Book/rodin_train/train_1_beebook.bps diff --git a/Train_B_Book/train_1_beebook.bum b/Train_B_Book/rodin_train/train_1_beebook.bum similarity index 100% rename from Train_B_Book/train_1_beebook.bum rename to Train_B_Book/rodin_train/train_1_beebook.bum diff --git a/Train_B_Book/train_1_prob.bcm b/Train_B_Book/rodin_train/train_1_prob.bcm similarity index 100% rename from Train_B_Book/train_1_prob.bcm rename to Train_B_Book/rodin_train/train_1_prob.bcm diff --git a/Train_B_Book/train_1_prob.bpo b/Train_B_Book/rodin_train/train_1_prob.bpo similarity index 100% rename from Train_B_Book/train_1_prob.bpo rename to Train_B_Book/rodin_train/train_1_prob.bpo diff --git a/Train_B_Book/train_1_prob.bpr b/Train_B_Book/rodin_train/train_1_prob.bpr similarity index 100% rename from Train_B_Book/train_1_prob.bpr rename to Train_B_Book/rodin_train/train_1_prob.bpr diff --git a/Train_B_Book/train_1_prob.bps b/Train_B_Book/rodin_train/train_1_prob.bps similarity index 100% rename from Train_B_Book/train_1_prob.bps rename to Train_B_Book/rodin_train/train_1_prob.bps diff --git a/Train_B_Book/train_1_prob.bum b/Train_B_Book/rodin_train/train_1_prob.bum similarity index 100% rename from Train_B_Book/train_1_prob.bum rename to Train_B_Book/rodin_train/train_1_prob.bum diff --git a/Train_B_Book/train_1_prob_POR.bcm b/Train_B_Book/rodin_train/train_1_prob_POR.bcm similarity index 100% rename from Train_B_Book/train_1_prob_POR.bcm rename to Train_B_Book/rodin_train/train_1_prob_POR.bcm diff --git a/Train_B_Book/train_1_prob_POR.bpo b/Train_B_Book/rodin_train/train_1_prob_POR.bpo similarity index 100% rename from Train_B_Book/train_1_prob_POR.bpo rename to Train_B_Book/rodin_train/train_1_prob_POR.bpo diff --git a/Train_B_Book/train_1_prob_POR.bpr b/Train_B_Book/rodin_train/train_1_prob_POR.bpr similarity index 100% rename from Train_B_Book/train_1_prob_POR.bpr rename to Train_B_Book/rodin_train/train_1_prob_POR.bpr diff --git a/Train_B_Book/train_1_prob_POR.bps b/Train_B_Book/rodin_train/train_1_prob_POR.bps similarity index 100% rename from Train_B_Book/train_1_prob_POR.bps rename to Train_B_Book/rodin_train/train_1_prob_POR.bps diff --git a/Train_B_Book/train_1_prob_POR.bum b/Train_B_Book/rodin_train/train_1_prob_POR.bum similarity index 100% rename from Train_B_Book/train_1_prob_POR.bum rename to Train_B_Book/rodin_train/train_1_prob_POR.bum diff --git a/Train_B_Book/train_2.bcm b/Train_B_Book/rodin_train/train_2.bcm similarity index 100% rename from Train_B_Book/train_2.bcm rename to Train_B_Book/rodin_train/train_2.bcm diff --git a/Train_B_Book/train_2.bpo b/Train_B_Book/rodin_train/train_2.bpo similarity index 100% rename from Train_B_Book/train_2.bpo rename to Train_B_Book/rodin_train/train_2.bpo diff --git a/Train_B_Book/train_2.bpr b/Train_B_Book/rodin_train/train_2.bpr similarity index 100% rename from Train_B_Book/train_2.bpr rename to Train_B_Book/rodin_train/train_2.bpr diff --git a/Train_B_Book/train_2.bps b/Train_B_Book/rodin_train/train_2.bps similarity index 100% rename from Train_B_Book/train_2.bps rename to Train_B_Book/rodin_train/train_2.bps diff --git a/Train_B_Book/train_2.bum b/Train_B_Book/rodin_train/train_2.bum similarity index 100% rename from Train_B_Book/train_2.bum rename to Train_B_Book/rodin_train/train_2.bum diff --git a/Train_B_Book/train_2_prob.bcm b/Train_B_Book/rodin_train/train_2_prob.bcm similarity index 100% rename from Train_B_Book/train_2_prob.bcm rename to Train_B_Book/rodin_train/train_2_prob.bcm diff --git a/Train_B_Book/train_2_prob.bpo b/Train_B_Book/rodin_train/train_2_prob.bpo similarity index 100% rename from Train_B_Book/train_2_prob.bpo rename to Train_B_Book/rodin_train/train_2_prob.bpo diff --git a/Train_B_Book/train_2_prob.bpr b/Train_B_Book/rodin_train/train_2_prob.bpr similarity index 100% rename from Train_B_Book/train_2_prob.bpr rename to Train_B_Book/rodin_train/train_2_prob.bpr diff --git a/Train_B_Book/train_2_prob.bps b/Train_B_Book/rodin_train/train_2_prob.bps similarity index 100% rename from Train_B_Book/train_2_prob.bps rename to Train_B_Book/rodin_train/train_2_prob.bps diff --git a/Train_B_Book/train_2_prob.bum b/Train_B_Book/rodin_train/train_2_prob.bum similarity index 100% rename from Train_B_Book/train_2_prob.bum rename to Train_B_Book/rodin_train/train_2_prob.bum diff --git a/Train_B_Book/train_3.bcm b/Train_B_Book/rodin_train/train_3.bcm similarity index 100% rename from Train_B_Book/train_3.bcm rename to Train_B_Book/rodin_train/train_3.bcm diff --git a/Train_B_Book/train_3.bpo b/Train_B_Book/rodin_train/train_3.bpo similarity index 100% rename from Train_B_Book/train_3.bpo rename to Train_B_Book/rodin_train/train_3.bpo diff --git a/Train_B_Book/train_3.bpr b/Train_B_Book/rodin_train/train_3.bpr similarity index 100% rename from Train_B_Book/train_3.bpr rename to Train_B_Book/rodin_train/train_3.bpr diff --git a/Train_B_Book/train_3.bps b/Train_B_Book/rodin_train/train_3.bps similarity index 100% rename from Train_B_Book/train_3.bps rename to Train_B_Book/rodin_train/train_3.bps diff --git a/Train_B_Book/train_3.bum b/Train_B_Book/rodin_train/train_3.bum similarity index 100% rename from Train_B_Book/train_3.bum rename to Train_B_Book/rodin_train/train_3.bum diff --git a/Train_B_Book/train_3_prob.bcm b/Train_B_Book/rodin_train/train_3_prob.bcm similarity index 100% rename from Train_B_Book/train_3_prob.bcm rename to Train_B_Book/rodin_train/train_3_prob.bcm diff --git a/Train_B_Book/train_3_prob.bpo b/Train_B_Book/rodin_train/train_3_prob.bpo similarity index 100% rename from Train_B_Book/train_3_prob.bpo rename to Train_B_Book/rodin_train/train_3_prob.bpo diff --git a/Train_B_Book/train_3_prob.bpr b/Train_B_Book/rodin_train/train_3_prob.bpr similarity index 100% rename from Train_B_Book/train_3_prob.bpr rename to Train_B_Book/rodin_train/train_3_prob.bpr diff --git a/Train_B_Book/train_3_prob.bps b/Train_B_Book/rodin_train/train_3_prob.bps similarity index 100% rename from Train_B_Book/train_3_prob.bps rename to Train_B_Book/rodin_train/train_3_prob.bps diff --git a/Train_B_Book/train_3_prob.bum b/Train_B_Book/rodin_train/train_3_prob.bum similarity index 100% rename from Train_B_Book/train_3_prob.bum rename to Train_B_Book/rodin_train/train_3_prob.bum diff --git a/Train_B_Book/train_4.bcm b/Train_B_Book/rodin_train/train_4.bcm similarity index 100% rename from Train_B_Book/train_4.bcm rename to Train_B_Book/rodin_train/train_4.bcm diff --git a/Train_B_Book/train_4.bmso b/Train_B_Book/rodin_train/train_4.bmso similarity index 100% rename from Train_B_Book/train_4.bmso rename to Train_B_Book/rodin_train/train_4.bmso diff --git a/Train_B_Book/train_4.bpo b/Train_B_Book/rodin_train/train_4.bpo similarity index 100% rename from Train_B_Book/train_4.bpo rename to Train_B_Book/rodin_train/train_4.bpo diff --git a/Train_B_Book/train_4.bpr b/Train_B_Book/rodin_train/train_4.bpr similarity index 100% rename from Train_B_Book/train_4.bpr rename to Train_B_Book/rodin_train/train_4.bpr diff --git a/Train_B_Book/train_4.bps b/Train_B_Book/rodin_train/train_4.bps similarity index 100% rename from Train_B_Book/train_4.bps rename to Train_B_Book/rodin_train/train_4.bps diff --git a/Train_B_Book/train_4.bum b/Train_B_Book/rodin_train/train_4.bum similarity index 100% rename from Train_B_Book/train_4.bum rename to Train_B_Book/rodin_train/train_4.bum diff --git a/Train_B_Book/train_4_POR.bcm b/Train_B_Book/rodin_train/train_4_POR.bcm similarity index 100% rename from Train_B_Book/train_4_POR.bcm rename to Train_B_Book/rodin_train/train_4_POR.bcm diff --git a/Train_B_Book/train_4_POR.bpo b/Train_B_Book/rodin_train/train_4_POR.bpo similarity index 100% rename from Train_B_Book/train_4_POR.bpo rename to Train_B_Book/rodin_train/train_4_POR.bpo diff --git a/Train_B_Book/train_4_POR.bpr b/Train_B_Book/rodin_train/train_4_POR.bpr similarity index 100% rename from Train_B_Book/train_4_POR.bpr rename to Train_B_Book/rodin_train/train_4_POR.bpr diff --git a/Train_B_Book/train_4_POR.bps b/Train_B_Book/rodin_train/train_4_POR.bps similarity index 100% rename from Train_B_Book/train_4_POR.bps rename to Train_B_Book/rodin_train/train_4_POR.bps diff --git a/Train_B_Book/train_4_POR.bum b/Train_B_Book/rodin_train/train_4_POR.bum similarity index 100% rename from Train_B_Book/train_4_POR.bum rename to Train_B_Book/rodin_train/train_4_POR.bum diff --git a/Train_B_Book/train_ctx0.bcc b/Train_B_Book/rodin_train/train_ctx0.bcc similarity index 100% rename from Train_B_Book/train_ctx0.bcc rename to Train_B_Book/rodin_train/train_ctx0.bcc diff --git a/Train_B_Book/train_ctx0.bpo b/Train_B_Book/rodin_train/train_ctx0.bpo similarity index 100% rename from Train_B_Book/train_ctx0.bpo rename to Train_B_Book/rodin_train/train_ctx0.bpo diff --git a/Train_B_Book/train_ctx0.bpr b/Train_B_Book/rodin_train/train_ctx0.bpr similarity index 100% rename from Train_B_Book/train_ctx0.bpr rename to Train_B_Book/rodin_train/train_ctx0.bpr diff --git a/Train_B_Book/train_ctx0.bps b/Train_B_Book/rodin_train/train_ctx0.bps similarity index 100% rename from Train_B_Book/train_ctx0.bps rename to Train_B_Book/rodin_train/train_ctx0.bps diff --git a/Train_B_Book/train_ctx0.buc b/Train_B_Book/rodin_train/train_ctx0.buc similarity index 100% rename from Train_B_Book/train_ctx0.buc rename to Train_B_Book/rodin_train/train_ctx0.buc diff --git a/Train_B_Book/train_ctx0_beebook.bcc b/Train_B_Book/rodin_train/train_ctx0_beebook.bcc similarity index 100% rename from Train_B_Book/train_ctx0_beebook.bcc rename to Train_B_Book/rodin_train/train_ctx0_beebook.bcc diff --git a/Train_B_Book/train_ctx0_beebook.bpo b/Train_B_Book/rodin_train/train_ctx0_beebook.bpo similarity index 100% rename from Train_B_Book/train_ctx0_beebook.bpo rename to Train_B_Book/rodin_train/train_ctx0_beebook.bpo diff --git a/Train_B_Book/train_ctx0_beebook.bpr b/Train_B_Book/rodin_train/train_ctx0_beebook.bpr similarity index 100% rename from Train_B_Book/train_ctx0_beebook.bpr rename to Train_B_Book/rodin_train/train_ctx0_beebook.bpr diff --git a/Train_B_Book/train_ctx0_beebook.bps b/Train_B_Book/rodin_train/train_ctx0_beebook.bps similarity index 100% rename from Train_B_Book/train_ctx0_beebook.bps rename to Train_B_Book/rodin_train/train_ctx0_beebook.bps diff --git a/Train_B_Book/train_ctx0_beebook.buc b/Train_B_Book/rodin_train/train_ctx0_beebook.buc similarity index 100% rename from Train_B_Book/train_ctx0_beebook.buc rename to Train_B_Book/rodin_train/train_ctx0_beebook.buc diff --git a/Train_B_Book/train_ctx0_prob.bcc b/Train_B_Book/rodin_train/train_ctx0_prob.bcc similarity index 100% rename from Train_B_Book/train_ctx0_prob.bcc rename to Train_B_Book/rodin_train/train_ctx0_prob.bcc diff --git a/Train_B_Book/train_ctx0_prob.bpo b/Train_B_Book/rodin_train/train_ctx0_prob.bpo similarity index 100% rename from Train_B_Book/train_ctx0_prob.bpo rename to Train_B_Book/rodin_train/train_ctx0_prob.bpo diff --git a/Train_B_Book/train_ctx0_prob.bpr b/Train_B_Book/rodin_train/train_ctx0_prob.bpr similarity index 100% rename from Train_B_Book/train_ctx0_prob.bpr rename to Train_B_Book/rodin_train/train_ctx0_prob.bpr diff --git a/Train_B_Book/train_ctx0_prob.bps b/Train_B_Book/rodin_train/train_ctx0_prob.bps similarity index 100% rename from Train_B_Book/train_ctx0_prob.bps rename to Train_B_Book/rodin_train/train_ctx0_prob.bps diff --git a/Train_B_Book/train_ctx0_prob.buc b/Train_B_Book/rodin_train/train_ctx0_prob.buc similarity index 100% rename from Train_B_Book/train_ctx0_prob.buc rename to Train_B_Book/rodin_train/train_ctx0_prob.buc diff --git a/Train_B_Book/train_ctx1.bcc b/Train_B_Book/rodin_train/train_ctx1.bcc similarity index 100% rename from Train_B_Book/train_ctx1.bcc rename to Train_B_Book/rodin_train/train_ctx1.bcc diff --git a/Train_B_Book/train_ctx1.bpo b/Train_B_Book/rodin_train/train_ctx1.bpo similarity index 100% rename from Train_B_Book/train_ctx1.bpo rename to Train_B_Book/rodin_train/train_ctx1.bpo diff --git a/Train_B_Book/train_ctx1.bpr b/Train_B_Book/rodin_train/train_ctx1.bpr similarity index 100% rename from Train_B_Book/train_ctx1.bpr rename to Train_B_Book/rodin_train/train_ctx1.bpr diff --git a/Train_B_Book/train_ctx1.bps b/Train_B_Book/rodin_train/train_ctx1.bps similarity index 100% rename from Train_B_Book/train_ctx1.bps rename to Train_B_Book/rodin_train/train_ctx1.bps diff --git a/Train_B_Book/train_ctx1.buc b/Train_B_Book/rodin_train/train_ctx1.buc similarity index 100% rename from Train_B_Book/train_ctx1.buc rename to Train_B_Book/rodin_train/train_ctx1.buc diff --git a/Train_B_Book/train_ctx1_beebook.bcc b/Train_B_Book/rodin_train/train_ctx1_beebook.bcc similarity index 100% rename from Train_B_Book/train_ctx1_beebook.bcc rename to Train_B_Book/rodin_train/train_ctx1_beebook.bcc diff --git a/Train_B_Book/train_ctx1_beebook.bpo b/Train_B_Book/rodin_train/train_ctx1_beebook.bpo similarity index 100% rename from Train_B_Book/train_ctx1_beebook.bpo rename to Train_B_Book/rodin_train/train_ctx1_beebook.bpo diff --git a/Train_B_Book/train_ctx1_beebook.bpr b/Train_B_Book/rodin_train/train_ctx1_beebook.bpr similarity index 100% rename from Train_B_Book/train_ctx1_beebook.bpr rename to Train_B_Book/rodin_train/train_ctx1_beebook.bpr diff --git a/Train_B_Book/train_ctx1_beebook.bps b/Train_B_Book/rodin_train/train_ctx1_beebook.bps similarity index 100% rename from Train_B_Book/train_ctx1_beebook.bps rename to Train_B_Book/rodin_train/train_ctx1_beebook.bps diff --git a/Train_B_Book/train_ctx1_beebook.buc b/Train_B_Book/rodin_train/train_ctx1_beebook.buc similarity index 100% rename from Train_B_Book/train_ctx1_beebook.buc rename to Train_B_Book/rodin_train/train_ctx1_beebook.buc diff --git a/Train_B_Book/train_ctx1_prob.bcc b/Train_B_Book/rodin_train/train_ctx1_prob.bcc similarity index 100% rename from Train_B_Book/train_ctx1_prob.bcc rename to Train_B_Book/rodin_train/train_ctx1_prob.bcc diff --git a/Train_B_Book/train_ctx1_prob.bpo b/Train_B_Book/rodin_train/train_ctx1_prob.bpo similarity index 100% rename from Train_B_Book/train_ctx1_prob.bpo rename to Train_B_Book/rodin_train/train_ctx1_prob.bpo diff --git a/Train_B_Book/train_ctx1_prob.bpr b/Train_B_Book/rodin_train/train_ctx1_prob.bpr similarity index 100% rename from Train_B_Book/train_ctx1_prob.bpr rename to Train_B_Book/rodin_train/train_ctx1_prob.bpr diff --git a/Train_B_Book/train_ctx1_prob.bps b/Train_B_Book/rodin_train/train_ctx1_prob.bps similarity index 100% rename from Train_B_Book/train_ctx1_prob.bps rename to Train_B_Book/rodin_train/train_ctx1_prob.bps diff --git a/Train_B_Book/train_ctx1_prob.buc b/Train_B_Book/rodin_train/train_ctx1_prob.buc similarity index 100% rename from Train_B_Book/train_ctx1_prob.buc rename to Train_B_Book/rodin_train/train_ctx1_prob.buc diff --git a/Train_B_Book/train_ctx2.bcc b/Train_B_Book/rodin_train/train_ctx2.bcc similarity index 100% rename from Train_B_Book/train_ctx2.bcc rename to Train_B_Book/rodin_train/train_ctx2.bcc diff --git a/Train_B_Book/train_ctx2.bpo b/Train_B_Book/rodin_train/train_ctx2.bpo similarity index 100% rename from Train_B_Book/train_ctx2.bpo rename to Train_B_Book/rodin_train/train_ctx2.bpo diff --git a/Train_B_Book/train_ctx2.bpr b/Train_B_Book/rodin_train/train_ctx2.bpr similarity index 100% rename from Train_B_Book/train_ctx2.bpr rename to Train_B_Book/rodin_train/train_ctx2.bpr diff --git a/Train_B_Book/train_ctx2.bps b/Train_B_Book/rodin_train/train_ctx2.bps similarity index 100% rename from Train_B_Book/train_ctx2.bps rename to Train_B_Book/rodin_train/train_ctx2.bps diff --git a/Train_B_Book/train_ctx2.buc b/Train_B_Book/rodin_train/train_ctx2.buc similarity index 100% rename from Train_B_Book/train_ctx2.buc rename to Train_B_Book/rodin_train/train_ctx2.buc diff --git a/Train_B_Book/train_ctx2_beebook.bcc b/Train_B_Book/rodin_train/train_ctx2_beebook.bcc similarity index 100% rename from Train_B_Book/train_ctx2_beebook.bcc rename to Train_B_Book/rodin_train/train_ctx2_beebook.bcc diff --git a/Train_B_Book/train_ctx2_beebook.bpo b/Train_B_Book/rodin_train/train_ctx2_beebook.bpo similarity index 100% rename from Train_B_Book/train_ctx2_beebook.bpo rename to Train_B_Book/rodin_train/train_ctx2_beebook.bpo diff --git a/Train_B_Book/train_ctx2_beebook.bpr b/Train_B_Book/rodin_train/train_ctx2_beebook.bpr similarity index 100% rename from Train_B_Book/train_ctx2_beebook.bpr rename to Train_B_Book/rodin_train/train_ctx2_beebook.bpr diff --git a/Train_B_Book/train_ctx2_beebook.bps b/Train_B_Book/rodin_train/train_ctx2_beebook.bps similarity index 100% rename from Train_B_Book/train_ctx2_beebook.bps rename to Train_B_Book/rodin_train/train_ctx2_beebook.bps diff --git a/Train_B_Book/train_ctx2_beebook.buc b/Train_B_Book/rodin_train/train_ctx2_beebook.buc similarity index 100% rename from Train_B_Book/train_ctx2_beebook.buc rename to Train_B_Book/rodin_train/train_ctx2_beebook.buc diff --git a/Train_B_Book/train_ctx2_prob.bcc b/Train_B_Book/rodin_train/train_ctx2_prob.bcc similarity index 100% rename from Train_B_Book/train_ctx2_prob.bcc rename to Train_B_Book/rodin_train/train_ctx2_prob.bcc diff --git a/Train_B_Book/train_ctx2_prob.bpo b/Train_B_Book/rodin_train/train_ctx2_prob.bpo similarity index 100% rename from Train_B_Book/train_ctx2_prob.bpo rename to Train_B_Book/rodin_train/train_ctx2_prob.bpo diff --git a/Train_B_Book/train_ctx2_prob.bpr b/Train_B_Book/rodin_train/train_ctx2_prob.bpr similarity index 100% rename from Train_B_Book/train_ctx2_prob.bpr rename to Train_B_Book/rodin_train/train_ctx2_prob.bpr diff --git a/Train_B_Book/train_ctx2_prob.bps b/Train_B_Book/rodin_train/train_ctx2_prob.bps similarity index 100% rename from Train_B_Book/train_ctx2_prob.bps rename to Train_B_Book/rodin_train/train_ctx2_prob.bps diff --git a/Train_B_Book/train_ctx2_prob.buc b/Train_B_Book/rodin_train/train_ctx2_prob.buc similarity index 100% rename from Train_B_Book/train_ctx2_prob.buc rename to Train_B_Book/rodin_train/train_ctx2_prob.buc diff --git a/Train_B_Book/train_1_beebook.prob2project b/Train_B_Book/train_1_beebook.prob2project index 0db121d3088206169eb327ccdca263f401260c62..229cba8fc64b95376b3138ca6fe437a7466918cc 100644 --- a/Train_B_Book/train_1_beebook.prob2project +++ b/Train_B_Book/train_1_beebook.prob2project @@ -5,7 +5,7 @@ { "name": "train_1_beebook", "description": "", - "location": "train_1_beebook.bum", + "location": "rodin_train/train_1_beebook.bum", "lastUsedPreferenceName": "default", "requirements": [], "ltlFormulas": [], @@ -23,7 +23,7 @@ { "name": "train_4_POR", "description": "", - "location": "train_4_POR.bum", + "location": "rodin_train/train_4_POR.bum", "lastUsedPreferenceName": "default", "requirements": [], "ltlFormulas": [],