MathPlotAI Logo MathPlotAI

Representing Rational Numbers: Number Line Equivalence Practice (Grades 7–8)

Representing Rational Numbers: Number Line Equivalence Practice (Grades 7–8)
Loading the math board and drawing, please wait…
2025-09-07 21:07
Coordinate GeometryInequalityGeometric ConstructionGraphing
In collections Rationale Zahlen & Arbeiten mit der Zahlengerade Ordnen und Vergleichen von rationalen Zahlen
This GeoGebra lesson demonstrates how the same rational number can be represented in different forms and how to recognize equivalence using a number-line visualization. It prompts students to answer multiple-choice and open questions about which numbers are equivalent and which number is equal to a given value (e.g., targeting values like −0.4 or −0.25). The core concepts include rational-number representation (fraction and decimal equivalence), locating rational numbers on the number line, and understanding that equivalent representations correspond to the same point. Construction and interaction are built using GeoGebra tools such as Sequence and Element for generating values and steps, Textfield/input (and related inputBox) for student responses, Line and OrthogonalLine for guiding constructions and perpendicular projection, Intersect for determining key points, Segment/Point for the number-line markers, Mirror for symmetry-based mappings, and Polygon for visual grouping/areas. Feedback and solution reveal are managed with objects like validate, showsolution, and image/info panels. Suitable for Grades 7–8 and for formative assessment and number-sense instruction focused on comparing and ordering rational numbers.

