int main() { return test2_12() + test2_13() + test2_15() + test2_16() + test2_17() + test2_23() + test2_25() + test2_26() + test2_27() + test2_35() + test2_36() + test2_37() + test2_56() + test2_57() + test2_67(); }
int main() { return test2_12() + test2_13() + test2_14() + test2_15() + test2_16() + test2_17() + test2_18() + test2_23() + test2_24() + test2_25() + test2_26() + test2_27() + test2_28() + test2_34() + test2_35() + test2_36() + test2_37() + test2_38() + test2_45() + test2_46() + test2_47() + test2_48() + test2_56() + test2_57() + test2_58() + test2_67() + test2_68() + test2_78(); }