F1reproof_ Segment