GeoGebra Commands & Parameters

  1. Sequence(Random[1, 10], i, 1, 10) → randomNumbers, {10, 9, 2, 6, 3, 10, 3, 10, 8, 8}
  2. Element(randomNumbers, Mod[questionCount, Length[randomNumbers]] + 1) → randomNumber
  3. Textfield(input) → inputBox
  4. Join({Sequence[Segment[Corner[4] + (RasterPixMat * ((k * RasterStepXY), 0)), Corner[4] + (RasterPixMat * ((k * RasterStepXY), RasterMaxY))], k, 0, RasterMaxX / RasterStepXY], Sequence[Segment[Corner[4] + (RasterPixMat * (0, (k * RasterStepXY))), Corner[4] + (RasterPixMat * (RasterMaxX, (k * RasterStepXY)))], k, 0, RasterMaxY / RasterStepXY]}) → RasterStrecken
  5. Join({Sequence[Text[UnicodeToLetter[65 + k], Midpoint[Corner[4] + (RasterPixMat * ((k * RasterStepXY), RasterMaxY)), Corner[4] + (RasterPixMat * (((k + 1) * RasterStepXY), RasterMaxY))], false, true, 0, -1], k, 0, RasterMaxX / RasterStepXY - 1], Sequence[Text[("" * k), Midpoint[Corner[4] + (RasterPixMat * (RasterMaxX, ((k - 1) * RasterStepXY))), Corner[4] + (RasterPixMat * (RasterMaxX, (k * RasterStepXY)))], false, true, 1, 0], k, 1, RasterMaxY / RasterStepXY]}) → RasterBeschriftung
  6. Sequence(Sequence[Corner[4] + (RasterPixMat * ((k * RasterStepXY), (m * RasterStepXY))), k, 0, RasterMaxX / RasterStepXY], m, 0, RasterMaxY / RasterStepXY) → RasterPunkte, {{(-0.41600000000000126, 9.365999999999993), (0.585742160278748, 9.365999999999993), (1.5874843205574973, 9.365999999999993), (2.5892264808362464, 9.365999999999993), (3.590968641114996, 9.365999999999993), (4.5927108013937445, 9.365999999999993), (5.594452961672494, 9.365999999999993), (6.596195121951244, 9.365999999999993), (7.597937282229993, 9.365999999999993), (8.59967944250874, 9.365999999999993), (9.60142160278749, 9.365999999999993), (10.603163763066242, 9.365999999999993), (11.60490592334499, 9.365999999999993), (12.606648083623739, 9.365999999999993), (13.608390243902488, 9.365999999999993), (14.610132404181236, 9.365999999999993), (15.611874564459988, 9.365999999999993), (16.613616724738737, 9.365999999999993), (17.615358885017486, 9.365999999999993), (18.617101045296234, 9.365999999999993), (19.618843205574983, 9.365999999999993), (20.62058536585373, 9.365999999999993), (21.622327526132484, 9.365999999999993), (22.624069686411232, 9.365999999999993)}, {(-0.41600000000000126, 8.36332620320855), (0.585742160278748, 8.36332620320855), (1.5874843205574973, 8.36332620320855), (2.5892264808362464, 8.36332620320855), (3.590968641114996, 8.36332620320855), (4.5927108013937445, 8.36332620320855), (5.594452961672494, 8.36332620320855), (6.596195121951244, 8.36332620320855), (7.597937282229993, 8.36332620320855), (8.59967944250874, 8.36332620320855), (9.60142160278749, 8.36332620320855), (10.603163763066242, 8.36332620320855), (11.60490592334499, 8.36332620320855), (12.606648083623739, 8.36332620320855), (13.608390243902488, 8.36332620320855), (14.610132404181236, 8.36332620320855), (15.611874564459988, 8.36332620320855), (16.613616724738737, 8.36332620320855), (17.615358885017486, 8.36332620320855), (18.617101045296234, 8.36332620320855), (19.618843205574983, 8.36332620320855), (20.62058536585373, 8.36332620320855), (21.622327526132484, 8.36332620320855), (22.624069686411232, 8.36332620320855)}, {(-0.41600000000000126, 7.360652406417106), (0.585742160278748, 7.360652406417106), (1.5874843205574973, 7.360652406417106), (2.5892264808362464, 7.360652406417106), (3.590968641114996, 7.360652406417106), (4.5927108013937445, 7.360652406417106), (5.594452961672494, 7.360652406417106), (6.596195121951244, 7.360652406417106), (7.597937282229993, 7.360652406417106), (8.59967944250874, 7.360652406417106), (9.60142160278749, 7.360652406417106), (10.603163763066242, 7.360652406417106), (11.60490592334499, 7.360652406417106), (12.606648083623739, 7.360652406417106), (13.608390243902488, 7.360652406417106), (14.610132404181236, 7.360652406417106), (15.611874564459988, 7.360652406417106), (16.613616724738737, 7.360652406417106), (17.615358885017486, 7.360652406417106), (18.617101045296234, 7.360652406417106), (19.618843205574983, 7.360652406417106), (20.62058536585373, 7.360652406417106), (21.622327526132484, 7.360652406417106), (22.624069686411232, 7.360652406417106)}, {(-0.41600000000000126, 6.357978609625663), (0.585742160278748, 6.357978609625663), (1.5874843205574973, 6.357978609625663), (2.5892264808362464, 6.357978609625663), (3.590968641114996, 6.357978609625663), (4.5927108013937445, 6.357978609625663), (5.594452961672494, 6.357978609625663), (6.596195121951244, 6.357978609625663), (7.597937282229993, 6.357978609625663), (8.59967944250874, 6.357978609625663), (9.60142160278749, 6.357978609625663), (10.603163763066242, 6.357978609625663), (11.60490592334499, 6.357978609625663), (12.606648083623739, 6.357978609625663), (13.608390243902488, 6.357978609625663), (14.610132404181236, 6.357978609625663), (15.611874564459988, 6.357978609625663), (16.613616724738737, 6.357978609625663), (17.615358885017486, 6.357978609625663), (18.617101045296234, 6.357978609625663), (19.618843205574983, 6.357978609625663), (20.62058536585373, 6.357978609625663), (21.622327526132484, 6.357978609625663), (22.624069686411232, 6.357978609625663)}, {(-0.41600000000000126, 5.355304812834219), (0.585742160278748, 5.355304812834219), (1.5874843205574973, 5.355304812834219), (2.5892264808362464, 5.355304812834219), (3.590968641114996, 5.355304812834219), (4.5927108013937445, 5.355304812834219), (5.594452961672494, 5.355304812834219), (6.596195121951244, 5.355304812834219), (7.597937282229993, 5.355304812834219), (8.59967944250874, 5.355304812834219), (9.60142160278749, 5.355304812834219), (10.603163763066242, 5.355304812834219), (11.60490592334499, 5.355304812834219), (12.606648083623739, 5.355304812834219), (13.608390243902488, 5.355304812834219), (14.610132404181236, 5.355304812834219), (15.611874564459988, 5.355304812834219), (16.613616724738737, 5.355304812834219), (17.615358885017486, 5.355304812834219), (18.617101045296234, 5.355304812834219), (19.618843205574983, 5.355304812834219), (20.62058536585373, 5.355304812834219), (21.622327526132484, 5.355304812834219), (22.624069686411232, 5.355304812834219)}, {(-0.41600000000000126, 4.352631016042776), (0.585742160278748, 4.352631016042776), (1.5874843205574973, 4.352631016042776), (2.5892264808362464, 4.352631016042776), (3.590968641114996, 4.352631016042776), (4.5927108013937445, 4.352631016042776), (5.594452961672494, 4.352631016042776), (6.596195121951244, 4.352631016042776), (7.597937282229993, 4.352631016042776), (8.59967944250874, 4.352631016042776), (9.60142160278749, 4.352631016042776), (10.603163763066242, 4.352631016042776), (11.60490592334499, 4.352631016042776), (12.606648083623739, 4.352631016042776), (13.608390243902488, 4.352631016042776), (14.610132404181236, 4.352631016042776), (15.611874564459988, 4.352631016042776), (16.613616724738737, 4.352631016042776), (17.615358885017486, 4.352631016042776), (18.617101045296234, 4.352631016042776), (19.618843205574983, 4.352631016042776), (20.62058536585373, 4.352631016042776), (21.622327526132484, 4.352631016042776), (22.624069686411232, 4.352631016042776)}, {(-0.41600000000000126, 3.3499572192513325), (0.585742160278748, 3.3499572192513325), (1.5874843205574973, 3.3499572192513325), (2.5892264808362464, 3.3499572192513325), (3.590968641114996, 3.3499572192513325), (4.5927108013937445, 3.3499572192513325), (5.594452961672494, 3.3499572192513325), (6.596195121951244, 3.3499572192513325), (7.597937282229993, 3.3499572192513325), (8.59967944250874, 3.3499572192513325), (9.60142160278749, 3.3499572192513325), (10.603163763066242, 3.3499572192513325), (11.60490592334499, 3.3499572192513325), (12.606648083623739, 3.3499572192513325), (13.608390243902488, 3.3499572192513325), (14.610132404181236, 3.3499572192513325), (15.611874564459988, 3.3499572192513325), (16.613616724738737, 3.3499572192513325), (17.615358885017486, 3.3499572192513325), (18.617101045296234, 3.3499572192513325), (19.618843205574983, 3.3499572192513325), (20.62058536585373, 3.3499572192513325), (21.622327526132484, 3.3499572192513325), (22.624069686411232, 3.3499572192513325)}, {(-0.41600000000000126, 2.3472834224598893), (0.585742160278748, 2.3472834224598893), (1.5874843205574973, 2.3472834224598893), (2.5892264808362464, 2.3472834224598893), (3.590968641114996, 2.3472834224598893), (4.5927108013937445, 2.3472834224598893), (5.594452961672494, 2.3472834224598893), (6.596195121951244, 2.3472834224598893), (7.597937282229993, 2.3472834224598893), (8.59967944250874, 2.3472834224598893), (9.60142160278749, 2.3472834224598893), (10.603163763066242, 2.3472834224598893), (11.60490592334499, 2.3472834224598893), (12.606648083623739, 2.3472834224598893), (13.608390243902488, 2.3472834224598893), (14.610132404181236, 2.3472834224598893), (15.611874564459988, 2.3472834224598893), (16.613616724738737, 2.3472834224598893), (17.615358885017486, 2.3472834224598893), (18.617101045296234, 2.3472834224598893), (19.618843205574983, 2.3472834224598893), (20.62058536585373, 2.3472834224598893), (21.622327526132484, 2.3472834224598893), (22.624069686411232, 2.3472834224598893)}, {(-0.41600000000000126, 1.3446096256684452), (0.585742160278748, 1.3446096256684452), (1.5874843205574973, 1.3446096256684452), (2.5892264808362464, 1.3446096256684452), (3.590968641114996, 1.3446096256684452), (4.5927108013937445, 1.3446096256684452), (5.594452961672494, 1.3446096256684452), (6.596195121951244, 1.3446096256684452), (7.597937282229993, 1.3446096256684452), (8.59967944250874, 1.3446096256684452), (9.60142160278749, 1.3446096256684452), (10.603163763066242, 1.3446096256684452), (11.60490592334499, 1.3446096256684452), (12.606648083623739, 1.3446096256684452), (13.608390243902488, 1.3446096256684452), (14.610132404181236, 1.3446096256684452), (15.611874564459988, 1.3446096256684452), (16.613616724738737, 1.3446096256684452), (17.615358885017486, 1.3446096256684452), (18.617101045296234, 1.3446096256684452), (19.618843205574983, 1.3446096256684452), (20.62058536585373, 1.3446096256684452), (21.622327526132484, 1.3446096256684452), (22.624069686411232, 1.3446096256684452)}, {(-0.41600000000000126, 0.341935828877002), (0.585742160278748, 0.341935828877002), (1.5874843205574973, 0.341935828877002), (2.5892264808362464, 0.341935828877002), (3.590968641114996, 0.341935828877002), (4.5927108013937445, 0.341935828877002), (5.594452961672494, 0.341935828877002), (6.596195121951244, 0.341935828877002), (7.597937282229993, 0.341935828877002), (8.59967944250874, 0.341935828877002), (9.60142160278749, 0.341935828877002), (10.603163763066242, 0.341935828877002), (11.60490592334499, 0.341935828877002), (12.606648083623739, 0.341935828877002), (13.608390243902488, 0.341935828877002), (14.610132404181236, 0.341935828877002), (15.611874564459988, 0.341935828877002), (16.613616724738737, 0.341935828877002), (17.615358885017486, 0.341935828877002), (18.617101045296234, 0.341935828877002), (19.618843205574983, 0.341935828877002), (20.62058536585373, 0.341935828877002), (21.622327526132484, 0.341935828877002), (22.624069686411232, 0.341935828877002)}, {(-0.41600000000000126, -0.6607379679144412), (0.585742160278748, -0.6607379679144412), (1.5874843205574973, -0.6607379679144412), (2.5892264808362464, -0.6607379679144412), (3.590968641114996, -0.6607379679144412), (4.5927108013937445, -0.6607379679144412), (5.594452961672494, -0.6607379679144412), (6.596195121951244, -0.6607379679144412), (7.597937282229993, -0.6607379679144412), (8.59967944250874, -0.6607379679144412), (9.60142160278749, -0.6607379679144412), (10.603163763066242, -0.6607379679144412), (11.60490592334499, -0.6607379679144412), (12.606648083623739, -0.6607379679144412), (13.608390243902488, -0.6607379679144412), (14.610132404181236, -0.6607379679144412), (15.611874564459988, -0.6607379679144412), (16.613616724738737, -0.6607379679144412), (17.615358885017486, -0.6607379679144412), (18.617101045296234, -0.6607379679144412), (19.618843205574983, -0.6607379679144412), (20.62058536585373, -0.6607379679144412), (21.622327526132484, -0.6607379679144412), (22.624069686411232, -0.6607379679144412)}, {(-0.41600000000000126, -1.6634117647058844), (0.585742160278748, -1.6634117647058844), (1.5874843205574973, -1.6634117647058844), (2.5892264808362464, -1.6634117647058844), (3.590968641114996, -1.6634117647058844), (4.5927108013937445, -1.6634117647058844), (5.594452961672494, -1.6634117647058844), (6.596195121951244, -1.6634117647058844), (7.597937282229993, -1.6634117647058844), (8.59967944250874, -1.6634117647058844), (9.60142160278749, -1.6634117647058844), (10.603163763066242, -1.6634117647058844), (11.60490592334499, -1.6634117647058844), (12.606648083623739, -1.6634117647058844), (13.608390243902488, -1.6634117647058844), (14.610132404181236, -1.6634117647058844), (15.611874564459988, -1.6634117647058844), (16.613616724738737, -1.6634117647058844), (17.615358885017486, -1.6634117647058844), (18.617101045296234, -1.6634117647058844), (19.618843205574983, -1.6634117647058844), (20.62058536585373, -1.6634117647058844), (21.622327526132484, -1.6634117647058844), (22.624069686411232, -1.6634117647058844)}, {(-0.41600000000000126, -2.6660855614973276), (0.585742160278748, -2.6660855614973276), (1.5874843205574973, -2.6660855614973276), (2.5892264808362464, -2.6660855614973276), (3.590968641114996, -2.6660855614973276), (4.5927108013937445, -2.6660855614973276), (5.594452961672494, -2.6660855614973276), (6.596195121951244, -2.6660855614973276), (7.597937282229993, -2.6660855614973276), (8.59967944250874, -2.6660855614973276), (9.60142160278749, -2.6660855614973276), (10.603163763066242, -2.6660855614973276), (11.60490592334499, -2.6660855614973276), (12.606648083623739, -2.6660855614973276), (13.608390243902488, -2.6660855614973276), (14.610132404181236, -2.6660855614973276), (15.611874564459988, -2.6660855614973276), (16.613616724738737, -2.6660855614973276), (17.615358885017486, -2.6660855614973276), (18.617101045296234, -2.6660855614973276), (19.618843205574983, -2.6660855614973276), (20.62058536585373, -2.6660855614973276), (21.622327526132484, -2.6660855614973276), (22.624069686411232, -2.6660855614973276)}, {(-0.41600000000000126, -3.6687593582887708), (0.585742160278748, -3.6687593582887708), (1.5874843205574973, -3.6687593582887708), (2.5892264808362464, -3.6687593582887708), (3.590968641114996, -3.6687593582887708), (4.5927108013937445, -3.6687593582887708), (5.594452961672494, -3.6687593582887708), (6.596195121951244, -3.6687593582887708), (7.597937282229993, -3.6687593582887708), (8.59967944250874, -3.6687593582887708), (9.60142160278749, -3.6687593582887708), (10.603163763066242, -3.6687593582887708), (11.60490592334499, -3.6687593582887708), (12.606648083623739, -3.6687593582887708), (13.608390243902488, -3.6687593582887708), (14.610132404181236, -3.6687593582887708), (15.611874564459988, -3.6687593582887708), (16.613616724738737, -3.6687593582887708), (17.615358885017486, -3.6687593582887708), (18.617101045296234, -3.6687593582887708), (19.618843205574983, -3.6687593582887708), (20.62058536585373, -3.6687593582887708), (21.622327526132484, -3.6687593582887708), (22.624069686411232, -3.6687593582887708)}, {(-0.41600000000000126, -4.671433155080214), (0.585742160278748, -4.671433155080214), (1.5874843205574973, -4.671433155080214), (2.5892264808362464, -4.671433155080214), (3.590968641114996, -4.671433155080214), (4.5927108013937445, -4.671433155080214), (5.594452961672494, -4.671433155080214), (6.596195121951244, -4.671433155080214), (7.597937282229993, -4.671433155080214), (8.59967944250874, -4.671433155080214), (9.60142160278749, -4.671433155080214), (10.603163763066242, -4.671433155080214), (11.60490592334499, -4.671433155080214), (12.606648083623739, -4.671433155080214), (13.608390243902488, -4.671433155080214), (14.610132404181236, -4.671433155080214), (15.611874564459988, -4.671433155080214), (16.613616724738737, -4.671433155080214), (17.615358885017486, -4.671433155080214), (18.617101045296234, -4.671433155080214), (19.618843205574983, -4.671433155080214), (20.62058536585373, -4.671433155080214), (21.622327526132484, -4.671433155080214), (22.624069686411232, -4.671433155080214)}, {(-0.41600000000000126, -5.674106951871657), (0.585742160278748, -5.674106951871657), (1.5874843205574973, -5.674106951871657), (2.5892264808362464, -5.674106951871657), (3.590968641114996, -5.674106951871657), (4.5927108013937445, -5.674106951871657), (5.594452961672494, -5.674106951871657), (6.596195121951244, -5.674106951871657), (7.597937282229993, -5.674106951871657), (8.59967944250874, -5.674106951871657), (9.60142160278749, -5.674106951871657), (10.603163763066242, -5.674106951871657), (11.60490592334499, -5.674106951871657), (12.606648083623739, -5.674106951871657), (13.608390243902488, -5.674106951871657), (14.610132404181236, -5.674106951871657), (15.611874564459988, -5.674106951871657), (16.613616724738737, -5.674106951871657), (17.615358885017486, -5.674106951871657), (18.617101045296234, -5.674106951871657), (19.618843205574983, -5.674106951871657), (20.62058536585373, -5.674106951871657), (21.622327526132484, -5.674106951871657), (22.624069686411232, -5.674106951871657)}}
  7. Line(ZehntelLU, ZehntelRU) → f
  8. OrthogonalLine(B, f) → g
  9. OrthogonalLine(C, f) → h
  10. OrthogonalLine(D, f) → i
  11. OrthogonalLine(E, f) → j
  12. OrthogonalLine(F, f) → k
  13. OrthogonalLine(G, f) → l
  14. OrthogonalLine(H, f) → m
  15. OrthogonalLine(I, f) → n
  16. OrthogonalLine(J, f) → p
  17. OrthogonalLine(K, f) → q
  18. OrthogonalLine(L, f) → r
  19. OrthogonalLine(M, f) → s
  20. OrthogonalLine(N, f) → t
  21. OrthogonalLine(O, f) → a
  22. OrthogonalLine(P, f) → b
  23. OrthogonalLine(Q, f) → c
  24. OrthogonalLine(R, f) → d
  25. OrthogonalLine(S, f) → e
  26. OrthogonalLine(T, f) → f_1
  27. Intersect(f, h) → Z
  28. Intersect(f, g) → A_{27}
  29. Intersect(f, i) → B_1
  30. Intersect(f, j) → C_1
  31. Intersect(f, k) → D_1
  32. Intersect(f, l) → E_1
  33. Intersect(f, m) → F_1
  34. Intersect(f, n) → G_1
  35. Intersect(f, p) → H_1
  36. Intersect(f, q) → I_1
  37. Intersect(f, r) → J_1
  38. Intersect(f, s) → K_1
  39. Intersect(f, t) → L_1
  40. Intersect(f, a) → M_1
  41. Intersect(f, b) → N_1
  42. Intersect(f, c) → O_1
  43. Intersect(f, d) → P_1
  44. Intersect(f, e) → Q_1
  45. Intersect(f, f_1) → R_1
  46. Line(ZehntelLO, T) → g_1
  47. Segment(ZehntelLO, ZehntelRO) → h_1
  48. Segment(ZehntelRO, ZehntelRU) → i_1
  49. Segment(ZehntelLU, ZehntelRU) → j_1
  50. Segment(ZehntelLO, ZehntelLU) → k_1
  51. Segment(B, A_{27}) → l_1
  52. Segment(C, Z) → m_1
  53. Segment(D, B_1) → n_1
  54. Segment(E, C_1) → p_1
  55. Segment(F, D_1) → q_1
  56. Segment(G, E_1) → r_1
  57. Segment(H, F_1) → s_1
  58. Segment(I, G_1) → t_1
  59. Segment(J, H_1) → a_1
  60. Segment(K, I_1) → b_1
  61. Segment(L, J_1) → c_1
  62. Segment(M, K_1) → d_1
  63. Segment(N, L_1) → e_1
  64. Segment(M_1, O) → f_2
  65. Segment(P, N_1) → g_2
  66. Segment(O_1, Q) → h_2
  67. Segment(R, P_1) → i_2
  68. Segment(Q_1, S) → j_2
  69. Segment(T, R_1) → k_2
  70. OrthogonalLine(ZehntelLO, j_1) → l_2
  71. OrthogonalLine(ZehntelRO, j_1) → m_2
  72. Line(AchtelLO, AchtelRO) → n_2
  73. Line(AchtelLU, AchtelRU) → p_2
  74. Line(SechstelLO, SechstelRO) → q_2
  75. Line(SechstelLU, SechstelRU) → r_2
  76. Line(FünftelLO, FünftelRO) → q_{3}
  77. Line(FünftelLU, FünftelRU) → r_{3}
  78. Line(FünftelLO, FünftelRO) → s_2
  79. Line(FünftelLU, FünftelRU) → t_2
  80. Line(ViertelLO, ViertelRO) → q_{4}
  81. Line(ViertelLU, ViertelRU) → r_{4}
  82. Line(ViertelLO, ViertelRO) → s_{3}
  83. Line(ViertelLU, ViertelRU) → t_{3}
  84. Line(ViertelLO, ViertelRO) → a_{2}
  85. Line(ViertelLU, ViertelRU) → b_2
  86. Line(DrittelLO, DrittelRO) → q_{5}
  87. Line(DrittelLU, DrittelRU) → r_{5}
  88. Line(DrittelLO, DrittelRO) → s_{4}
  89. Line(DrittelLU, DrittelRU) → t_{4}
  90. Line(DrittelLO, DrittelRO) → a_{3}
  91. Line(DrittelLU, DrittelRU) → b_{3}
  92. Line(DrittelLO, DrittelRO) → c_2
  93. Line(DrittelLU, DrittelRU) → d_2
  94. Line(HalbeLO, HalbeRO) → q_{6}
  95. Line(HalbeLU, HalbeRU) → r_{6}
  96. Line(HalbeLO, HalbeRO) → s_{5}
  97. Line(HalbeLU, HalbeRU) → t_{5}
  98. Line(HalbeLO, HalbeRO) → a_{4}
  99. Line(HalbeLU, HalbeRU) → b_{4}
  100. Line(HalbeLO, HalbeRO) → c_{3}
  101. Line(HalbeLU, HalbeRU) → d_{3}
  102. Line(HalbeLO, HalbeRO) → e_2
  103. Line(HalbeLU, HalbeRU) → f_3
  104. Segment(HalbeLU, HalbeLO) → g_3
  105. Segment(A, A_{28}) → h_3
  106. Segment(U_{6}, U) → i_3
  107. Segment(V, V_{1}) → j_3
  108. Segment(HalbeRU, HalbeRO) → k_3
  109. Segment(AchtelLO, AchtelLU) → l_3
  110. Segment(AchtelRO, AchtelRU) → n_3
  111. Segment(FünftelRO, U_{2}) → e_3
  112. Segment(DrittelRO, U_{4}) → g_4
  113. Segment(W, F_2) → h_4
  114. Segment(E_2, Z_1) → i_4
  115. Segment(W_1, D_2) → j_4
  116. Segment(C_2, T_1) → k_4
  117. Segment(S_1, B_2) → l_4
  118. Segment(DrittelLO, DrittelLU) → m_4
  119. Segment(ViertelLU, ViertelLO) → n_4
  120. Segment(FünftelLU, FünftelLO) → p_4
  121. Segment(SechstelLU, SechstelLO) → c_4
  122. Segment(O_4, G_5) → d_4
  123. Segment(H_5, P_4) → e_4
  124. Segment(Q_4, I_5) → f_5
  125. Segment(J_5, R_4) → g_5
  126. Segment(S_4, K_5) → h_5
  127. Segment(L_5, T_4) → i_5
  128. Segment(V_4, M_5) → j_5
  129. Segment(N_5, W_4) → k_5
  130. Segment(Z_4, O_5) → l_5
  131. Segment(P_5, A_{31}) → m_5
  132. Segment(B_5, Q_5) → n_5
  133. Segment(R_5, C_5) → p_5
  134. Segment(D_5, T_5) → a_5
  135. Segment(S_5, E_5) → b_5
  136. Segment(F_5, V_5) → c_5
  137. Segment(N_4, C_4) → d_5
  138. Segment(B_4, M_4) → e_5
  139. Segment(L_4, A_{30}) → f_6
  140. Segment(Z_3, K_4) → g_6
  141. Segment(J_4, W_3) → h_6
  142. Segment(V_3, I_4) → i_6
  143. Segment(H_4, T_3) → j_6
  144. Segment(S_3, G_4) → k_6
  145. Segment(F_4, R_3) → l_6
  146. Segment(Q_3, E_4) → m_6
  147. Segment(D_4, P_3) → n_6
  148. Segment(G_3, V_2) → p_6
  149. Segment(W_2, H_3) → s_6
  150. Segment(I_3, Z_2) → t_6
  151. Segment(A_{29}, J_3) → a_6
  152. Segment(K_3, B_3) → b_6
  153. Segment(C_3, L_3) → c_6
  154. Segment(M_3, D_3) → d_6
  155. Segment(E_3, N_3) → e_6
  156. Segment(O_3, F_3) → f_7
  157. Segment(M_2, T_2) → g_7
  158. Segment(S_2, L_2) → h_7
  159. Segment(K_2, R_2) → i_7
  160. Segment(Q_2, J_2) → j_7
  161. Segment(I_2, P_2) → k_7
  162. Segment(O_2, H_2) → l_7
  163. Segment(G_2, N_2) → m_7
  164. Segment(AchtelRO, AchtelLO) → n_7
  165. Segment(AchtelLU, AchtelRU) → p_7
  166. Segment(SechstelRO, SechstelLO) → q_7
  167. Segment(SechstelLU, U_{1}) → r_7
  168. Segment(FünftelRO, FünftelLO) → s_7
  169. Segment(FünftelLU, U_{2}) → t_7
  170. Segment(ViertelRO, ViertelLO) → a_7
  171. Segment(ViertelLU, U_{3}) → b_7
  172. Segment(DrittelRO, DrittelLO) → c_7
  173. Segment(DrittelLU, U_{4}) → d_7
  174. Segment(HalbeRO, HalbeLO) → e_7
  175. Segment(HalbeLU, U_{5}) → f_8
  176. Line(K, U_{6}) → g_8
  177. Mirror(L19, g_8) → L19'
  178. Mirror(L18, g_8) → L18'
  179. Mirror(L17, g_8) → L17'
  180. Mirror(L16, g_8) → L16'
  181. Mirror(L15, g_8) → L15'
  182. Mirror(L14, g_8) → L14'
  183. Mirror(L13, g_8) → L13'
  184. Mirror(L12, g_8) → L12'
  185. Mirror(L11, g_8) → L11'
  186. Mirror(L10, g_8) → L10'
  187. Mirror(L9, g_8) → L9'
  188. Mirror(L8, g_8) → L8'
  189. Mirror(L7, g_8) → L7'
  190. Mirror(L6, g_8) → L6'
  191. Mirror(L5, g_8) → L5'
  192. Mirror(L4, g_8) → L4'
  193. Mirror(L3, g_8) → L3'
  194. Mirror(L2, g_8) → L2'
  195. Mirror(L1, g_8) → L1'
  196. Mirror(L3_2, g_8) → L3_2'
  197. Point(LinealStops) → PL
  198. Segment(PL, PunktLinealU) → Lineal
  199. Polygon(HalbeLU, A_{28}, A, HalbeLO) → H1, halbelu, a_{8}, a_9, halbelo
  200. Polygon(A, U, U_{6}, A_{28}) → H2, i_8, j_8, k_8, l_8
  201. Segment(A_{32}, A_{33}) → h_{8}
  202. Polygon(U_{7}, V, V_{1}, U_{8}) → H3, m_8, n_8, p_8, q_8
  203. Polygon(V_{6}, HalbeRO, HalbeRU, V_{7}) → H4, r_8, s_8, t_8, b_8
  204. Segment(A_{35}, A_{34}) → h_{9}
  205. Polygon(DrittelLO, B_2, S_1, DrittelLU) → D1, c_8, d_8, e_8, f_9
  206. Segment(S_{6}, B_{6}) → l_{9}
  207. Polygon(B_{6}, C_2, T_1, S_{6}) → D2, k_9, n_9, p_9, q_9
  208. Segment(S_{7}, B_{7}) → l_{10}
  209. Polygon(C_{7}, D_2, W_1, T_{7}) → D3, r_9, s_9, t_9, b_9
  210. Polygon(D_{9}, E_2, Z_1, W_{11}) → D4, c_9, d_9, e_9, f_{10}
  211. Polygon(E_{11}, F_2, W, Z_{10}) → D5, g_{10}, h_{10}, n_{10}, p_{10}
  212. Segment(W_{19}, F_{13}) → h_{12}
  213. Polygon(F_{13}, DrittelRO, DrittelRU, W_{19}) → D6, q_{10}, r_{10}, s_{10}, t_{10}
  214. Line(DrittelLO_{10}, DrittelRO_{10}) → q_{12}
  215. Line(DrittelLU_{10}, DrittelRU_{1}) → r_{12}
  216. Line(DrittelLO_{10}, DrittelRO_{10}) → s_{12}
  217. Line(DrittelLU_{10}, DrittelRU_{1}) → t_{12}
  218. Line(DrittelLO_{10}, DrittelRO_{10}) → a_{10}
  219. Line(DrittelLU_{10}, DrittelRU_{1}) → b_{10}
  220. Line(DrittelLO_{10}, DrittelRO_{10}) → c_{10}
  221. Line(DrittelLU_{10}, DrittelRU_{1}) → d_{10}
  222. Segment(DrittelRO_{10}, DrittelLO_{10}) → c_{11}
  223. Segment(W_{23}, F_{15}) → h_{11}
  224. Polygon(ViertelLO, G_2, N_2, ViertelLU) → V1, e_{10}, f_{11}, g_{11}, l_{11}
  225. Polygon(G_{6}, H_2, O_2, N_{6}) → V2, p_{11}, q_{11}, r_{11}, s_{11}
  226. Segment(O_{7}, H_{7}) → l_{12}
  227. Segment(O_{9}, H_{9}) → l_{13}
  228. Polygon(H_{9}, I_2, P_2, O_{9}) → V3, t_{11}, a_{11}, b_{11}, d_{11}
  229. Segment(O_{11}, H_{11}) → l_{14}
  230. Polygon(I_{11}, J_2, Q_2, P_{11}) → V4, e_{11}, f_{12}, g_{12}, j_{12}
  231. Polygon(J_{13}, K_2, R_2, Q_{13}) → V5, p_{12}, a_{12}, b_{12}, c_{12}
  232. Polygon(K_{15}, L_2, S_2, R_{15}) → V6, d_{12}, e_{12}, f_{13}, g_{13}
  233. Segment(S_{28}, L_{17}) → h_{13}
  234. Polygon(L_{17}, M_2, T_2, S_{28}) → V7, p_{13}, q_{13}, r_{13}, s_{13}
  235. Segment(S_{30}, L_{19}) → h_{14}
  236. Polygon(M_{19}, ViertelRO, ViertelRU, T_{30}) → V8, t_{13}, a_{13}, b_{13}, c_{13}
  237. Line(ViertelLO_{16}, ViertelRO_{16}) → q_{14}
  238. Line(ViertelLU_{16}, ViertelRU_{1}) → r_{14}
  239. Line(ViertelLO_{16}, ViertelRO_{16}) → s_{14}
  240. Line(ViertelLU_{16}, ViertelRU_{1}) → t_{15}
  241. Line(ViertelLO_{16}, ViertelRO_{16}) → a_{15}
  242. Line(ViertelLU_{16}, ViertelRU_{1}) → b_{15}
  243. Polygon(FünftelLO, G_3, V_2, FünftelLU) → F1, d_{13}, e_{13}, f_{14}, k_{14}
  244. Polygon(G_{23}, H_3, W_2, V_{8}) → F2, t_{14}, a_{14}, b_{14}, c_{14}
  245. Segment(W_{28}, H_{24}) → s_{15}
  246. Polygon(H_{24}, I_3, Z_2, W_{28}) → F3, d_{14}, e_{14}, f_{15}, h_{15}
  247. Segment(I_{26}, Z_{19}) → t_{16}
  248. Segment(W_{30}, H_{26}) → s_{16}
  249. Polygon(I_{26}, J_3, A_{29}, Z_{19}) → F4, i_{15}, j_{15}, k_{15}, l_{15}
  250. Segment(I_{28}, Z_{21}) → t_{17}
  251. Polygon(J_{28}, K_3, B_3, A_{15}) → F5, q_{15}, r_{15}, c_{15}, d_{15}
  252. Polygon(K_{30}, L_3, C_3, B_{24}) → F6, e_{15}, f_{16}, g_{16}, h_{16}
  253. Polygon(L_{32}, M_3, D_3, C_{26}) → F7, i_{16}, j_{16}, k_{16}, l_{16}
  254. Polygon(M_{34}, N_3, E_3, D_{28}) → F8, q_{16}, r_{16}, e_{16}, f_{17}
  255. Polygon(N_{36}, O_3, F_3, E_{30}) → F9, g_{17}, h_{17}, i_{17}, j_{17}
  256. Segment(O_{38}, F_{32}) → f_{18}
  257. Polygon(O_{38}, FünftelRO, FünftelRU, F_{32}) → F10, k_{17}, l_{17}, q_{17}, r_{17}
  258. Sequence(Polygon[SechstelLO, SechstelLO]) → l1
  259. Line(HalbeLO_{2}, HalbeRO_{2}) → q_{18}
  260. Line(HalbeLU_{2}, HalbeRU_{1}) → r_{19}
  261. Line(HalbeLO_{2}, HalbeRO_{2}) → s_{18}
  262. Line(HalbeLU_{2}, HalbeRU_{1}) → t_{19}
  263. Line(HalbeLO_{2}, HalbeRO_{2}) → a_{19}
  264. Line(HalbeLU_{2}, HalbeRU_{1}) → b_{19}
  265. Line(HalbeLO_{2}, HalbeRO_{2}) → c_{18}
  266. Line(HalbeLU_{2}, HalbeRU_{1}) → d_{18}
  267. Line(HalbeLO_{2}, HalbeRO_{2}) → e_{19}
  268. Line(HalbeLU_{2}, HalbeRU_{1}) → f_{19}
  269. Polygon(SechstelLO, D_4, P_3, SechstelLU) → S1, s_{17}, h_{18}, i_{18}, l_{18}
  270. Line(HalbeLO_{3}, HalbeRO_{3}) → q_{19}
  271. Line(HalbeLU_{3}, HalbeRU_{2}) → r_{20}
  272. Line(HalbeLO_{3}, HalbeRO_{3}) → s_{20}
  273. Line(HalbeLU_{3}, HalbeRU_{2}) → t_{20}
  274. Line(HalbeLO_{3}, HalbeRO_{3}) → a_{20}
  275. Line(HalbeLU_{3}, HalbeRU_{2}) → b_{20}
  276. Line(HalbeLO_{3}, HalbeRO_{3}) → c_{19}
  277. Line(HalbeLU_{3}, HalbeRU_{2}) → d_{19}
  278. Line(HalbeLO_{3}, HalbeRO_{3}) → e_{21}
  279. Line(HalbeLU_{3}, HalbeRU_{2}) → f_{20}
  280. Polygon(D_4, E_4, Q_3, P_3) → S2, r_{18}, t_{18}, b_{18}, h_{19}
  281. Line(HalbeLO_{4}, HalbeRO_{4}) → q_{20}
  282. Line(HalbeLU_{4}, HalbeRU_{3}) → r_{22}
  283. Line(HalbeLO_{4}, HalbeRO_{4}) → s_{21}
  284. Line(HalbeLU_{4}, HalbeRU_{3}) → t_{22}
  285. Line(HalbeLO_{4}, HalbeRO_{4}) → a_{21}
  286. Line(HalbeLU_{4}, HalbeRU_{3}) → b_{22}
  287. Line(HalbeLO_{4}, HalbeRO_{4}) → c_{20}
  288. Line(HalbeLU_{4}, HalbeRU_{3}) → d_{20}
  289. Line(HalbeLO_{4}, HalbeRO_{4}) → e_{23}
  290. Line(HalbeLU_{4}, HalbeRU_{3}) → f_{21}
  291. Polygon(E_4, F_4, R_3, Q_3) → S3, i_{19}, l_{19}, s_{19}, h_{20}
  292. Line(HalbeLO_{5}, HalbeRO_{5}) → q_{21}
  293. Line(HalbeLU_{5}, HalbeRU_{4}) → r_{23}
  294. Line(HalbeLO_{5}, HalbeRO_{5}) → s_{23}
  295. Line(HalbeLU_{5}, HalbeRU_{4}) → t_{23}
  296. Line(HalbeLO_{5}, HalbeRO_{5}) → a_{22}
  297. Line(HalbeLU_{5}, HalbeRU_{4}) → b_{23}
  298. Line(HalbeLO_{5}, HalbeRO_{5}) → c_{21}
  299. Line(HalbeLU_{5}, HalbeRU_{4}) → d_{21}
  300. Line(HalbeLO_{5}, HalbeRO_{5}) → e_{25}
  301. Line(HalbeLU_{5}, HalbeRU_{4}) → f_{22}
  302. Polygon(F_4, G_4, S_3, R_3) → S4, i_{20}, l_{20}, h_{21}, i_{21}
  303. Line(HalbeLO_{6}, HalbeRO_{6}) → q_{22}
  304. Line(HalbeLU_{6}, HalbeRU_{5}) → r_{24}
  305. Line(HalbeLO_{6}, HalbeRO_{6}) → s_{24}
  306. Line(HalbeLU_{6}, HalbeRU_{5}) → t_{24}
  307. Line(HalbeLO_{6}, HalbeRO_{6}) → a_{23}
  308. Line(HalbeLU_{6}, HalbeRU_{5}) → b_{24}
  309. Line(HalbeLO_{6}, HalbeRO_{6}) → c_{22}
  310. Line(HalbeLU_{6}, HalbeRU_{5}) → d_{22}
  311. Line(HalbeLO_{6}, HalbeRO_{6}) → e_{27}
  312. Line(HalbeLU_{6}, HalbeRU_{5}) → f_{23}
  313. Polygon(G_4, H_4, T_3, S_3) → S5, l_{21}, r_{21}, t_{21}, b_{21}
  314. Line(HalbeLO_{7}, HalbeRO_{7}) → q_{23}
  315. Line(HalbeLU_{7}, HalbeRU_{6}) → r_{26}
  316. Line(HalbeLO_{7}, HalbeRO_{7}) → s_{25}
  317. Line(HalbeLU_{7}, HalbeRU_{6}) → t_{26}
  318. Line(HalbeLO_{7}, HalbeRO_{7}) → a_{24}
  319. Line(HalbeLU_{7}, HalbeRU_{6}) → b_{26}
  320. Line(HalbeLO_{7}, HalbeRO_{7}) → c_{23}
  321. Line(HalbeLU_{7}, HalbeRU_{6}) → d_{23}
  322. Line(HalbeLO_{7}, HalbeRO_{7}) → e_{29}
  323. Line(HalbeLU_{7}, HalbeRU_{6}) → f_{24}
  324. Polygon(H_4, I_4, V_3, T_3) → S6, h_{22}, i_{22}, l_{22}, s_{22}
  325. Line(HalbeLO_{8}, HalbeRO_{8}) → q_{24}
  326. Line(HalbeLU_{8}, HalbeRU_{7}) → r_{27}
  327. Line(HalbeLO_{8}, HalbeRO_{8}) → s_{27}
  328. Line(HalbeLU_{8}, HalbeRU_{7}) → t_{27}
  329. Line(HalbeLO_{8}, HalbeRO_{8}) → a_{25}
  330. Line(HalbeLU_{8}, HalbeRU_{7}) → b_{27}
  331. Line(HalbeLO_{8}, HalbeRO_{8}) → c_{24}
  332. Line(HalbeLU_{8}, HalbeRU_{7}) → d_{24}
  333. Line(HalbeLO_{8}, HalbeRO_{8}) → e_{31}
  334. Line(HalbeLU_{8}, HalbeRU_{7}) → f_{25}
  335. Polygon(I_4, J_4, W_3, V_3) → S7, h_{23}, i_{23}, l_{23}, m_{23}
  336. Line(HalbeLO_{9}, HalbeRO_{9}) → q_{25}
  337. Line(HalbeLU_{9}, HalbeRU_{8}) → r_{28}
  338. Line(HalbeLO_{9}, HalbeRO_{9}) → s_{28}
  339. Line(HalbeLU_{9}, HalbeRU_{8}) → t_{28}
  340. Line(HalbeLO_{9}, HalbeRO_{9}) → a_{26}
  341. Line(HalbeLU_{9}, HalbeRU_{8}) → b_{28}
  342. Line(HalbeLO_{9}, HalbeRO_{9}) → c_{25}
  343. Line(HalbeLU_{9}, HalbeRU_{8}) → d_{25}
  344. Line(HalbeLO_{9}, HalbeRO_{9}) → e_{33}
  345. Line(HalbeLU_{9}, HalbeRU_{8}) → f_{26}
  346. Polygon(J_4, K_4, Z_3, W_3) → S8, h_{24}, i_{24}, l_{24}, m_{24}
  347. Line(HalbeLO_{10}, HalbeRO_{10}) → q_{26}
  348. Line(HalbeLU_{10}, HalbeRU_{9}) → r_{29}
  349. Line(HalbeLO_{10}, HalbeRO_{10}) → s_{29}
  350. Line(HalbeLU_{10}, HalbeRU_{9}) → t_{29}
  351. Line(HalbeLO_{10}, HalbeRO_{10}) → a_{27}
  352. Line(HalbeLU_{10}, HalbeRU_{9}) → b_{29}
  353. Line(HalbeLO_{10}, HalbeRO_{10}) → c_{26}
  354. Line(HalbeLU_{10}, HalbeRU_{9}) → d_{26}
  355. Line(HalbeLO_{10}, HalbeRO_{10}) → e_{35}
  356. Line(HalbeLU_{10}, HalbeRU_{9}) → f_{27}
  357. Polygon(K_4, L_4, A_{30}, Z_3) → S9, h_{25}, i_{25}, l_{25}, m_{25}
  358. Line(HalbeLO_{11}, HalbeRO_{11}) → q_{27}
  359. Line(HalbeLU_{11}, HalbeRU_{10}) → r_{30}
  360. Line(HalbeLO_{11}, HalbeRO_{11}) → s_{30}
  361. Line(HalbeLU_{11}, HalbeRU_{10}) → t_{30}
  362. Line(HalbeLO_{11}, HalbeRO_{11}) → a_{28}
  363. Line(HalbeLU_{11}, HalbeRU_{10}) → b_{30}
  364. Line(HalbeLO_{11}, HalbeRO_{11}) → c_{27}
  365. Line(HalbeLU_{11}, HalbeRU_{10}) → d_{27}
  366. Line(HalbeLO_{11}, HalbeRO_{11}) → e_{37}
  367. Line(HalbeLU_{11}, HalbeRU_{10}) → f_{28}
  368. Polygon(L_4, M_4, B_4, A_{30}) → S10, r_{25}, t_{25}, b_{25}, h_{26}
  369. Line(HalbeLO_{12}, HalbeRO_{12}) → q_{28}
  370. Line(HalbeLU_{12}, HalbeRU_{11}) → r_{32}
  371. Line(HalbeLO_{12}, HalbeRO_{12}) → s_{31}
  372. Line(HalbeLU_{12}, HalbeRU_{11}) → t_{32}
  373. Line(HalbeLO_{12}, HalbeRO_{12}) → a_{29}
  374. Line(HalbeLU_{12}, HalbeRU_{11}) → b_{32}
  375. Line(HalbeLO_{12}, HalbeRO_{12}) → c_{28}
  376. Line(HalbeLU_{12}, HalbeRU_{11}) → d_{28}
  377. Line(HalbeLO_{12}, HalbeRO_{12}) → e_{39}
  378. Line(HalbeLU_{12}, HalbeRU_{11}) → f_{29}
  379. Polygon(M_4, N_4, C_4, B_4) → S11, i_{26}, l_{26}, m_{26}, s_{26}
  380. Line(HalbeLO_{13}, HalbeRO_{13}) → q_{29}
  381. Line(HalbeLU_{13}, HalbeRU_{12}) → r_{33}
  382. Line(HalbeLO_{13}, HalbeRO_{13}) → s_{33}
  383. Line(HalbeLU_{13}, HalbeRU_{12}) → t_{33}
  384. Line(HalbeLO_{13}, HalbeRO_{13}) → a_{30}
  385. Line(HalbeLU_{13}, HalbeRU_{12}) → b_{33}
  386. Line(HalbeLO_{13}, HalbeRO_{13}) → c_{29}
  387. Line(HalbeLU_{13}, HalbeRU_{12}) → d_{29}
  388. Line(HalbeLO_{13}, HalbeRO_{13}) → e_{41}
  389. Line(HalbeLU_{13}, HalbeRU_{12}) → f_{30}
  390. Polygon(N_4, SechstelRO, SechstelRU, C_4) → S12, h_{27}, i_{27}, l_{27}, m_{27}
  391. Line(HalbeLO_{14}, HalbeRO_{14}) → q_{30}
  392. Line(HalbeLU_{14}, HalbeRU_{13}) → r_{34}
  393. Line(HalbeLO_{14}, HalbeRO_{14}) → s_{34}
  394. Line(HalbeLU_{14}, HalbeRU_{13}) → t_{34}
  395. Line(HalbeLO_{14}, HalbeRO_{14}) → a_{31}
  396. Line(HalbeLU_{14}, HalbeRU_{13}) → b_{34}
  397. Line(HalbeLO_{14}, HalbeRO_{14}) → c_{30}
  398. Line(HalbeLU_{14}, HalbeRU_{13}) → d_{30}
  399. Line(HalbeLO_{14}, HalbeRO_{14}) → e_{43}
  400. Line(HalbeLU_{14}, HalbeRU_{13}) → f_{31}
  401. Polygon(AchtelLO, G_5, O_4, AchtelLU) → A1, h_{28}, i_{28}, l_{28}, m_{28}
  402. Line(HalbeLO_{15}, HalbeRO_{15}) → q_{31}
  403. Line(HalbeLU_{15}, HalbeRU_{14}) → r_{35}
  404. Line(HalbeLO_{15}, HalbeRO_{15}) → s_{35}
  405. Line(HalbeLU_{15}, HalbeRU_{14}) → t_{35}
  406. Line(HalbeLO_{15}, HalbeRO_{15}) → a_{32}
  407. Line(HalbeLU_{15}, HalbeRU_{14}) → b_{35}
  408. Line(HalbeLO_{15}, HalbeRO_{15}) → c_{31}
  409. Line(HalbeLU_{15}, HalbeRU_{14}) → d_{31}
  410. Line(HalbeLO_{15}, HalbeRO_{15}) → e_{45}
  411. Line(HalbeLU_{15}, HalbeRU_{14}) → f_{32}
  412. Polygon(G_5, H_5, P_4, O_4) → A2, n_{28}, h_{29}, i_{29}, l_{29}
  413. Line(HalbeLO_{16}, HalbeRO_{16}) → q_{32}
  414. Line(HalbeLU_{16}, HalbeRU_{15}) → r_{36}
  415. Line(HalbeLO_{16}, HalbeRO_{16}) → s_{36}
  416. Line(HalbeLU_{16}, HalbeRU_{15}) → t_{36}
  417. Line(HalbeLO_{16}, HalbeRO_{16}) → a_{33}
  418. Line(HalbeLU_{16}, HalbeRU_{15}) → b_{36}
  419. Line(HalbeLO_{16}, HalbeRO_{16}) → c_{32}
  420. Line(HalbeLU_{16}, HalbeRU_{15}) → d_{32}
  421. Line(HalbeLO_{16}, HalbeRO_{16}) → e_{47}
  422. Line(HalbeLU_{16}, HalbeRU_{15}) → f_{33}
  423. Polygon(H_5, I_5, Q_4, P_4) → A3, m_{29}, n_{29}, h_{30}, i_{30}
  424. Line(HalbeLO_{17}, HalbeRO_{17}) → q_{33}
  425. Line(HalbeLU_{17}, HalbeRU_{16}) → r_{37}
  426. Line(HalbeLO_{17}, HalbeRO_{17}) → s_{37}
  427. Line(HalbeLU_{17}, HalbeRU_{16}) → t_{37}
  428. Line(HalbeLO_{17}, HalbeRO_{17}) → a_{34}
  429. Line(HalbeLU_{17}, HalbeRU_{16}) → b_{37}
  430. Line(HalbeLO_{17}, HalbeRO_{17}) → c_{33}
  431. Line(HalbeLU_{17}, HalbeRU_{16}) → d_{33}
  432. Line(HalbeLO_{17}, HalbeRO_{17}) → e_{49}
  433. Line(HalbeLU_{17}, HalbeRU_{16}) → f_{34}
  434. Polygon(I_5, J_5, R_4, Q_4) → A4, l_{30}, m_{30}, n_{30}, h_{31}
  435. Line(HalbeLO_{18}, HalbeRO_{18}) → q_{34}
  436. Line(HalbeLU_{18}, HalbeRU_{17}) → r_{38}
  437. Line(HalbeLO_{18}, HalbeRO_{18}) → s_{38}
  438. Line(HalbeLU_{18}, HalbeRU_{17}) → t_{38}
  439. Line(HalbeLO_{18}, HalbeRO_{18}) → a_{35}
  440. Line(HalbeLU_{18}, HalbeRU_{17}) → b_{38}
  441. Line(HalbeLO_{18}, HalbeRO_{18}) → c_{34}
  442. Line(HalbeLU_{18}, HalbeRU_{17}) → d_{34}
  443. Line(HalbeLO_{18}, HalbeRO_{18}) → e_{51}
  444. Line(HalbeLU_{18}, HalbeRU_{17}) → f_{35}
  445. Polygon(J_5, K_5, S_4, R_4) → A5, i_{31}, l_{31}, m_{31}, n_{31}
  446. Line(HalbeLO_{19}, HalbeRO_{19}) → q_{35}
  447. Line(HalbeLU_{19}, HalbeRU_{18}) → r_{39}
  448. Line(HalbeLO_{19}, HalbeRO_{19}) → s_{39}
  449. Line(HalbeLU_{19}, HalbeRU_{18}) → t_{39}
  450. Line(HalbeLO_{19}, HalbeRO_{19}) → a_{36}
  451. Line(HalbeLU_{19}, HalbeRU_{18}) → b_{39}
  452. Line(HalbeLO_{19}, HalbeRO_{19}) → c_{35}
  453. Line(HalbeLU_{19}, HalbeRU_{18}) → d_{35}
  454. Line(HalbeLO_{19}, HalbeRO_{19}) → e_{53}
  455. Line(HalbeLU_{19}, HalbeRU_{18}) → f_{36}
  456. Polygon(K_5, L_5, T_4, S_4) → A6, r_{31}, t_{31}, b_{31}, h_{32}
  457. Line(HalbeLO_{20}, HalbeRO_{20}) → q_{36}
  458. Line(HalbeLU_{20}, HalbeRU_{19}) → r_{41}
  459. Line(HalbeLO_{20}, HalbeRO_{20}) → s_{40}
  460. Line(HalbeLU_{20}, HalbeRU_{19}) → t_{41}
  461. Line(HalbeLO_{20}, HalbeRO_{20}) → a_{37}
  462. Line(HalbeLU_{20}, HalbeRU_{19}) → b_{41}
  463. Line(HalbeLO_{20}, HalbeRO_{20}) → c_{36}
  464. Line(HalbeLU_{20}, HalbeRU_{19}) → d_{36}
  465. Line(HalbeLO_{20}, HalbeRO_{20}) → e_{55}
  466. Line(HalbeLU_{20}, HalbeRU_{19}) → f_{37}
  467. Polygon(L_5, M_5, V_4, T_4) → A7, i_{32}, l_{32}, m_{32}, n_{32}
  468. Line(HalbeLO_{21}, HalbeRO_{21}) → q_{37}
  469. Line(HalbeLU_{21}, HalbeRU_{20}) → r_{42}
  470. Line(HalbeLO_{21}, HalbeRO_{21}) → s_{41}
  471. Line(HalbeLU_{21}, HalbeRU_{20}) → t_{42}
  472. Line(HalbeLO_{21}, HalbeRO_{21}) → a_{38}
  473. Line(HalbeLU_{21}, HalbeRU_{20}) → b_{42}
  474. Line(HalbeLO_{21}, HalbeRO_{21}) → c_{37}
  475. Line(HalbeLU_{21}, HalbeRU_{20}) → d_{37}
  476. Line(HalbeLO_{21}, HalbeRO_{21}) → e_{57}
  477. Line(HalbeLU_{21}, HalbeRU_{20}) → f_{38}
  478. Polygon(M_5, N_5, W_4, V_4) → A8, s_{32}, h_{33}, i_{33}, l_{33}
  479. Line(HalbeLO_{22}, HalbeRO_{22}) → q_{38}
  480. Line(HalbeLU_{22}, HalbeRU_{21}) → r_{43}
  481. Line(HalbeLO_{22}, HalbeRO_{22}) → s_{43}
  482. Line(HalbeLU_{22}, HalbeRU_{21}) → t_{43}
  483. Line(HalbeLO_{22}, HalbeRO_{22}) → a_{39}
  484. Line(HalbeLU_{22}, HalbeRU_{21}) → b_{43}
  485. Line(HalbeLO_{22}, HalbeRO_{22}) → c_{38}
  486. Line(HalbeLU_{22}, HalbeRU_{21}) → d_{38}
  487. Line(HalbeLO_{22}, HalbeRO_{22}) → e_{59}
  488. Line(HalbeLU_{22}, HalbeRU_{21}) → f_{39}
  489. Polygon(N_5, O_5, Z_4, W_4) → A9, m_{33}, n_{33}, p_{33}, h_{34}
  490. Line(HalbeLO_{23}, HalbeRO_{23}) → q_{39}
  491. Line(HalbeLU_{23}, HalbeRU_{22}) → r_{44}
  492. Line(HalbeLO_{23}, HalbeRO_{23}) → s_{44}
  493. Line(HalbeLU_{23}, HalbeRU_{22}) → t_{44}
  494. Line(HalbeLO_{23}, HalbeRO_{23}) → a_{40}
  495. Line(HalbeLU_{23}, HalbeRU_{22}) → b_{44}
  496. Line(HalbeLO_{23}, HalbeRO_{23}) → c_{39}
  497. Line(HalbeLU_{23}, HalbeRU_{22}) → d_{39}
  498. Line(HalbeLO_{23}, HalbeRO_{23}) → e_{61}
  499. Line(HalbeLU_{23}, HalbeRU_{22}) → f_{40}
  500. Polygon(O_5, P_5, A_{31}, Z_4) → A10, i_{34}, l_{34}, m_{34}, n_{34}
  501. Line(HalbeLO_{24}, HalbeRO_{24}) → q_{40}
  502. Line(HalbeLU_{24}, HalbeRU_{23}) → r_{45}
  503. Line(HalbeLO_{24}, HalbeRO_{24}) → s_{45}
  504. Line(HalbeLU_{24}, HalbeRU_{23}) → t_{45}
  505. Line(HalbeLO_{24}, HalbeRO_{24}) → a_{41}
  506. Line(HalbeLU_{24}, HalbeRU_{23}) → b_{45}
  507. Line(HalbeLO_{24}, HalbeRO_{24}) → c_{40}
  508. Line(HalbeLU_{24}, HalbeRU_{23}) → d_{40}
  509. Line(HalbeLO_{24}, HalbeRO_{24}) → e_{63}
  510. Line(HalbeLU_{24}, HalbeRU_{23}) → f_{41}
  511. Polygon(P_5, Q_5, B_5, A_{31}) → A11, p_{34}, h_{35}, i_{35}, l_{35}
  512. Line(HalbeLO_{25}, HalbeRO_{25}) → q_{41}
  513. Line(HalbeLU_{25}, HalbeRU_{24}) → r_{46}
  514. Line(HalbeLO_{25}, HalbeRO_{25}) → s_{46}
  515. Line(HalbeLU_{25}, HalbeRU_{24}) → t_{46}
  516. Line(HalbeLO_{25}, HalbeRO_{25}) → a_{42}
  517. Line(HalbeLU_{25}, HalbeRU_{24}) → b_{46}
  518. Line(HalbeLO_{25}, HalbeRO_{25}) → c_{41}
  519. Line(HalbeLU_{25}, HalbeRU_{24}) → d_{41}
  520. Line(HalbeLO_{25}, HalbeRO_{25}) → e_{65}
  521. Line(HalbeLU_{25}, HalbeRU_{24}) → f_{42}
  522. Line(HalbeLO_{26}, HalbeRO_{26}) → q_{42}
  523. Line(HalbeLU_{26}, HalbeRU_{25}) → r_{48}
  524. Line(HalbeLO_{26}, HalbeRO_{26}) → s_{48}
  525. Line(HalbeLU_{26}, HalbeRU_{25}) → t_{48}
  526. Line(HalbeLO_{26}, HalbeRO_{26}) → a_{43}
  527. Line(HalbeLU_{26}, HalbeRU_{25}) → b_{48}
  528. Line(HalbeLO_{26}, HalbeRO_{26}) → c_{42}
  529. Line(HalbeLU_{26}, HalbeRU_{25}) → d_{42}
  530. Line(HalbeLO_{26}, HalbeRO_{26}) → e_{67}
  531. Line(HalbeLU_{26}, HalbeRU_{25}) → f_{43}
  532. Line(HalbeLO_{27}, HalbeRO_{27}) → q_{43}
  533. Line(HalbeLU_{27}, HalbeRU_{26}) → r_{47}
  534. Line(HalbeLO_{27}, HalbeRO_{27}) → s_{47}
  535. Line(HalbeLU_{27}, HalbeRU_{26}) → t_{47}
  536. Line(HalbeLO_{27}, HalbeRO_{27}) → a_{44}
  537. Line(HalbeLU_{27}, HalbeRU_{26}) → b_{47}
  538. Line(HalbeLO_{27}, HalbeRO_{27}) → c_{43}
  539. Line(HalbeLU_{27}, HalbeRU_{26}) → d_{43}
  540. Line(HalbeLO_{27}, HalbeRO_{27}) → e_{69}
  541. Line(HalbeLU_{27}, HalbeRU_{26}) → f_{44}
  542. Polygon(Q_5, R_5, C_5, B_5) → A12, m_{35}, n_{35}, p_{35}, h_{36}
  543. Line(HalbeLO_{28}, HalbeRO_{28}) → q_{44}
  544. Line(HalbeLU_{28}, HalbeRU_{27}) → r_{49}
  545. Line(HalbeLO_{28}, HalbeRO_{28}) → s_{49}
  546. Line(HalbeLU_{28}, HalbeRU_{27}) → t_{49}
  547. Line(HalbeLO_{28}, HalbeRO_{28}) → a_{45}
  548. Line(HalbeLU_{28}, HalbeRU_{27}) → b_{49}
  549. Line(HalbeLO_{28}, HalbeRO_{28}) → c_{44}
  550. Line(HalbeLU_{28}, HalbeRU_{27}) → d_{44}
  551. Line(HalbeLO_{28}, HalbeRO_{28}) → e_{71}
  552. Line(HalbeLU_{28}, HalbeRU_{27}) → f_{45}
  553. Polygon(R_5, T_5, D_5, C_5) → A13, i_{36}, l_{36}, m_{36}, n_{36}
  554. Line(HalbeLO_{29}, HalbeRO_{29}) → q_{45}
  555. Line(HalbeLU_{29}, HalbeRU_{28}) → r_{50}
  556. Line(HalbeLO_{29}, HalbeRO_{29}) → s_{50}
  557. Line(HalbeLU_{29}, HalbeRU_{28}) → t_{50}
  558. Line(HalbeLO_{29}, HalbeRO_{29}) → a_{46}
  559. Line(HalbeLU_{29}, HalbeRU_{28}) → b_{50}
  560. Line(HalbeLO_{29}, HalbeRO_{29}) → c_{45}
  561. Line(HalbeLU_{29}, HalbeRU_{28}) → d_{45}
  562. Line(HalbeLO_{29}, HalbeRO_{29}) → e_{73}
  563. Line(HalbeLU_{29}, HalbeRU_{28}) → f_{46}
  564. Polygon(T_5, S_5, E_5, D_5) → A14, p_{36}, h_{37}, i_{37}, l_{37}
  565. Line(HalbeLO_{30}, HalbeRO_{30}) → q_{46}
  566. Line(HalbeLU_{30}, HalbeRU_{29}) → r_{51}
  567. Line(HalbeLO_{30}, HalbeRO_{30}) → s_{51}
  568. Line(HalbeLU_{30}, HalbeRU_{29}) → t_{51}
  569. Line(HalbeLO_{30}, HalbeRO_{30}) → a_{47}
  570. Line(HalbeLU_{30}, HalbeRU_{29}) → b_{51}
  571. Line(HalbeLO_{30}, HalbeRO_{30}) → c_{46}
  572. Line(HalbeLU_{30}, HalbeRU_{29}) → d_{46}
  573. Line(HalbeLO_{30}, HalbeRO_{30}) → e_{75}
  574. Line(HalbeLU_{30}, HalbeRU_{29}) → f_{47}
  575. Polygon(S_5, V_5, F_5, E_5) → A15, m_{37}, n_{37}, p_{37}, h_{38}
  576. Line(HalbeLO_{31}, HalbeRO_{31}) → q_{47}
  577. Line(HalbeLU_{31}, HalbeRU_{30}) → r_{52}
  578. Line(HalbeLO_{31}, HalbeRO_{31}) → s_{52}
  579. Line(HalbeLU_{31}, HalbeRU_{30}) → t_{52}
  580. Line(HalbeLO_{31}, HalbeRO_{31}) → a_{48}
  581. Line(HalbeLU_{31}, HalbeRU_{30}) → b_{52}
  582. Line(HalbeLO_{31}, HalbeRO_{31}) → c_{47}
  583. Line(HalbeLU_{31}, HalbeRU_{30}) → d_{47}
  584. Line(HalbeLO_{31}, HalbeRO_{31}) → e_{77}
  585. Line(HalbeLU_{31}, HalbeRU_{30}) → f_{48}
  586. Polygon(V_5, AchtelRO, AchtelRU, F_5) → A16, i_{38}, l_{38}, m_{38}, n_{38}
  587. Line(HalbeLO_{32}, HalbeRO_{32}) → q_{48}
  588. Line(HalbeLU_{32}, HalbeRU_{31}) → r_{53}
  589. Line(HalbeLO_{32}, HalbeRO_{32}) → s_{53}
  590. Line(HalbeLU_{32}, HalbeRU_{31}) → t_{53}
  591. Line(HalbeLO_{32}, HalbeRO_{32}) → a_{49}
  592. Line(HalbeLU_{32}, HalbeRU_{31}) → b_{53}
  593. Line(HalbeLO_{32}, HalbeRO_{32}) → c_{48}
  594. Line(HalbeLU_{32}, HalbeRU_{31}) → d_{48}
  595. Line(HalbeLO_{32}, HalbeRO_{32}) → e_{79}
  596. Line(HalbeLU_{32}, HalbeRU_{31}) → f_{49}
  597. Polygon(ZehntelLO, B, A_{27}, ZehntelLU) → Z1, p_{38}, h_{39}, i_{39}, l_{39}
  598. Line(HalbeLO_{33}, HalbeRO_{33}) → q_{49}
  599. Line(HalbeLU_{33}, HalbeRU_{32}) → r_{54}
  600. Line(HalbeLO_{33}, HalbeRO_{33}) → s_{54}
  601. Line(HalbeLU_{33}, HalbeRU_{32}) → t_{54}
  602. Line(HalbeLO_{33}, HalbeRO_{33}) → a_{50}
  603. Line(HalbeLU_{33}, HalbeRU_{32}) → b_{54}
  604. Line(HalbeLO_{33}, HalbeRO_{33}) → c_{49}
  605. Line(HalbeLU_{33}, HalbeRU_{32}) → d_{49}
  606. Line(HalbeLO_{33}, HalbeRO_{33}) → e_{81}
  607. Line(HalbeLU_{33}, HalbeRU_{32}) → f_{50}
  608. Polygon(B, C, Z, A_{27}) → Z2, m_{39}, n_{39}, p_{39}, h_{40}
  609. Line(HalbeLO_{34}, HalbeRO_{34}) → q_{50}
  610. Line(HalbeLU_{34}, HalbeRU_{33}) → r_{55}
  611. Line(HalbeLO_{34}, HalbeRO_{34}) → s_{55}
  612. Line(HalbeLU_{34}, HalbeRU_{33}) → t_{55}
  613. Line(HalbeLO_{34}, HalbeRO_{34}) → a_{51}
  614. Line(HalbeLU_{34}, HalbeRU_{33}) → b_{55}
  615. Line(HalbeLO_{34}, HalbeRO_{34}) → c_{50}
  616. Line(HalbeLU_{34}, HalbeRU_{33}) → d_{50}
  617. Line(HalbeLO_{34}, HalbeRO_{34}) → e_{83}
  618. Line(HalbeLU_{34}, HalbeRU_{33}) → f_{51}
  619. Polygon(C, D, B_1, Z) → Z3, i_{40}, l_{40}, m_{40}, n_{40}
  620. Line(HalbeLO_{35}, HalbeRO_{35}) → q_{51}
  621. Line(HalbeLU_{35}, HalbeRU_{34}) → r_{56}
  622. Line(HalbeLO_{35}, HalbeRO_{35}) → s_{56}
  623. Line(HalbeLU_{35}, HalbeRU_{34}) → t_{56}
  624. Line(HalbeLO_{35}, HalbeRO_{35}) → a_{52}
  625. Line(HalbeLU_{35}, HalbeRU_{34}) → b_{56}
  626. Line(HalbeLO_{35}, HalbeRO_{35}) → c_{51}
  627. Line(HalbeLU_{35}, HalbeRU_{34}) → d_{51}
  628. Line(HalbeLO_{35}, HalbeRO_{35}) → e_{85}
  629. Line(HalbeLU_{35}, HalbeRU_{34}) → f_{52}
  630. Polygon(D, E, C_1, B_1) → Z4, p_{40}, r_{40}, t_{40}, b_{40}
  631. Line(HalbeLO_{36}, HalbeRO_{36}) → q_{52}
  632. Line(HalbeLU_{36}, HalbeRU_{35}) → r_{58}
  633. Line(HalbeLO_{36}, HalbeRO_{36}) → s_{57}
  634. Line(HalbeLU_{36}, HalbeRU_{35}) → t_{58}
  635. Line(HalbeLO_{36}, HalbeRO_{36}) → a_{53}
  636. Line(HalbeLU_{36}, HalbeRU_{35}) → b_{58}
  637. Line(HalbeLO_{36}, HalbeRO_{36}) → c_{52}
  638. Line(HalbeLU_{36}, HalbeRU_{35}) → d_{52}
  639. Line(HalbeLO_{36}, HalbeRO_{36}) → e_{87}
  640. Line(HalbeLU_{36}, HalbeRU_{35}) → f_{53}
  641. Polygon(E, F, D_1, C_1) → Z5, h_{41}, i_{41}, l_{41}, m_{41}
  642. Line(HalbeLO_{37}, HalbeRO_{37}) → q_{53}
  643. Line(HalbeLU_{37}, HalbeRU_{36}) → r_{59}
  644. Line(HalbeLO_{37}, HalbeRO_{37}) → s_{58}
  645. Line(HalbeLU_{37}, HalbeRU_{36}) → t_{59}
  646. Line(HalbeLO_{37}, HalbeRO_{37}) → a_{54}
  647. Line(HalbeLU_{37}, HalbeRU_{36}) → b_{59}
  648. Line(HalbeLO_{37}, HalbeRO_{37}) → c_{53}
  649. Line(HalbeLU_{37}, HalbeRU_{36}) → d_{53}
  650. Line(HalbeLO_{37}, HalbeRO_{37}) → e_{89}
  651. Line(HalbeLU_{37}, HalbeRU_{36}) → f_{54}
  652. Polygon(F, G, E_1, D_1) → Z6, n_{41}, p_{41}, h_{42}, i_{42}
  653. Line(HalbeLO_{38}, HalbeRO_{38}) → q_{54}
  654. Line(HalbeLU_{38}, HalbeRU_{37}) → r_{60}
  655. Line(HalbeLO_{38}, HalbeRO_{38}) → s_{59}
  656. Line(HalbeLU_{38}, HalbeRU_{37}) → t_{60}
  657. Line(HalbeLO_{38}, HalbeRO_{38}) → a_{55}
  658. Line(HalbeLU_{38}, HalbeRU_{37}) → b_{60}
  659. Line(HalbeLO_{38}, HalbeRO_{38}) → c_{54}
  660. Line(HalbeLU_{38}, HalbeRU_{37}) → d_{54}
  661. Line(HalbeLO_{38}, HalbeRO_{38}) → e_{91}
  662. Line(HalbeLU_{38}, HalbeRU_{37}) → f_{55}
  663. Polygon(G, H, F_1, E_1) → Z7, l_{42}, m_{42}, n_{42}, p_{42}
  664. Line(HalbeLO_{39}, HalbeRO_{39}) → q_{55}
  665. Line(HalbeLU_{39}, HalbeRU_{38}) → r_{61}
  666. Line(HalbeLO_{39}, HalbeRO_{39}) → s_{60}
  667. Line(HalbeLU_{39}, HalbeRU_{38}) → t_{61}
  668. Line(HalbeLO_{39}, HalbeRO_{39}) → a_{56}
  669. Line(HalbeLU_{39}, HalbeRU_{38}) → b_{61}
  670. Line(HalbeLO_{39}, HalbeRO_{39}) → c_{55}
  671. Line(HalbeLU_{39}, HalbeRU_{38}) → d_{55}
  672. Line(HalbeLO_{39}, HalbeRO_{39}) → e_{93}
  673. Line(HalbeLU_{39}, HalbeRU_{38}) → f_{56}
  674. Polygon(H, I, G_1, F_1) → Z8, s_{42}, h_{43}, i_{43}, l_{43}
  675. Line(HalbeLO_{40}, HalbeRO_{40}) → q_{56}
  676. Line(HalbeLU_{40}, HalbeRU_{39}) → r_{62}
  677. Line(HalbeLO_{40}, HalbeRO_{40}) → s_{62}
  678. Line(HalbeLU_{40}, HalbeRU_{39}) → t_{62}
  679. Line(HalbeLO_{40}, HalbeRO_{40}) → a_{57}
  680. Line(HalbeLU_{40}, HalbeRU_{39}) → b_{62}
  681. Line(HalbeLO_{40}, HalbeRO_{40}) → c_{56}
  682. Line(HalbeLU_{40}, HalbeRU_{39}) → d_{56}
  683. Line(HalbeLO_{40}, HalbeRO_{40}) → e_{95}
  684. Line(HalbeLU_{40}, HalbeRU_{39}) → f_{57}
  685. Polygon(I, J, H_1, G_1) → Z9, m_{43}, n_{43}, p_{43}, h_{44}
  686. Line(HalbeLO_{41}, HalbeRO_{41}) → q_{57}
  687. Line(HalbeLU_{41}, HalbeRU_{40}) → r_{63}
  688. Line(HalbeLO_{41}, HalbeRO_{41}) → s_{63}
  689. Line(HalbeLU_{41}, HalbeRU_{40}) → t_{63}
  690. Line(HalbeLO_{41}, HalbeRO_{41}) → a_{58}
  691. Line(HalbeLU_{41}, HalbeRU_{40}) → b_{63}
  692. Line(HalbeLO_{41}, HalbeRO_{41}) → c_{57}
  693. Line(HalbeLU_{41}, HalbeRU_{40}) → d_{57}
  694. Line(HalbeLO_{41}, HalbeRO_{41}) → e_{97}
  695. Line(HalbeLU_{41}, HalbeRU_{40}) → f_{58}
  696. Polygon(J, K, I_1, H_1) → Z10, i_{44}, l_{44}, m_{44}, n_{44}
  697. Line(HalbeLO_{42}, HalbeRO_{42}) → q_{58}
  698. Line(HalbeLU_{42}, HalbeRU_{41}) → r_{64}
  699. Line(HalbeLO_{42}, HalbeRO_{42}) → s_{64}
  700. Line(HalbeLU_{42}, HalbeRU_{41}) → t_{64}
  701. Line(HalbeLO_{42}, HalbeRO_{42}) → a_{59}
  702. Line(HalbeLU_{42}, HalbeRU_{41}) → b_{64}
  703. Line(HalbeLO_{42}, HalbeRO_{42}) → c_{58}
  704. Line(HalbeLU_{42}, HalbeRU_{41}) → d_{58}
  705. Line(HalbeLO_{42}, HalbeRO_{42}) → e_{99}
  706. Line(HalbeLU_{42}, HalbeRU_{41}) → f_{59}
  707. Polygon(K, L, J_1, I_1) → Z11, p_{44}, h_{45}, i_{45}, l_{45}
  708. Line(HalbeLO_{43}, HalbeRO_{43}) → q_{59}
  709. Line(HalbeLU_{43}, HalbeRU_{42}) → r_{65}
  710. Line(HalbeLO_{43}, HalbeRO_{43}) → s_{65}
  711. Line(HalbeLU_{43}, HalbeRU_{42}) → t_{65}
  712. Line(HalbeLO_{43}, HalbeRO_{43}) → a_{60}
  713. Line(HalbeLU_{43}, HalbeRU_{42}) → b_{65}
  714. Line(HalbeLO_{43}, HalbeRO_{43}) → c_{59}
  715. Line(HalbeLU_{43}, HalbeRU_{42}) → d_{59}
  716. Line(HalbeLO_{43}, HalbeRO_{43}) → e_{101}
  717. Line(HalbeLU_{43}, HalbeRU_{42}) → f_{60}
  718. Polygon(L, M, K_1, J_1) → Z12, m_{45}, n_{45}, p_{45}, h_{46}
  719. Line(HalbeLO_{44}, HalbeRO_{44}) → q_{60}
  720. Line(HalbeLU_{44}, HalbeRU_{43}) → r_{66}
  721. Line(HalbeLO_{44}, HalbeRO_{44}) → s_{66}
  722. Line(HalbeLU_{44}, HalbeRU_{43}) → t_{66}
  723. Line(HalbeLO_{44}, HalbeRO_{44}) → a_{61}
  724. Line(HalbeLU_{44}, HalbeRU_{43}) → b_{66}
  725. Line(HalbeLO_{44}, HalbeRO_{44}) → c_{60}
  726. Line(HalbeLU_{44}, HalbeRU_{43}) → d_{60}
  727. Line(HalbeLO_{44}, HalbeRO_{44}) → e_{103}
  728. Line(HalbeLU_{44}, HalbeRU_{43}) → f_{61}
  729. Polygon(M, N, L_1, K_1) → Z13, i_{46}, l_{46}, m_{46}, n_{46}
  730. Line(HalbeLO_{45}, HalbeRO_{45}) → q_{61}
  731. Line(HalbeLU_{45}, HalbeRU_{44}) → r_{67}
  732. Line(HalbeLO_{45}, HalbeRO_{45}) → s_{67}
  733. Line(HalbeLU_{45}, HalbeRU_{44}) → t_{67}
  734. Line(HalbeLO_{45}, HalbeRO_{45}) → a_{62}
  735. Line(HalbeLU_{45}, HalbeRU_{44}) → b_{67}
  736. Line(HalbeLO_{45}, HalbeRO_{45}) → c_{61}
  737. Line(HalbeLU_{45}, HalbeRU_{44}) → d_{61}
  738. Line(HalbeLO_{45}, HalbeRO_{45}) → e_{105}
  739. Line(HalbeLU_{45}, HalbeRU_{44}) → f_{62}
  740. Polygon(N, O, M_1, L_1) → Z14, p_{46}, h_{47}, i_{47}, l_{47}
  741. Line(HalbeLO_{46}, HalbeRO_{46}) → q_{62}
  742. Line(HalbeLU_{46}, HalbeRU_{45}) → r_{68}
  743. Line(HalbeLO_{46}, HalbeRO_{46}) → s_{68}
  744. Line(HalbeLU_{46}, HalbeRU_{45}) → t_{68}
  745. Line(HalbeLO_{46}, HalbeRO_{46}) → a_{63}
  746. Line(HalbeLU_{46}, HalbeRU_{45}) → b_{68}
  747. Line(HalbeLO_{46}, HalbeRO_{46}) → c_{62}
  748. Line(HalbeLU_{46}, HalbeRU_{45}) → d_{62}
  749. Line(HalbeLO_{46}, HalbeRO_{46}) → e_{107}
  750. Line(HalbeLU_{46}, HalbeRU_{45}) → f_{63}
  751. Polygon(O, P, N_1, M_1) → Z15, m_{47}, n_{47}, p_{47}, h_{48}
  752. Line(HalbeLO_{47}, HalbeRO_{47}) → q_{63}
  753. Line(HalbeLU_{47}, HalbeRU_{46}) → r_{69}
  754. Line(HalbeLO_{47}, HalbeRO_{47}) → s_{69}
  755. Line(HalbeLU_{47}, HalbeRU_{46}) → t_{69}
  756. Line(HalbeLO_{47}, HalbeRO_{47}) → a_{64}
  757. Line(HalbeLU_{47}, HalbeRU_{46}) → b_{69}
  758. Line(HalbeLO_{47}, HalbeRO_{47}) → c_{63}
  759. Line(HalbeLU_{47}, HalbeRU_{46}) → d_{63}
  760. Line(HalbeLO_{47}, HalbeRO_{47}) → e_{109}
  761. Line(HalbeLU_{47}, HalbeRU_{46}) → f_{64}
  762. Polygon(P, Q, O_1, N_1) → Z16, i_{48}, l_{48}, m_{48}, n_{48}
  763. Line(HalbeLO_{48}, HalbeRO_{48}) → q_{64}
  764. Line(HalbeLU_{48}, HalbeRU_{47}) → r_{70}
  765. Line(HalbeLO_{48}, HalbeRO_{48}) → s_{70}
  766. Line(HalbeLU_{48}, HalbeRU_{47}) → t_{70}
  767. Line(HalbeLO_{48}, HalbeRO_{48}) → a_{65}
  768. Line(HalbeLU_{48}, HalbeRU_{47}) → b_{70}
  769. Line(HalbeLO_{48}, HalbeRO_{48}) → c_{64}
  770. Line(HalbeLU_{48}, HalbeRU_{47}) → d_{64}
  771. Line(HalbeLO_{48}, HalbeRO_{48}) → e_{111}
  772. Line(HalbeLU_{48}, HalbeRU_{47}) → f_{65}
  773. Polygon(Q, R, P_1, O_1) → Z17, p_{48}, h_{49}, i_{49}, l_{49}
  774. Line(HalbeLO_{49}, HalbeRO_{49}) → q_{65}
  775. Line(HalbeLU_{49}, HalbeRU_{48}) → r_{71}
  776. Line(HalbeLO_{49}, HalbeRO_{49}) → s_{71}
  777. Line(HalbeLU_{49}, HalbeRU_{48}) → t_{71}
  778. Line(HalbeLO_{49}, HalbeRO_{49}) → a_{66}
  779. Line(HalbeLU_{49}, HalbeRU_{48}) → b_{71}
  780. Line(HalbeLO_{49}, HalbeRO_{49}) → c_{65}
  781. Line(HalbeLU_{49}, HalbeRU_{48}) → d_{65}
  782. Line(HalbeLO_{49}, HalbeRO_{49}) → e_{113}
  783. Line(HalbeLU_{49}, HalbeRU_{48}) → f_{66}
  784. Polygon(R, S, Q_1, P_1) → Z18, m_{49}, n_{49}, p_{49}, h_{50}
  785. Line(HalbeLO_{50}, HalbeRO_{50}) → q_{66}
  786. Line(HalbeLU_{50}, HalbeRU_{49}) → r_{72}
  787. Line(HalbeLO_{50}, HalbeRO_{50}) → s_{72}
  788. Line(HalbeLU_{50}, HalbeRU_{49}) → t_{72}
  789. Line(HalbeLO_{50}, HalbeRO_{50}) → a_{67}
  790. Line(HalbeLU_{50}, HalbeRU_{49}) → b_{72}
  791. Line(HalbeLO_{50}, HalbeRO_{50}) → c_{66}
  792. Line(HalbeLU_{50}, HalbeRU_{49}) → d_{66}
  793. Line(HalbeLO_{50}, HalbeRO_{50}) → e_{115}
  794. Line(HalbeLU_{50}, HalbeRU_{49}) → f_{67}
  795. Polygon(S, T, R_1, Q_1) → Z19, i_{50}, l_{50}, m_{50}, n_{50}
  796. Line(HalbeLO_{51}, HalbeRO_{51}) → q_{67}
  797. Line(HalbeLU_{51}, HalbeRU_{50}) → r_{73}
  798. Line(HalbeLO_{51}, HalbeRO_{51}) → s_{73}
  799. Line(HalbeLU_{51}, HalbeRU_{50}) → t_{73}
  800. Line(HalbeLO_{51}, HalbeRO_{51}) → a_{68}
  801. Line(HalbeLU_{51}, HalbeRU_{50}) → b_{73}
  802. Line(HalbeLO_{51}, HalbeRO_{51}) → c_{67}
  803. Line(HalbeLU_{51}, HalbeRU_{50}) → d_{67}
  804. Line(HalbeLO_{51}, HalbeRO_{51}) → e_{117}
  805. Line(HalbeLU_{51}, HalbeRU_{50}) → f_{68}
  806. Polygon(T, ZehntelRO, ZehntelRU, R_1) → Z20, p_{50}, h_{51}, i_{51}, l_{51}
  807. Point(b_7) → A_1
  808. Point(a_7) → A_2
  809. Segment(A_1, A_2) → f_4
  810. Point(r_7) → A_3
  811. Point(q_7) → A_4
  812. Segment(A_3, A_4) → p_3
  813. Segment(ZSL, ZSR) → m_3
  814. Sequence(Segment[(1 + (10 * k), y(ZSL) + 0.4), (1 + (10 * k), y(ZSL) - 0.4)], k, 0, 2) → ZSGStriche
  815. Sequence(Segment[(1 + k, y(ZSL) + 0.2), (1 + k, y(ZSL) - 0.2)], k, 1, 20) → ZSStriche
  816. Intersect(Lineal, m_3) → Kreuz
  817. Line(K_{40}, U_{107}) → g_{68}

AI Drawing Prompt Reference

Draw a number line from -5 to 5, marking a vertical line every unit and a thin line every tenth of a unit. Randomly select a point R on the number line and draw a vertical line through R, intersecting the number line at point Z. Draw thin lines every tenth of a unit on the number line until Z. Draw a vertical line through Z, intersecting the number line at point A27. Draw a vertical line through A27, intersecting the number line at point B1, and continue this process until all thin lines and vertical lines are drawn.
The prompt above was compiled from the original drawing commands and is for reference only.