# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc f0b7a271abe186367cb5cd0762446ff2e5b5f36561a92418b4109b044515f5e4 # shrinks to doc = Document { settings: DocSettings { orientation: Portrait, center: false, units: Inches, paper: Letter, magnification: 0.01, multiple_pages: false, transparent_color: -2 }, comments: [], export_on_save: None, colors: [UserColor { number: 40, rgb: Rgb { r: 1, g: 2, b: 3 } }, UserColor { number: 32, rgb: Rgb { r: 255, g: 128, b: 0 } }, UserColor { number: 33, rgb: Rgb { r: 0, g: 16, b: 255 } }], objects: [Object { id: ObjectId(1), comments: [], kind: Arc(Arc { pie: false, style: Style { line: Solid, thickness: 0, pen_color: ColorRef(-1), fill_color: ColorRef(-1), depth: 0, pen_style: 0, area_fill: 0, style_val: 0.0, cap: Butt, join: Miter }, ccw: true, forward_arrow: None, backward_arrow: None, center: Point { x: 2.0, y: 999.99975 }, points: [Point { x: 1.0, y: 0.0 }, Point { x: 2.0, y: 2000.0 }, Point { x: 3.0, y: 0.0 }] }) }], next_id: 2, open: [] }
cc 9bcb16d43e9614b51dcda387ab144df61485abe834bed432a808cfc429da4bf3 # shrinks to doc = Document { settings: DocSettings { orientation: Portrait, center: false, units: Inches, paper: Letter, magnification: 0.01, multiple_pages: false, transparent_color: -2 }, comments: [], export_on_save: None, colors: [UserColor { number: 40, rgb: Rgb { r: 1, g: 2, b: 3 } }, UserColor { number: 32, rgb: Rgb { r: 255, g: 128, b: 0 } }, UserColor { number: 33, rgb: Rgb { r: 0, g: 16, b: 255 } }], objects: [Object { id: ObjectId(1), comments: [], kind: Arc(Arc { pie: false, style: Style { line: Solid, thickness: 0, pen_color: ColorRef(-1), fill_color: ColorRef(-1), depth: 0, pen_style: 0, area_fill: 0, style_val: 0.0, cap: Butt, join: Miter }, ccw: true, forward_arrow: None, backward_arrow: None, center: Point { x: 2.0, y: 999.99975 }, points: [Point { x: 1.0, y: 0.0 }, Point { x: 2.0, y: 2000.0 }, Point { x: 3.0, y: 0.0 }] }) }], next_id: 2, open: [] }
cc 36f47f1220ea87a74286f3946e2c7d1d3c8ac9709d1a5fbbdd62a7d4c2c9c412 # shrinks to doc = Document { settings: DocSettings { orientation: Portrait, center: false, units: Inches, paper: Letter, magnification: 0.01, multiple_pages: false, transparent_color: -2 }, comments: [], export_on_save: None, colors: [UserColor { number: 40, rgb: Rgb { r: 1, g: 2, b: 3 } }, UserColor { number: 32, rgb: Rgb { r: 255, g: 128, b: 0 } }, UserColor { number: 33, rgb: Rgb { r: 0, g: 16, b: 255 } }], objects: [Object { id: ObjectId(1), comments: [], kind: Compound(Compound { objects: [Object { id: ObjectId(2), comments: [], kind: Compound(Compound { objects: [Object { id: ObjectId(3), comments: [], kind: Arc(Arc { pie: false, style: Style { line: Solid, thickness: 0, pen_color: ColorRef(-1), fill_color: ColorRef(-1), depth: 0, pen_style: 0, area_fill: 0, style_val: 0.0, cap: Butt, join: Miter }, ccw: true, forward_arrow: None, backward_arrow: None, center: Point { x: 2.0, y: 999.99975 }, points: [Point { x: 1.0, y: 0.0 }, Point { x: 2.0, y: 2000.0 }, Point { x: 3.0, y: 0.0 }] }) }] }) }] }) }], next_id: 4, open: [] }