MathPlotAI Logo MathPlotAI

Triangle Area Puzzle

Triangle Area Puzzle
Loading the math board and drawing, please wait…
2013-06-05 03:20
TriangleCoordinate GeometryGeometric Construction
Drag unit squares and pieces to fill a triangle or create different shapes. Use the unit square pieces to find the area of the triangle. This example demonstrates how to construct and explore the area of a triangle using tools like Polygon, Segment, and Sequence in GeoGebra. Suitable for middle school and above students learning geometry and area calculation.

GeoGebra Commands & Parameters

  1. Polygon(T25_1, Rotate[T25_1 + (If[fT25_1 ∧ (rT25_1 ≟ 180° ∨ rT25_1 ≟ 360°), 1, -1], 0), rT25_1, T25_1], Rotate[T25_1 + (0, If[fT25_1 ∧ (rT25_1 ≟ 90° ∨ rT25_1 ≟ 270°), -0.5, 0.5]), rT25_1, T25_1]) → t25_1, t251Seg_2, t251Seg_1, t251Seg
  2. Polygon(T25_3, Rotate[T25_3 + (If[fT25_3 ∧ (rT25_3 ≟ 180° ∨ rT25_3 ≟ 360°), 1, -1], 0), rT25_3, T25_3], Rotate[T25_3 + (0, If[fT25_3 ∧ (rT25_3 ≟ 90° ∨ rT25_3 ≟ 270°), -0.5, 0.5]), rT25_3, T25_3]) → t25_3, t253Seg_1, t253Seg_2, t253Seg
  3. Polygon(T25_2, Rotate[T25_2 + (If[fT25_2 ∧ (rT25_2 ≟ 180° ∨ rT25_2 ≟ 360°), 1, -1], 0), rT25_2, T25_2], Rotate[T25_2 + (0, If[fT25_2 ∧ (rT25_2 ≟ 90° ∨ rT25_2 ≟ 270°), -0.5, 0.5]), rT25_2, T25_2]) → t25_2, t252Seg_1, t252Seg_2, t252Seg
  4. Polygon(TransformBoxCenter + (-1.2, -1.2), TransformBoxCenter + (1.2, -1.2), TransformBoxCenter + (1.2, 1.2), TransformBoxCenter + (-1.2, 1.2)) → TransformBox, rotateBoxSeg_1, rotateBoxSeg_2, rotateBoxSeg_3, rotateBoxSeg
  5. Sum(rotateObjectFlag) → rotateObjectFlagCount
  6. Polygon(Q75_1, Rotate[Q75_1 + (If[fQ75_1 ∧ (rQ75_1 ≟ 0° ∨ rQ75_1 ≟ 180° ∨ rQ75_1 ≟ 360°), -1, 1], 0), rQ75_1, Q75_1], Rotate[Q75_1 + (If[fQ75_1 ∧ (rQ75_1 ≟ 0° ∨ rQ75_1 ≟ 180° ∨ rQ75_1 ≟ 360°), -0.5, 0.5], If[fQ75_1 ∧ (rQ75_1 ≟ 90° ∨ rQ75_1 ≟ 270°), -1, 1]), rQ75_1, Q75_1], Rotate[Q75_1 + (0, If[fQ75_1 ∧ (rQ75_1 ≟ 90° ∨ rQ75_1 ≟ 270°), -1, 1]), rQ75_1, Q75_1]) → q75_1, q751Seg_1, q751Seg_2, q751Seg_3, q751Seg
  7. Polygon(TriOutlinePt, TriOutlinePt + If[figure ≟ 1, (1, 0), If[figure ≟ 2, (2, 0), If[figure ≟ 3, (2, 0), If[figure ≟ 4, (0, -1), (3, -1)]]]], TriOutlinePt + If[figure ≟ 1, (1, 2), If[figure ≟ 2, (1, 2), If[figure ≟ 3, (2, 3), If[figure ≟ 4, (2, 0), (3, -1)]]]], TriOutlinePt + If[figure ≟ 1, (1, 2), If[figure ≟ 2, (1, 2), If[figure ≟ 3, (1, 3), If[figure ≟ 4, (2, 2), (2, 1)]]]], TriOutlinePt + If[figure ≟ 1, (1, 2), If[figure ≟ 2, (1, 2), If[figure ≟ 3, (1, 2), If[figure ≟ 4, (0, 1), (1, 3)]]]]) → figureOutline, figureOutlineSeg_1, figureOutlineSeg_2, figureOutlineSeg_3, figureOutlineSeg_4, figureOutlineSeg
  8. Polygon(Q75T25button, Q75T25button + (1, 0), Q75T25button + (1, 1), Q75T25button + (0, 1)) → buttonCreateQ75T25, buttonCreateQ75T25Seg_3, buttonCreateQ75T25Seg_1, buttonCreateQ75T25Seg_2, buttonCreateQ75T25Seg
  9. Segment(Q75T25button + (1, 0), Q75T25button + (0.5, 1)) → buttonCreateQ75T25DiagSeg
  10. Polygon(Q75_3, Rotate[Q75_3 + (If[fQ75_3 ∧ (rQ75_3 ≟ 0° ∨ rQ75_3 ≟ 180° ∨ rQ75_3 ≟ 360°), -1, 1], 0), rQ75_3, Q75_3], Rotate[Q75_3 + (If[fQ75_3 ∧ (rQ75_3 ≟ 0° ∨ rQ75_3 ≟ 180° ∨ rQ75_3 ≟ 360°), -0.5, 0.5], If[fQ75_3 ∧ (rQ75_3 ≟ 90° ∨ rQ75_3 ≟ 270°), -1, 1]), rQ75_3, Q75_3], Rotate[Q75_3 + (0, If[fQ75_3 ∧ (rQ75_3 ≟ 90° ∨ rQ75_3 ≟ 270°), -1, 1]), rQ75_3, Q75_3]) → q75_3, q753Seg_1, q753Seg_2, q753Seg_3, q753Seg
  11. Polygon(Q75_2, Rotate[Q75_2 + (If[fQ75_2 ∧ (rQ75_2 ≟ 0° ∨ rQ75_2 ≟ 180° ∨ rQ75_2 ≟ 360°), -1, 1], 0), rQ75_2, Q75_2], Rotate[Q75_2 + (If[fQ75_2 ∧ (rQ75_2 ≟ 0° ∨ rQ75_2 ≟ 180° ∨ rQ75_2 ≟ 360°), -0.5, 0.5], If[fQ75_2 ∧ (rQ75_2 ≟ 90° ∨ rQ75_2 ≟ 270°), -1, 1]), rQ75_2, Q75_2], Rotate[Q75_2 + (0, If[fQ75_2 ∧ (rQ75_2 ≟ 90° ∨ rQ75_2 ≟ 270°), -1, 1]), rQ75_2, Q75_2]) → q75_2, q752Seg_1, q752Seg_2, q752Seg_3, q752Seg
  12. Segment(TransformBoxCenter + (0, 1.2), TransformBoxCenter + (0, -1.2)) → rotateBoxOrientationSegVert
  13. Polygon(TrashCenter + (-0.8, -1), TrashCenter + (0.8, -1), TrashCenter + (0.8, 1), TrashCenter + (-0.8, 1)) → trashCan, trashCanSeg_2, trashCanSeg_8, trashCanSeg_9, trashCanSeg
  14. Sequence(Segment[TrashCenter + (-0.6 + i, -0.8), TrashCenter + (-0.6 + i, 0.8)], i, 0, 1.2, 0.3) → trashSeg
  15. Polygon(TrashCenter + (-1, 1), TrashCenter + (1, 1), TrashCenter + (1, 1.1), TrashCenter + (0.8, 1.2), TrashCenter + (-0.8, 1.2), TrashCenter + (-1, 1.1)) → trashLid, trashCanSeg_6, trashCanSeg_7, trashCanSeg_1, trashCanSeg_3, trashCanSeg_5, trashCanSeg_4
  16. Polygon(BoardPt, BoardPt + (boardWidth, 0), BoardPt + (boardWidth, boardHeight), BoardPt + (0, boardHeight)) → board, boardSeg_1, boardSeg_2, boardSeg_3, boardSeg
  17. Sequence(Segment[BoardPt + (i, 0), BoardPt + (i, boardHeight)], i, 1, boardWidth - 1, 1) → boardGridVert
  18. Sequence(Segment[BoardPt + (0, i), BoardPt + (boardWidth, i)], i, 1, boardHeight - 1, 1) → boardGridHoriz
  19. Polygon(Q100button, Q100button + (1, 0), Q100button + (1, 1), Q100button + (0, 1)) → buttonCreateQ100, buttonCreateQ100Seg_3, buttonCreateQ100Seg_1, buttonCreateQ100Seg_2, buttonCreateQ100Seg
  20. Polygon(Q83T17button, Q83T17button + (1, 0), Q83T17button + (1, 1), Q83T17button + (0, 1)) → buttonCreateQ83T17, buttonCreateQ83T17Seg, buttonCreateQ83T17Seg_1, buttonCreateQ83T17Seg_2, buttonCreateQ83T17Seg_3
  21. Polygon(Q50Q50button, Q50Q50button + (1, 0), Q50Q50button + (1, 1), Q50Q50button + (0, 1)) → buttonCreateQ50Q50, buttonCreateQ50Q50Seg, buttonCreateQ50Q50Seg_1, buttonCreateQ50Q50Seg_2, buttonCreateQ50Q50Seg_3
  22. Polygon(Q58T25T17button, Q58T25T17button + (1, 0), Q58T25T17button + (1, 1), Q58T25T17button + (0, 1)) → buttonCreateQ58T25T17, buttonCreateT58T25T17Seg, buttonCreateT58T25T17Seg_1, buttonCreateT58T25T17Seg_2, buttonCreateT58T25T17Seg_3
  23. Segment(Q83T17button + (2 / 3, 1), Q83T17button + (1, 0)) → buttonCreateQ83T17DiagSeg
  24. Segment(Q50Q50button + (1 / 3, 1), Q50Q50button + (2 / 3, 0)) → buttonCreateQ50Q50DiagSeg
  25. Polygon(BoardPt + (-0.2, -0.2), BoardPt + (boardWidth + 0.2, -0.2), BoardPt + (boardWidth + 0.2, boardHeight + 0.2), BoardPt + (-0.2, boardHeight + 0.2)) → boardBorder, boardBorderSeg_1, boardBorderSeg_2, boardBorderSeg_3, boardBorderSeg
  26. Segment(Q58T25T17button + (0.5, 1), Q58T25T17button + (1, 0)) → buttonCreateT58T25DiagSeg
  27. Segment(Q58T25T17button + (0, 1 / 3), Q58T25T17button + (1, 0)) → buttonCreateT58T17DiagSeg
  28. Polygon(Q100_3, Q100_3 + (1, 0), Q100_3 + (1, 1), Q100_3 + (0, 1)) → q100_3, q1003Seg, q1003Seg_1, q1003Seg_2, q1003Seg_3
  29. Polygon(Q100_2, Q100_2 + (1, 0), Q100_2 + (1, 1), Q100_2 + (0, 1)) → q100_2, q1002Seg_1, q1002Seg_2, q1002Seg_3, q1002Seg
  30. Polygon(Q100_1, Q100_1 + (1, 0), Q100_1 + (1, 1), Q100_1 + (0, 1)) → q100_1, q1001Seg_2, q1001Seg_3, q1001Seg, q1001Seg_1
  31. Polygon(T17_1, Rotate[T17_1 + (If[fT17_1 ∧ (rT17_1 ≟ 180° ∨ rT17_1 ≟ 360°), 1, -1], 0), rT17_1, T17_1], Rotate[T17_1 + (0, If[fT17_1 ∧ (rT17_1 ≟ 90° ∨ rT17_1 ≟ 270°), -0.3333333333333333, 0.3333333333333333]), rT17_1, T17_1]) → t17_1, t171Seg_2, t171Seg, t171Seg_1
  32. Polygon(Q83_1, Rotate[Q83_1 + (If[fQ83_1 ∧ (rQ83_1 ≟ 0° ∨ rQ83_1 ≟ 180° ∨ rQ83_1 ≟ 360°), -1, 1], 0), rQ83_1, Q83_1], Rotate[Q83_1 + (If[fQ83_1 ∧ (rQ83_1 ≟ 0° ∨ rQ83_1 ≟ 180° ∨ rQ83_1 ≟ 360°), -0.6666666666666666, 0.6666666666666666], If[fQ83_1 ∧ (rQ83_1 ≟ 90° ∨ rQ83_1 ≟ 270°), -1, 1]), rQ83_1, Q83_1], Rotate[Q83_1 + (0, If[fQ83_1 ∧ (rQ83_1 ≟ 90° ∨ rQ83_1 ≟ 270°), -1, 1]), rQ83_1, Q83_1]) → q83_1, q831Seg_1, q831Seg_2, q831Seg_3, q831Seg
  33. Polygon(T17_2, Rotate[T17_2 + (If[fT17_2 ∧ (rT17_2 ≟ 180° ∨ rT17_2 ≟ 360°), 1, -1], 0), rT17_2, T17_2], Rotate[T17_2 + (0, If[fT17_2 ∧ (rT17_2 ≟ 90° ∨ rT17_2 ≟ 270°), -0.3333333333333333, 0.3333333333333333]), rT17_2, T17_2]) → t17_2, t172Seg_2, t172Seg_1, t172Seg
  34. Polygon(T17_3, Rotate[T17_3 + (If[fT17_3 ∧ (rT17_3 ≟ 180° ∨ rT17_3 ≟ 360°), 1, -1], 0), rT17_3, T17_3], Rotate[T17_3 + (0, If[fT17_3 ∧ (rT17_3 ≟ 90° ∨ rT17_3 ≟ 270°), -0.3333333333333333, 0.3333333333333333]), rT17_3, T17_3]) → t17_3, t173Seg_2, t173Seg_1, t173Seg
  35. Polygon(Q83_2, Rotate[Q83_2 + (If[fQ83_2 ∧ (rQ83_2 ≟ 0° ∨ rQ83_2 ≟ 180° ∨ rQ83_2 ≟ 360°), -1, 1], 0), rQ83_2, Q83_2], Rotate[Q83_2 + (If[fQ83_2 ∧ (rQ83_2 ≟ 0° ∨ rQ83_2 ≟ 180° ∨ rQ83_2 ≟ 360°), -0.6666666666666666, 0.6666666666666666], If[fQ83_2 ∧ (rQ83_2 ≟ 90° ∨ rQ83_2 ≟ 270°), -1, 1]), rQ83_2, Q83_2], Rotate[Q83_2 + (0, If[fQ83_2 ∧ (rQ83_2 ≟ 90° ∨ rQ83_2 ≟ 270°), -1, 1]), rQ83_2, Q83_2]) → q83_2, q832Seg, q832Seg_1, q832Seg_2, q832Seg_3
  36. Polygon(Q83_3, Rotate[Q83_3 + (If[fQ83_3 ∧ (rQ83_3 ≟ 0° ∨ rQ83_3 ≟ 180° ∨ rQ83_3 ≟ 360°), -1, 1], 0), rQ83_3, Q83_3], Rotate[Q83_3 + (If[fQ83_3 ∧ (rQ83_3 ≟ 0° ∨ rQ83_3 ≟ 180° ∨ rQ83_3 ≟ 360°), -0.6666666666666666, 0.6666666666666666], If[fQ83_3 ∧ (rQ83_3 ≟ 90° ∨ rQ83_3 ≟ 270°), -1, 1]), rQ83_3, Q83_3], Rotate[Q83_3 + (0, If[fQ83_3 ∧ (rQ83_3 ≟ 90° ∨ rQ83_3 ≟ 270°), -1, 1]), rQ83_3, Q83_3]) → q83_3, q833Seg, q833Seg_1, q833Seg_2, q833Seg_3
  37. Polygon(Q50a_1, Rotate[Q50a_1 + (If[fQ50a_1 ∧ (rQ50a_1 ≟ 0° ∨ rQ50a_1 ≟ 180° ∨ rQ50a_1 ≟ 360°), -0.6666666666666666, 0.6666666666666666], 0), rQ50a_1, Q50a_1], Rotate[Q50a_1 + (If[fQ50a_1 ∧ (rQ50a_1 ≟ 0° ∨ rQ50a_1 ≟ 180° ∨ rQ50a_1 ≟ 360°), -0.3333333333333333, 0.3333333333333333], If[fQ50a_1 ∧ (rQ50a_1 ≟ 90° ∨ rQ50a_1 ≟ 270°), -1, 1]), rQ50a_1, Q50a_1], Rotate[Q50a_1 + (0, If[fQ50a_1 ∧ (rQ50a_1 ≟ 90° ∨ rQ50a_1 ≟ 270°), -1, 1]), rQ50a_1, Q50a_1]) → q50a_1, q50a1Seg, q50a1Seg_1, q50a1Seg_2, q50a1Seg_3
  38. Polygon(Q50b_1, Rotate[Q50b_1 + (If[fQ50b_1 ∧ (rQ50b_1 ≟ 0° ∨ rQ50b_1 ≟ 180° ∨ rQ50b_1 ≟ 360°), -0.6666666666666666, 0.6666666666666666], 0), rQ50b_1, Q50b_1], Rotate[Q50b_1 + (If[fQ50b_1 ∧ (rQ50b_1 ≟ 0° ∨ rQ50b_1 ≟ 180° ∨ rQ50b_1 ≟ 360°), -0.3333333333333333, 0.3333333333333333], If[fQ50b_1 ∧ (rQ50b_1 ≟ 90° ∨ rQ50b_1 ≟ 270°), -1, 1]), rQ50b_1, Q50b_1], Rotate[Q50b_1 + (0, If[fQ50b_1 ∧ (rQ50b_1 ≟ 90° ∨ rQ50b_1 ≟ 270°), -1, 1]), rQ50b_1, Q50b_1]) → q50b_1, q50b1Seg, q50b1Seg_1, q50b1Seg_2, q50b1Seg_3
  39. Polygon(Q50a_2, Rotate[Q50a_2 + (If[fQ50a_2 ∧ (rQ50a_2 ≟ 0° ∨ rQ50a_2 ≟ 180° ∨ rQ50a_2 ≟ 360°), -0.6666666666666666, 0.6666666666666666], 0), rQ50a_2, Q50a_2], Rotate[Q50a_2 + (If[fQ50a_2 ∧ (rQ50a_2 ≟ 0° ∨ rQ50a_2 ≟ 180° ∨ rQ50a_2 ≟ 360°), -0.3333333333333333, 0.3333333333333333], If[fQ50a_2 ∧ (rQ50a_2 ≟ 90° ∨ rQ50a_2 ≟ 270°), -1, 1]), rQ50a_2, Q50a_2], Rotate[Q50a_2 + (0, If[fQ50a_2 ∧ (rQ50a_2 ≟ 90° ∨ rQ50a_2 ≟ 270°), -1, 1]), rQ50a_2, Q50a_2]) → q50a_2, q50a2Seg, q50a2Seg_1, q50a2Seg_2, q50a2Seg_3
  40. Polygon(Q50a_3, Rotate[Q50a_3 + (If[fQ50a_3 ∧ (rQ50a_3 ≟ 0° ∨ rQ50a_3 ≟ 180° ∨ rQ50a_3 ≟ 360°), -0.6666666666666666, 0.6666666666666666], 0), rQ50a_3, Q50a_3], Rotate[Q50a_3 + (If[fQ50a_3 ∧ (rQ50a_3 ≟ 0° ∨ rQ50a_3 ≟ 180° ∨ rQ50a_3 ≟ 360°), -0.3333333333333333, 0.3333333333333333], If[fQ50a_3 ∧ (rQ50a_3 ≟ 90° ∨ rQ50a_3 ≟ 270°), -1, 1]), rQ50a_3, Q50a_3], Rotate[Q50a_3 + (0, If[fQ50a_3 ∧ (rQ50a_3 ≟ 90° ∨ rQ50a_3 ≟ 270°), -1, 1]), rQ50a_3, Q50a_3]) → q50a_3, q50a3Seg, q50a3Seg_1, q50a3Seg_2, q50a3Seg_3
  41. Polygon(Q50b_2, Rotate[Q50b_2 + (If[fQ50b_2 ∧ (rQ50b_2 ≟ 0° ∨ rQ50b_2 ≟ 180° ∨ rQ50b_2 ≟ 360°), -0.6666666666666666, 0.6666666666666666], 0), rQ50b_2, Q50b_2], Rotate[Q50b_2 + (If[fQ50b_2 ∧ (rQ50b_2 ≟ 0° ∨ rQ50b_2 ≟ 180° ∨ rQ50b_2 ≟ 360°), -0.3333333333333333, 0.3333333333333333], If[fQ50b_2 ∧ (rQ50b_2 ≟ 90° ∨ rQ50b_2 ≟ 270°), -1, 1]), rQ50b_2, Q50b_2], Rotate[Q50b_2 + (0, If[fQ50b_2 ∧ (rQ50b_2 ≟ 90° ∨ rQ50b_2 ≟ 270°), -1, 1]), rQ50b_2, Q50b_2]) → q50b_2, q50b2Seg, q50b2Seg_1, q50b2Seg_2, q50b2Seg_3
  42. Polygon(Q50b_3, Rotate[Q50b_3 + (If[fQ50b_3 ∧ (rQ50b_3 ≟ 0° ∨ rQ50b_3 ≟ 180° ∨ rQ50b_3 ≟ 360°), -0.6666666666666666, 0.6666666666666666], 0), rQ50b_3, Q50b_3], Rotate[Q50b_3 + (If[fQ50b_3 ∧ (rQ50b_3 ≟ 0° ∨ rQ50b_3 ≟ 180° ∨ rQ50b_3 ≟ 360°), -0.3333333333333333, 0.3333333333333333], If[fQ50b_3 ∧ (rQ50b_3 ≟ 90° ∨ rQ50b_3 ≟ 270°), -1, 1]), rQ50b_3, Q50b_3], Rotate[Q50b_3 + (0, If[fQ50b_3 ∧ (rQ50b_3 ≟ 90° ∨ rQ50b_3 ≟ 270°), -1, 1]), rQ50b_3, Q50b_3]) → q50b_3, q50b3Seg, q50b3Seg_1, q50b3Seg_2, q50b3Seg_3
  43. Polygon(T25r_1, Rotate[T25r_1 + (If[fT25r_1 ∧ (rT25r_1 ≟ 180° ∨ rT25r_1 ≟ 360°), 1, -1], 0), rT25r_1, T25r_1], Rotate[T25r_1 + (0, If[fT25r_1 ∧ (rT25r_1 ≟ 90° ∨ rT25r_1 ≟ 270°), -0.5, 0.5]), rT25r_1, T25r_1]) → t25r_1, t25r1Seg_4, t25r1Seg_1, t25r1Seg
  44. Polygon(T25r_2, Rotate[T25r_2 + (If[fT25r_2 ∧ (rT25r_2 ≟ 180° ∨ rT25r_2 ≟ 360°), 1, -1], 0), rT25r_2, T25r_2], Rotate[T25r_2 + (0, If[fT25r_2 ∧ (rT25r_2 ≟ 90° ∨ rT25r_2 ≟ 270°), -0.5, 0.5]), rT25r_2, T25r_2]) → t25r_2, t25r2Seg_1, t25r2Seg, t25r2Seg_2
  45. Polygon(T25r_3, Rotate[T25r_3 + (If[fT25r_3 ∧ (rT25r_3 ≟ 180° ∨ rT25r_3 ≟ 360°), 1, -1], 0), rT25r_3, T25r_3], Rotate[T25r_3 + (0, If[fT25r_3 ∧ (rT25r_3 ≟ 90° ∨ rT25r_3 ≟ 270°), -0.5, 0.5]), rT25r_3, T25r_3]) → t25r_3, t25r3Seg_2, t25r3Seg_1, t25r3Seg
  46. Polygon(T17r_1, Rotate[T17r_1 + (If[fT17r_1 ∧ (rT17r_1 ≟ 180° ∨ rT17r_1 ≟ 360°), 1, -1], 0), rT17r_1, T17r_1], Rotate[T17r_1 + (0, If[fT17r_1 ∧ (rT17r_1 ≟ 90° ∨ rT17r_1 ≟ 270°), -0.3333333333333333, 0.3333333333333333]), rT17r_1, T17r_1]) → t17r_1, t17r1Seg_2, t17r1Seg_1, t17r1Seg_3
  47. Polygon(T17r_2, Rotate[T17r_2 + (If[fT17r_2 ∧ (rT17r_2 ≟ 180° ∨ rT17r_2 ≟ 360°), 1, -1], 0), rT17r_2, T17r_2], Rotate[T17r_2 + (0, If[fT17r_2 ∧ (rT17r_2 ≟ 90° ∨ rT17r_2 ≟ 270°), -0.3333333333333333, 0.3333333333333333]), rT17r_2, T17r_2]) → t17r_2, t17r2Seg_2, t17r2Seg_1, t17r2Seg
  48. Polygon(T17r_3, Rotate[T17r_3 + (If[fT17r_3 ∧ (rT17r_3 ≟ 180° ∨ rT17r_3 ≟ 360°), 1, -1], 0), rT17r_3, T17r_3], Rotate[T17r_3 + (0, If[fT17r_3 ∧ (rT17r_3 ≟ 90° ∨ rT17r_3 ≟ 270°), -0.3333333333333333, 0.3333333333333333]), rT17r_3, T17r_3]) → t17r_3, t17r3Seg_2, t17r3Seg_1, t17r3Seg
  49. Polygon(Q58_1, Rotate[Q58_1 + (If[fQ58_1 ∧ (rQ58_1 ≟ 0° ∨ rQ58_1 ≟ 180° ∨ rQ58_1 ≟ 360°), -0.5, 0.5], 0), rQ58_1, Q58_1], Rotate[Q58_1 + (If[fQ58_1 ∧ (rQ58_1 ≟ 0° ∨ rQ58_1 ≟ 180° ∨ rQ58_1 ≟ 360°), -1, 1], If[fQ58_1 ∧ (rQ58_1 ≟ 90° ∨ rQ58_1 ≟ 270°), 1, -1]), rQ58_1, Q58_1], Rotate[Q58_1 + (0, If[fQ58_1 ∧ (rQ58_1 ≟ 90° ∨ rQ58_1 ≟ 270°), 0.6666666666666666, -0.6666666666666666]), rQ58_1, Q58_1]) → q58_1, q581Seg, q581Seg_1, q581Seg_2, q581Seg_3
  50. Polygon(Q58_2, Rotate[Q58_2 + (If[fQ58_2 ∧ (rQ58_2 ≟ 0° ∨ rQ58_2 ≟ 180° ∨ rQ58_2 ≟ 360°), -0.5, 0.5], 0), rQ58_2, Q58_2], Rotate[Q58_2 + (If[fQ58_2 ∧ (rQ58_2 ≟ 0° ∨ rQ58_2 ≟ 180° ∨ rQ58_2 ≟ 360°), -1, 1], If[fQ58_2 ∧ (rQ58_2 ≟ 90° ∨ rQ58_2 ≟ 270°), 1, -1]), rQ58_2, Q58_2], Rotate[Q58_2 + (0, If[fQ58_2 ∧ (rQ58_2 ≟ 90° ∨ rQ58_2 ≟ 270°), 0.6666666666666666, -0.6666666666666666]), rQ58_2, Q58_2]) → q58_2, q582Seg_1, q582Seg_2, q582Seg_3, q582Seg
  51. Polygon(Q58_3, Rotate[Q58_3 + (If[fQ58_3 ∧ (rQ58_3 ≟ 0° ∨ rQ58_3 ≟ 180° ∨ rQ58_3 ≟ 360°), -0.5, 0.5], 0), rQ58_3, Q58_3], Rotate[Q58_3 + (If[fQ58_3 ∧ (rQ58_3 ≟ 0° ∨ rQ58_3 ≟ 180° ∨ rQ58_3 ≟ 360°), -1, 1], If[fQ58_3 ∧ (rQ58_3 ≟ 90° ∨ rQ58_3 ≟ 270°), 1, -1]), rQ58_3, Q58_3], Rotate[Q58_3 + (0, If[fQ58_3 ∧ (rQ58_3 ≟ 90° ∨ rQ58_3 ≟ 270°), 0.6666666666666666, -0.6666666666666666]), rQ58_3, Q58_3]) → q58_3, q583Seg, q583Seg_1, q583Seg_2, q583Seg_3
  52. Polygon(BoardPt + (7, 0), BoardPt + (8, 0), BoardPt + (8, 1), BoardPt + (7, 1)) → scaleUnitSquare, scaleUnitSquareSeg_1, scaleUnitSquareSeg_2, scaleUnitSquareSeg_3, scaleUnitSquareSeg
  53. If(x(Q100_1) ≥ x(BoardPt) ∧ x(Q100_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q100_1) ≥ y(BoardPt) ∧ y(Q100_1) < y(BoardPt) + boardHeight, 1, 0) → calcAreaQ100_1
  54. If(x(Q100_2) ≥ x(BoardPt) ∧ x(Q100_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q100_2) ≥ y(BoardPt) ∧ y(Q100_2) < y(BoardPt) + boardHeight, 1, 0) → calcAreaQ100_2
  55. If(x(Q100_3) ≥ x(BoardPt) ∧ x(Q100_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q100_3) ≥ y(BoardPt) ∧ y(Q100_3) < y(BoardPt) + boardHeight, 1, 0) → calcAreaQ100_3
  56. If((fQ83_1 ≟ 0 ∧ (rQ83_1 ≟ 0° ∨ rQ83_1 ≟ 360°) ∨ fQ83_1 ≟ 1 ∧ rQ83_1 ≟ 90°) ∧ x(Q83_1) ≥ x(BoardPt) ∧ x(Q83_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q83_1) ≥ y(BoardPt) ∧ y(Q83_1) ≤ y(BoardPt) + boardHeight - 1 ∨ (fQ83_1 ≟ 0 ∧ rQ83_1 ≟ 90° ∨ fQ83_1 ≟ 1 ∧ (rQ83_1 ≟ 0° ∨ rQ83_1 ≟ 360°)) ∧ x(Q83_1) ≥ x(BoardPt) + 1 ∧ x(Q83_1) ≤ x(BoardPt) + boardWidth ∧ y(Q83_1) ≥ y(BoardPt) ∧ y(Q83_1) ≤ y(BoardPt) + boardHeight - 1 ∨ (fQ83_1 ≟ 0 ∧ rQ83_1 ≟ 180° ∨ fQ83_1 ≟ 1 ∧ rQ83_1 ≟ 270°) ∧ x(Q83_1) ≥ x(BoardPt) + 1 ∧ x(Q83_1) ≤ x(BoardPt) + boardWidth ∧ y(Q83_1) ≥ y(BoardPt) + 1 ∧ y(Q83_1) ≤ y(BoardPt) + boardHeight ∨ (fQ83_1 ≟ 0 ∧ rQ83_1 ≟ 270° ∨ fQ83_1 ≟ 1 ∧ rQ83_1 ≟ 180°) ∧ x(Q83_1) ≥ x(BoardPt) ∧ x(Q83_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q83_1) ≥ y(BoardPt) + 1 ∧ y(Q83_1) ≤ y(BoardPt) + boardHeight, 0.8333333333333334, 0) → calcAreaQ83_1
  57. If((fQ83_2 ≟ 0 ∧ (rQ83_2 ≟ 0° ∨ rQ83_2 ≟ 360°) ∨ fQ83_2 ≟ 1 ∧ rQ83_2 ≟ 90°) ∧ x(Q83_2) ≥ x(BoardPt) ∧ x(Q83_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q83_2) ≥ y(BoardPt) ∧ y(Q83_2) ≤ y(BoardPt) + boardHeight - 1 ∨ (fQ83_2 ≟ 0 ∧ rQ83_2 ≟ 90° ∨ fQ83_2 ≟ 1 ∧ (rQ83_2 ≟ 0° ∨ rQ83_2 ≟ 360°)) ∧ x(Q83_2) ≥ x(BoardPt) + 1 ∧ x(Q83_2) ≤ x(BoardPt) + boardWidth ∧ y(Q83_2) ≥ y(BoardPt) ∧ y(Q83_2) ≤ y(BoardPt) + boardHeight - 1 ∨ (fQ83_2 ≟ 0 ∧ rQ83_2 ≟ 180° ∨ fQ83_2 ≟ 1 ∧ rQ83_2 ≟ 270°) ∧ x(Q83_2) ≥ x(BoardPt) + 1 ∧ x(Q83_2) ≤ x(BoardPt) + boardWidth ∧ y(Q83_2) ≥ y(BoardPt) + 1 ∧ y(Q83_2) ≤ y(BoardPt) + boardHeight ∨ (fQ83_2 ≟ 0 ∧ rQ83_2 ≟ 270° ∨ fQ83_2 ≟ 1 ∧ rQ83_2 ≟ 180°) ∧ x(Q83_2) ≥ x(BoardPt) ∧ x(Q83_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q83_2) ≥ y(BoardPt) + 1 ∧ y(Q83_2) ≤ y(BoardPt) + boardHeight, 0.8333333333333334, 0) → calcAreaQ83_2
  58. If((fQ83_3 ≟ 0 ∧ (rQ83_3 ≟ 0° ∨ rQ83_3 ≟ 360°) ∨ fQ83_3 ≟ 1 ∧ rQ83_3 ≟ 90°) ∧ x(Q83_3) ≥ x(BoardPt) ∧ x(Q83_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q83_3) ≥ y(BoardPt) ∧ y(Q83_3) ≤ y(BoardPt) + boardHeight - 1 ∨ (fQ83_3 ≟ 0 ∧ rQ83_3 ≟ 90° ∨ fQ83_3 ≟ 1 ∧ (rQ83_3 ≟ 0° ∨ rQ83_3 ≟ 360°)) ∧ x(Q83_3) ≥ x(BoardPt) + 1 ∧ x(Q83_3) ≤ x(BoardPt) + boardWidth ∧ y(Q83_3) ≥ y(BoardPt) ∧ y(Q83_3) ≤ y(BoardPt) + boardHeight - 1 ∨ (fQ83_3 ≟ 0 ∧ rQ83_3 ≟ 180° ∨ fQ83_3 ≟ 1 ∧ rQ83_3 ≟ 270°) ∧ x(Q83_3) ≥ x(BoardPt) + 1 ∧ x(Q83_3) ≤ x(BoardPt) + boardWidth ∧ y(Q83_3) ≥ y(BoardPt) + 1 ∧ y(Q83_3) ≤ y(BoardPt) + boardHeight ∨ (fQ83_3 ≟ 0 ∧ rQ83_3 ≟ 270° ∨ fQ83_3 ≟ 1 ∧ rQ83_3 ≟ 180°) ∧ x(Q83_3) ≥ x(BoardPt) ∧ x(Q83_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q83_3) ≥ y(BoardPt) + 1 ∧ y(Q83_3) ≤ y(BoardPt) + boardHeight, 0.8333333333333334, 0) → calcAreaQ83_3
  59. If(fQ50a_1 ≟ 0 ∧ (rQ50a_1 ≟ 0° ∨ rQ50a_1 ≟ 360°) ∧ x(Q50a_1) ≥ x(BoardPt) ∧ x(Q50a_1) ≤ x(BoardPt) + boardWidth - 2 / 3 ∧ y(Q50a_1) ≥ y(BoardPt) ∧ y(Q50a_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ50a_1 ≟ 1 ∧ rQ50a_1 ≟ 90° ∧ x(Q50a_1) ≥ x(BoardPt) ∧ x(Q50a_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q50a_1) ≥ y(BoardPt) ∧ y(Q50a_1) ≤ y(BoardPt) + boardHeight - 2 / 3 ∨ fQ50a_1 ≟ 0 ∧ rQ50a_1 ≟ 90° ∧ x(Q50a_1) ≥ x(BoardPt) + 1 ∧ x(Q50a_1) ≤ x(BoardPt) + boardWidth ∧ y(Q50a_1) ≥ y(BoardPt) ∧ y(Q50a_1) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fQ50a_1 ≟ 1 ∧ (rQ50a_1 ≟ 0° ∨ rQ50a_1 ≟ 360°) ∧ x(Q50a_1) ≥ x(BoardPt) + 2 / 3 ∧ x(Q50a_1) ≤ x(BoardPt) + boardWidth ∧ y(Q50a_1) ≥ y(BoardPt) ∧ y(Q50a_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ50a_1 ≟ 0 ∧ rQ50a_1 ≟ 180° ∧ x(Q50a_1) ≥ x(BoardPt) + 2 / 3 ∧ x(Q50a_1) ≤ x(BoardPt) + boardWidth ∧ y(Q50a_1) ≥ y(BoardPt) + 1 ∧ y(Q50a_1) ≤ y(BoardPt) + boardHeight ∨ fQ50a_1 ≟ 1 ∧ rQ50a_1 ≟ 270° ∧ x(Q50a_1) ≥ x(BoardPt) + 1 ∧ x(Q50a_1) ≤ x(BoardPt) + boardWidth ∧ y(Q50a_1) ≥ y(BoardPt) + 2 / 3 ∧ y(Q50a_1) ≤ y(BoardPt) + boardHeight ∨ fQ50a_1 ≟ 0 ∧ rQ50a_1 ≟ 270° ∧ x(Q50a_1) ≥ x(BoardPt) ∧ x(Q50a_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q50a_1) ≥ y(BoardPt) + 2 / 3 ∧ y(Q50a_1) ≤ y(BoardPt) + boardHeight ∨ fQ50a_1 ≟ 1 ∧ rQ50a_1 ≟ 180° ∧ x(Q50a_1) ≥ x(BoardPt) ∧ x(Q50a_1) ≤ x(BoardPt) + boardWidth - 2 / 3 ∧ y(Q50a_1) ≥ y(BoardPt) + 1 ∧ y(Q50a_1) ≤ y(BoardPt) + boardHeight, 0.5, 0) → calcAreaQ50a_1
  60. If(fQ50a_2 ≟ 0 ∧ (rQ50a_2 ≟ 0° ∨ rQ50a_2 ≟ 360°) ∧ x(Q50a_2) ≥ x(BoardPt) ∧ x(Q50a_2) ≤ x(BoardPt) + boardWidth - 2 / 3 ∧ y(Q50a_2) ≥ y(BoardPt) ∧ y(Q50a_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ50a_2 ≟ 1 ∧ rQ50a_2 ≟ 90° ∧ x(Q50a_2) ≥ x(BoardPt) ∧ x(Q50a_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q50a_2) ≥ y(BoardPt) ∧ y(Q50a_2) ≤ y(BoardPt) + boardHeight - 2 / 3 ∨ fQ50a_2 ≟ 0 ∧ rQ50a_2 ≟ 90° ∧ x(Q50a_2) ≥ x(BoardPt) + 1 ∧ x(Q50a_2) ≤ x(BoardPt) + boardWidth ∧ y(Q50a_2) ≥ y(BoardPt) ∧ y(Q50a_2) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fQ50a_2 ≟ 1 ∧ (rQ50a_2 ≟ 0° ∨ rQ50a_2 ≟ 360°) ∧ x(Q50a_2) ≥ x(BoardPt) + 2 / 3 ∧ x(Q50a_2) ≤ x(BoardPt) + boardWidth ∧ y(Q50a_2) ≥ y(BoardPt) ∧ y(Q50a_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ50a_2 ≟ 0 ∧ rQ50a_2 ≟ 180° ∧ x(Q50a_2) ≥ x(BoardPt) + 2 / 3 ∧ x(Q50a_2) ≤ x(BoardPt) + boardWidth ∧ y(Q50a_2) ≥ y(BoardPt) + 1 ∧ y(Q50a_2) ≤ y(BoardPt) + boardHeight ∨ fQ50a_2 ≟ 1 ∧ rQ50a_2 ≟ 270° ∧ x(Q50a_2) ≥ x(BoardPt) + 1 ∧ x(Q50a_2) ≤ x(BoardPt) + boardWidth ∧ y(Q50a_2) ≥ y(BoardPt) + 2 / 3 ∧ y(Q50a_2) ≤ y(BoardPt) + boardHeight ∨ fQ50a_2 ≟ 0 ∧ rQ50a_2 ≟ 270° ∧ x(Q50a_2) ≥ x(BoardPt) ∧ x(Q50a_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q50a_2) ≥ y(BoardPt) + 2 / 3 ∧ y(Q50a_2) ≤ y(BoardPt) + boardHeight ∨ fQ50a_2 ≟ 1 ∧ rQ50a_2 ≟ 180° ∧ x(Q50a_2) ≥ x(BoardPt) ∧ x(Q50a_2) ≤ x(BoardPt) + boardWidth - 2 / 3 ∧ y(Q50a_2) ≥ y(BoardPt) + 1 ∧ y(Q50a_2) ≤ y(BoardPt) + boardHeight, 0.5, 0) → calcAreaQ50a_2
  61. If(fQ50a_3 ≟ 0 ∧ (rQ50a_3 ≟ 0° ∨ rQ50a_3 ≟ 360°) ∧ x(Q50a_3) ≥ x(BoardPt) ∧ x(Q50a_3) ≤ x(BoardPt) + boardWidth - 2 / 3 ∧ y(Q50a_3) ≥ y(BoardPt) ∧ y(Q50a_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ50a_3 ≟ 1 ∧ rQ50a_3 ≟ 90° ∧ x(Q50a_3) ≥ x(BoardPt) ∧ x(Q50a_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q50a_3) ≥ y(BoardPt) ∧ y(Q50a_3) ≤ y(BoardPt) + boardHeight - 2 / 3 ∨ fQ50a_3 ≟ 0 ∧ rQ50a_3 ≟ 90° ∧ x(Q50a_3) ≥ x(BoardPt) + 1 ∧ x(Q50a_3) ≤ x(BoardPt) + boardWidth ∧ y(Q50a_3) ≥ y(BoardPt) ∧ y(Q50a_3) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fQ50a_3 ≟ 1 ∧ (rQ50a_3 ≟ 0° ∨ rQ50a_3 ≟ 360°) ∧ x(Q50a_3) ≥ x(BoardPt) + 2 / 3 ∧ x(Q50a_3) ≤ x(BoardPt) + boardWidth ∧ y(Q50a_3) ≥ y(BoardPt) ∧ y(Q50a_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ50a_3 ≟ 0 ∧ rQ50a_3 ≟ 180° ∧ x(Q50a_3) ≥ x(BoardPt) + 2 / 3 ∧ x(Q50a_3) ≤ x(BoardPt) + boardWidth ∧ y(Q50a_3) ≥ y(BoardPt) + 1 ∧ y(Q50a_3) ≤ y(BoardPt) + boardHeight ∨ fQ50a_3 ≟ 1 ∧ rQ50a_3 ≟ 270° ∧ x(Q50a_3) ≥ x(BoardPt) + 1 ∧ x(Q50a_3) ≤ x(BoardPt) + boardWidth ∧ y(Q50a_3) ≥ y(BoardPt) + 2 / 3 ∧ y(Q50a_3) ≤ y(BoardPt) + boardHeight ∨ fQ50a_3 ≟ 0 ∧ rQ50a_3 ≟ 270° ∧ x(Q50a_3) ≥ x(BoardPt) ∧ x(Q50a_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q50a_3) ≥ y(BoardPt) + 2 / 3 ∧ y(Q50a_3) ≤ y(BoardPt) + boardHeight ∨ fQ50a_3 ≟ 1 ∧ rQ50a_3 ≟ 180° ∧ x(Q50a_3) ≥ x(BoardPt) ∧ x(Q50a_3) ≤ x(BoardPt) + boardWidth - 2 / 3 ∧ y(Q50a_3) ≥ y(BoardPt) + 1 ∧ y(Q50a_3) ≤ y(BoardPt) + boardHeight, 0.5, 0) → calcAreaQ50a_3
  62. If(fQ50b_1 ≟ 0 ∧ (rQ50b_1 ≟ 0° ∨ rQ50b_1 ≟ 360°) ∧ x(Q50b_1) ≥ x(BoardPt) ∧ x(Q50b_1) ≤ x(BoardPt) + boardWidth - 2 / 3 ∧ y(Q50b_1) ≥ y(BoardPt) ∧ y(Q50b_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ50b_1 ≟ 1 ∧ rQ50b_1 ≟ 90° ∧ x(Q50b_1) ≥ x(BoardPt) ∧ x(Q50b_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q50b_1) ≥ y(BoardPt) ∧ y(Q50b_1) ≤ y(BoardPt) + boardHeight - 2 / 3 ∨ fQ50b_1 ≟ 0 ∧ rQ50b_1 ≟ 90° ∧ x(Q50b_1) ≥ x(BoardPt) + 1 ∧ x(Q50b_1) ≤ x(BoardPt) + boardWidth ∧ y(Q50b_1) ≥ y(BoardPt) ∧ y(Q50b_1) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fQ50b_1 ≟ 1 ∧ (rQ50b_1 ≟ 0° ∨ rQ50b_1 ≟ 360°) ∧ x(Q50b_1) ≥ x(BoardPt) + 2 / 3 ∧ x(Q50b_1) ≤ x(BoardPt) + boardWidth ∧ y(Q50b_1) ≥ y(BoardPt) ∧ y(Q50b_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ50b_1 ≟ 0 ∧ rQ50b_1 ≟ 180° ∧ x(Q50b_1) ≥ x(BoardPt) + 2 / 3 ∧ x(Q50b_1) ≤ x(BoardPt) + boardWidth ∧ y(Q50b_1) ≥ y(BoardPt) + 1 ∧ y(Q50b_1) ≤ y(BoardPt) + boardHeight ∨ fQ50b_1 ≟ 1 ∧ rQ50b_1 ≟ 270° ∧ x(Q50b_1) ≥ x(BoardPt) + 1 ∧ x(Q50b_1) ≤ x(BoardPt) + boardWidth ∧ y(Q50b_1) ≥ y(BoardPt) + 2 / 3 ∧ y(Q50b_1) ≤ y(BoardPt) + boardHeight ∨ fQ50b_1 ≟ 0 ∧ rQ50b_1 ≟ 270° ∧ x(Q50b_1) ≥ x(BoardPt) ∧ x(Q50b_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q50b_1) ≥ y(BoardPt) + 2 / 3 ∧ y(Q50b_1) ≤ y(BoardPt) + boardHeight ∨ fQ50b_1 ≟ 1 ∧ rQ50b_1 ≟ 180° ∧ x(Q50b_1) ≥ x(BoardPt) ∧ x(Q50b_1) ≤ x(BoardPt) + boardWidth - 2 / 3 ∧ y(Q50b_1) ≥ y(BoardPt) + 1 ∧ y(Q50b_1) ≤ y(BoardPt) + boardHeight, 0.5, 0) → calcAreaQ50b_1
  63. If(fQ50b_2 ≟ 0 ∧ (rQ50b_2 ≟ 0° ∨ rQ50b_2 ≟ 360°) ∧ x(Q50b_2) ≥ x(BoardPt) ∧ x(Q50b_2) ≤ x(BoardPt) + boardWidth - 2 / 3 ∧ y(Q50b_2) ≥ y(BoardPt) ∧ y(Q50b_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ50b_2 ≟ 1 ∧ rQ50b_2 ≟ 90° ∧ x(Q50b_2) ≥ x(BoardPt) ∧ x(Q50b_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q50b_2) ≥ y(BoardPt) ∧ y(Q50b_2) ≤ y(BoardPt) + boardHeight - 2 / 3 ∨ fQ50b_2 ≟ 0 ∧ rQ50b_2 ≟ 90° ∧ x(Q50b_2) ≥ x(BoardPt) + 1 ∧ x(Q50b_2) ≤ x(BoardPt) + boardWidth ∧ y(Q50b_2) ≥ y(BoardPt) ∧ y(Q50b_2) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fQ50b_2 ≟ 1 ∧ (rQ50b_2 ≟ 0° ∨ rQ50b_2 ≟ 360°) ∧ x(Q50b_2) ≥ x(BoardPt) + 2 / 3 ∧ x(Q50b_2) ≤ x(BoardPt) + boardWidth ∧ y(Q50b_2) ≥ y(BoardPt) ∧ y(Q50b_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ50b_2 ≟ 0 ∧ rQ50b_2 ≟ 180° ∧ x(Q50b_2) ≥ x(BoardPt) + 2 / 3 ∧ x(Q50b_2) ≤ x(BoardPt) + boardWidth ∧ y(Q50b_2) ≥ y(BoardPt) + 1 ∧ y(Q50b_2) ≤ y(BoardPt) + boardHeight ∨ fQ50b_2 ≟ 1 ∧ rQ50b_2 ≟ 270° ∧ x(Q50b_2) ≥ x(BoardPt) + 1 ∧ x(Q50b_2) ≤ x(BoardPt) + boardWidth ∧ y(Q50b_2) ≥ y(BoardPt) + 2 / 3 ∧ y(Q50b_2) ≤ y(BoardPt) + boardHeight ∨ fQ50b_2 ≟ 0 ∧ rQ50b_2 ≟ 270° ∧ x(Q50b_2) ≥ x(BoardPt) ∧ x(Q50b_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q50b_2) ≥ y(BoardPt) + 2 / 3 ∧ y(Q50b_2) ≤ y(BoardPt) + boardHeight ∨ fQ50b_2 ≟ 1 ∧ rQ50b_2 ≟ 180° ∧ x(Q50b_2) ≥ x(BoardPt) ∧ x(Q50b_2) ≤ x(BoardPt) + boardWidth - 2 / 3 ∧ y(Q50b_2) ≥ y(BoardPt) + 1 ∧ y(Q50b_2) ≤ y(BoardPt) + boardHeight, 0.5, 0) → calcAreaQ50b_2
  64. If(fQ50b_3 ≟ 0 ∧ (rQ50b_3 ≟ 0° ∨ rQ50b_3 ≟ 360°) ∧ x(Q50b_3) ≥ x(BoardPt) ∧ x(Q50b_3) ≤ x(BoardPt) + boardWidth - 2 / 3 ∧ y(Q50b_3) ≥ y(BoardPt) ∧ y(Q50b_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ50b_3 ≟ 1 ∧ rQ50b_3 ≟ 90° ∧ x(Q50b_3) ≥ x(BoardPt) ∧ x(Q50b_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q50b_3) ≥ y(BoardPt) ∧ y(Q50b_3) ≤ y(BoardPt) + boardHeight - 2 / 3 ∨ fQ50b_3 ≟ 0 ∧ rQ50b_3 ≟ 90° ∧ x(Q50b_3) ≥ x(BoardPt) + 1 ∧ x(Q50b_3) ≤ x(BoardPt) + boardWidth ∧ y(Q50b_3) ≥ y(BoardPt) ∧ y(Q50b_3) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fQ50b_3 ≟ 1 ∧ (rQ50b_3 ≟ 0° ∨ rQ50b_3 ≟ 360°) ∧ x(Q50b_3) ≥ x(BoardPt) + 2 / 3 ∧ x(Q50b_3) ≤ x(BoardPt) + boardWidth ∧ y(Q50b_3) ≥ y(BoardPt) ∧ y(Q50b_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ50b_3 ≟ 0 ∧ rQ50b_3 ≟ 180° ∧ x(Q50b_3) ≥ x(BoardPt) + 2 / 3 ∧ x(Q50b_3) ≤ x(BoardPt) + boardWidth ∧ y(Q50b_3) ≥ y(BoardPt) + 1 ∧ y(Q50b_3) ≤ y(BoardPt) + boardHeight ∨ fQ50b_3 ≟ 1 ∧ rQ50b_3 ≟ 270° ∧ x(Q50b_3) ≥ x(BoardPt) + 1 ∧ x(Q50b_3) ≤ x(BoardPt) + boardWidth ∧ y(Q50b_3) ≥ y(BoardPt) + 2 / 3 ∧ y(Q50b_3) ≤ y(BoardPt) + boardHeight ∨ fQ50b_3 ≟ 0 ∧ rQ50b_3 ≟ 270° ∧ x(Q50b_3) ≥ x(BoardPt) ∧ x(Q50b_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q50b_3) ≥ y(BoardPt) + 2 / 3 ∧ y(Q50b_3) ≤ y(BoardPt) + boardHeight ∨ fQ50b_3 ≟ 1 ∧ rQ50b_3 ≟ 180° ∧ x(Q50b_3) ≥ x(BoardPt) ∧ x(Q50b_3) ≤ x(BoardPt) + boardWidth - 2 / 3 ∧ y(Q50b_3) ≥ y(BoardPt) + 1 ∧ y(Q50b_3) ≤ y(BoardPt) + boardHeight, 0.5, 0) → calcAreaQ50b_3
  65. If((fQ75_1 ≟ 0 ∧ (rQ75_1 ≟ 0° ∨ rQ75_1 ≟ 360°) ∨ fQ75_1 ≟ 1 ∧ rQ75_1 ≟ 90°) ∧ x(Q75_1) ≥ x(BoardPt) ∧ x(Q75_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q75_1) ≥ y(BoardPt) ∧ y(Q75_1) ≤ y(BoardPt) + boardHeight - 1 ∨ (fQ75_1 ≟ 0 ∧ rQ75_1 ≟ 90° ∨ fQ75_1 ≟ 1 ∧ (rQ75_1 ≟ 0° ∨ rQ75_1 ≟ 360°)) ∧ x(Q75_1) ≥ x(BoardPt) + 1 ∧ x(Q75_1) ≤ x(BoardPt) + boardWidth ∧ y(Q75_1) ≥ y(BoardPt) ∧ y(Q75_1) ≤ y(BoardPt) + boardHeight - 1 ∨ (fQ75_1 ≟ 0 ∧ rQ75_1 ≟ 180° ∨ fQ75_1 ≟ 1 ∧ rQ75_1 ≟ 270°) ∧ x(Q75_1) ≥ x(BoardPt) + 1 ∧ x(Q75_1) ≤ x(BoardPt) + boardWidth ∧ y(Q75_1) ≥ y(BoardPt) + 1 ∧ y(Q75_1) ≤ y(BoardPt) + boardHeight ∨ (fQ75_1 ≟ 0 ∧ rQ75_1 ≟ 270° ∨ fQ75_1 ≟ 1 ∧ rQ75_1 ≟ 180°) ∧ x(Q75_1) ≥ x(BoardPt) ∧ x(Q75_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q75_1) ≥ y(BoardPt) + 1 ∧ y(Q75_1) ≤ y(BoardPt) + boardHeight, 0.75, 0) → calcAreaQ75_1
  66. If((fQ75_3 ≟ 0 ∧ (rQ75_3 ≟ 0° ∨ rQ75_3 ≟ 360°) ∨ fQ75_3 ≟ 1 ∧ rQ75_3 ≟ 90°) ∧ x(Q75_3) ≥ x(BoardPt) ∧ x(Q75_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q75_3) ≥ y(BoardPt) ∧ y(Q75_3) ≤ y(BoardPt) + boardHeight - 1 ∨ (fQ75_3 ≟ 0 ∧ rQ75_3 ≟ 90° ∨ fQ75_3 ≟ 1 ∧ (rQ75_3 ≟ 0° ∨ rQ75_3 ≟ 360°)) ∧ x(Q75_3) ≥ x(BoardPt) + 1 ∧ x(Q75_3) ≤ x(BoardPt) + boardWidth ∧ y(Q75_3) ≥ y(BoardPt) ∧ y(Q75_3) ≤ y(BoardPt) + boardHeight - 1 ∨ (fQ75_3 ≟ 0 ∧ rQ75_3 ≟ 180° ∨ fQ75_3 ≟ 1 ∧ rQ75_3 ≟ 270°) ∧ x(Q75_3) ≥ x(BoardPt) + 1 ∧ x(Q75_3) ≤ x(BoardPt) + boardWidth ∧ y(Q75_3) ≥ y(BoardPt) + 1 ∧ y(Q75_3) ≤ y(BoardPt) + boardHeight ∨ (fQ75_3 ≟ 0 ∧ rQ75_3 ≟ 270° ∨ fQ75_3 ≟ 1 ∧ rQ75_3 ≟ 180°) ∧ x(Q75_3) ≥ x(BoardPt) ∧ x(Q75_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q75_3) ≥ y(BoardPt) + 1 ∧ y(Q75_3) ≤ y(BoardPt) + boardHeight, 0.75, 0) → calcAreaQ75_3
  67. If((fQ75_2 ≟ 0 ∧ (rQ75_2 ≟ 0° ∨ rQ75_2 ≟ 360°) ∨ fQ75_2 ≟ 1 ∧ rQ75_2 ≟ 90°) ∧ x(Q75_2) ≥ x(BoardPt) ∧ x(Q75_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q75_2) ≥ y(BoardPt) ∧ y(Q75_2) ≤ y(BoardPt) + boardHeight - 1 ∨ (fQ75_2 ≟ 0 ∧ rQ75_2 ≟ 90° ∨ fQ75_2 ≟ 1 ∧ (rQ75_2 ≟ 0° ∨ rQ75_2 ≟ 360°)) ∧ x(Q75_2) ≥ x(BoardPt) + 1 ∧ x(Q75_2) ≤ x(BoardPt) + boardWidth ∧ y(Q75_2) ≥ y(BoardPt) ∧ y(Q75_2) ≤ y(BoardPt) + boardHeight - 1 ∨ (fQ75_2 ≟ 0 ∧ rQ75_2 ≟ 180° ∨ fQ75_2 ≟ 1 ∧ rQ75_2 ≟ 270°) ∧ x(Q75_2) ≥ x(BoardPt) + 1 ∧ x(Q75_2) ≤ x(BoardPt) + boardWidth ∧ y(Q75_2) ≥ y(BoardPt) + 1 ∧ y(Q75_2) ≤ y(BoardPt) + boardHeight ∨ (fQ75_2 ≟ 0 ∧ rQ75_2 ≟ 270° ∨ fQ75_2 ≟ 1 ∧ rQ75_2 ≟ 180°) ∧ x(Q75_2) ≥ x(BoardPt) ∧ x(Q75_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q75_2) ≥ y(BoardPt) + 1 ∧ y(Q75_2) ≤ y(BoardPt) + boardHeight, 0.75, 0) → calcAreaQ75_2
  68. If(fQ58_1 ≟ 0 ∧ (rQ58_1 ≟ 0° ∨ rQ58_1 ≟ 360°) ∧ x(Q58_1) ≥ x(BoardPt) ∧ x(Q58_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q58_1) ≥ y(BoardPt) + 1 ∧ y(Q58_1) ≤ y(BoardPt) + boardHeight ∨ fQ58_1 ≟ 1 ∧ rQ58_1 ≟ 90° ∧ x(Q58_1) ≥ x(BoardPt) + 1 ∧ x(Q58_1) ≤ x(BoardPt) + boardWidth ∧ y(Q58_1) ≥ y(BoardPt) ∧ y(Q58_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ58_1 ≟ 0 ∧ rQ58_1 ≟ 90° ∧ x(Q58_1) ≥ x(BoardPt) ∧ x(Q58_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q58_1) ≥ y(BoardPt) ∧ y(Q58_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ58_1 ≟ 1 ∧ (rQ58_1 ≟ 0° ∨ rQ58_1 ≟ 360°) ∧ x(Q58_1) ≥ x(BoardPt) + 1 ∧ x(Q58_1) ≤ x(BoardPt) + boardWidth ∧ y(Q58_1) ≥ y(BoardPt) + 1 ∧ y(Q58_1) ≤ y(BoardPt) + boardHeight ∨ fQ58_1 ≟ 0 ∧ rQ58_1 ≟ 180° ∧ x(Q58_1) ≥ x(BoardPt) + 1 ∧ x(Q58_1) ≤ x(BoardPt) + boardWidth ∧ y(Q58_1) ≥ y(BoardPt) ∧ y(Q58_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ58_1 ≟ 1 ∧ rQ58_1 ≟ 270° ∧ x(Q58_1) ≥ x(BoardPt) ∧ x(Q58_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q58_1) ≥ y(BoardPt) + 2 / 3 ∧ y(Q58_1) ≤ y(BoardPt) + boardHeight ∨ fQ58_1 ≟ 0 ∧ rQ58_1 ≟ 270° ∧ x(Q58_1) ≥ x(BoardPt) + 1 ∧ x(Q58_1) ≤ x(BoardPt) + boardWidth ∧ y(Q58_1) ≥ y(BoardPt) + 1 ∧ y(Q58_1) ≤ y(BoardPt) + boardHeight ∨ fQ58_1 ≟ 1 ∧ rQ58_1 ≟ 180° ∧ x(Q58_1) ≥ x(BoardPt) ∧ x(Q58_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q58_1) ≥ y(BoardPt) ∧ y(Q58_1) ≤ y(BoardPt) + boardHeight - 1, 0.5833333333333334, 0) → calcAreaQ58_1
  69. If(fQ58_2 ≟ 0 ∧ (rQ58_2 ≟ 0° ∨ rQ58_2 ≟ 360°) ∧ x(Q58_2) ≥ x(BoardPt) ∧ x(Q58_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q58_2) ≥ y(BoardPt) + 1 ∧ y(Q58_2) ≤ y(BoardPt) + boardHeight ∨ fQ58_2 ≟ 1 ∧ rQ58_2 ≟ 90° ∧ x(Q58_2) ≥ x(BoardPt) + 1 ∧ x(Q58_2) ≤ x(BoardPt) + boardWidth ∧ y(Q58_2) ≥ y(BoardPt) ∧ y(Q58_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ58_2 ≟ 0 ∧ rQ58_2 ≟ 90° ∧ x(Q58_2) ≥ x(BoardPt) ∧ x(Q58_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q58_2) ≥ y(BoardPt) ∧ y(Q58_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ58_2 ≟ 1 ∧ (rQ58_2 ≟ 0° ∨ rQ58_2 ≟ 360°) ∧ x(Q58_2) ≥ x(BoardPt) + 1 ∧ x(Q58_2) ≤ x(BoardPt) + boardWidth ∧ y(Q58_2) ≥ y(BoardPt) + 1 ∧ y(Q58_2) ≤ y(BoardPt) + boardHeight ∨ fQ58_2 ≟ 0 ∧ rQ58_2 ≟ 180° ∧ x(Q58_2) ≥ x(BoardPt) + 1 ∧ x(Q58_2) ≤ x(BoardPt) + boardWidth ∧ y(Q58_2) ≥ y(BoardPt) ∧ y(Q58_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ58_2 ≟ 1 ∧ rQ58_2 ≟ 270° ∧ x(Q58_2) ≥ x(BoardPt) ∧ x(Q58_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q58_2) ≥ y(BoardPt) + 2 / 3 ∧ y(Q58_2) ≤ y(BoardPt) + boardHeight ∨ fQ58_2 ≟ 0 ∧ rQ58_2 ≟ 270° ∧ x(Q58_2) ≥ x(BoardPt) + 1 ∧ x(Q58_2) ≤ x(BoardPt) + boardWidth ∧ y(Q58_2) ≥ y(BoardPt) + 1 ∧ y(Q58_2) ≤ y(BoardPt) + boardHeight ∨ fQ58_2 ≟ 1 ∧ rQ58_2 ≟ 180° ∧ x(Q58_2) ≥ x(BoardPt) ∧ x(Q58_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q58_2) ≥ y(BoardPt) ∧ y(Q58_2) ≤ y(BoardPt) + boardHeight - 1, 0.5833333333333334, 0) → calcAreaQ58_2
  70. If(fQ58_3 ≟ 0 ∧ (rQ58_3 ≟ 0° ∨ rQ58_3 ≟ 360°) ∧ x(Q58_3) ≥ x(BoardPt) ∧ x(Q58_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q58_3) ≥ y(BoardPt) + 1 ∧ y(Q58_3) ≤ y(BoardPt) + boardHeight ∨ fQ58_3 ≟ 1 ∧ rQ58_3 ≟ 90° ∧ x(Q58_3) ≥ x(BoardPt) + 1 ∧ x(Q58_3) ≤ x(BoardPt) + boardWidth ∧ y(Q58_3) ≥ y(BoardPt) ∧ y(Q58_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ58_3 ≟ 0 ∧ rQ58_3 ≟ 90° ∧ x(Q58_3) ≥ x(BoardPt) ∧ x(Q58_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q58_3) ≥ y(BoardPt) ∧ y(Q58_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ58_3 ≟ 1 ∧ (rQ58_3 ≟ 0° ∨ rQ58_3 ≟ 360°) ∧ x(Q58_3) ≥ x(BoardPt) + 1 ∧ x(Q58_3) ≤ x(BoardPt) + boardWidth ∧ y(Q58_3) ≥ y(BoardPt) + 1 ∧ y(Q58_3) ≤ y(BoardPt) + boardHeight ∨ fQ58_3 ≟ 0 ∧ rQ58_3 ≟ 180° ∧ x(Q58_3) ≥ x(BoardPt) + 1 ∧ x(Q58_3) ≤ x(BoardPt) + boardWidth ∧ y(Q58_3) ≥ y(BoardPt) ∧ y(Q58_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fQ58_3 ≟ 1 ∧ rQ58_3 ≟ 270° ∧ x(Q58_3) ≥ x(BoardPt) ∧ x(Q58_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q58_3) ≥ y(BoardPt) + 2 / 3 ∧ y(Q58_3) ≤ y(BoardPt) + boardHeight ∨ fQ58_3 ≟ 0 ∧ rQ58_3 ≟ 270° ∧ x(Q58_3) ≥ x(BoardPt) + 1 ∧ x(Q58_3) ≤ x(BoardPt) + boardWidth ∧ y(Q58_3) ≥ y(BoardPt) + 1 ∧ y(Q58_3) ≤ y(BoardPt) + boardHeight ∨ fQ58_3 ≟ 1 ∧ rQ58_3 ≟ 180° ∧ x(Q58_3) ≥ x(BoardPt) ∧ x(Q58_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(Q58_3) ≥ y(BoardPt) ∧ y(Q58_3) ≤ y(BoardPt) + boardHeight - 1, 0.5833333333333334, 0) → calcAreaQ58_3
  71. If(fT25_1 ≟ 0 ∧ (rT25_1 ≟ 0° ∨ rT25_1 ≟ 360°) ∧ x(T25_1) ≥ x(BoardPt) + 1 ∧ x(T25_1) ≤ x(BoardPt) + boardWidth ∧ y(T25_1) ≥ y(BoardPt) ∧ y(T25_1) ≤ y(BoardPt) + boardHeight - 0.5 ∨ fT25_1 ≟ 1 ∧ rT25_1 ≟ 90° ∧ x(T25_1) ≥ x(BoardPt) ∧ x(T25_1) ≤ x(BoardPt) + boardWidth - 0.5 ∧ y(T25_1) ≥ y(BoardPt) + 1 ∧ y(T25_1) ≤ y(BoardPt) + boardHeight ∨ fT25_1 ≟ 0 ∧ rT25_1 ≟ 90° ∧ x(T25_1) ≥ x(BoardPt) + 0.5 ∧ x(T25_1) ≤ x(BoardPt) + boardWidth ∧ y(T25_1) ≥ y(BoardPt) + 1 ∧ y(T25_1) ≤ y(BoardPt) + boardHeight ∨ fT25_1 ≟ 1 ∧ (rT25_1 ≟ 0° ∨ rT25_1 ≟ 360°) ∧ x(T25_1) ≥ x(BoardPt) ∧ x(T25_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T25_1) ≥ y(BoardPt) ∧ y(T25_1) ≤ y(BoardPt) + boardHeight - 0.5 ∨ fT25_1 ≟ 0 ∧ rT25_1 ≟ 180° ∧ x(T25_1) ≥ x(BoardPt) ∧ x(T25_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T25_1) ≥ y(BoardPt) + 0.5 ∧ y(T25_1) ≤ y(BoardPt) + boardHeight ∨ fT25_1 ≟ 1 ∧ rT25_1 ≟ 270° ∧ x(T25_1) ≥ x(BoardPt) + 0.5 ∧ x(T25_1) ≤ x(BoardPt) + boardWidth ∧ y(T25_1) ≥ y(BoardPt) ∧ y(T25_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fT25_1 ≟ 0 ∧ rT25_1 ≟ 270° ∧ x(T25_1) ≥ x(BoardPt) ∧ x(T25_1) ≤ x(BoardPt) + boardWidth - 0.5 ∧ y(T25_1) ≥ y(BoardPt) ∧ y(T25_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fT25_1 ≟ 1 ∧ rT25_1 ≟ 180° ∧ x(T25_1) ≥ x(BoardPt) + 1 ∧ x(T25_1) ≤ x(BoardPt) + boardWidth ∧ y(T25_1) ≥ y(BoardPt) + 0.5 ∧ y(T25_1) ≤ y(BoardPt) + boardHeight, 0.25, 0) → calcAreaT25_1
  72. If(fT25_2 ≟ 0 ∧ (rT25_2 ≟ 0° ∨ rT25_2 ≟ 360°) ∧ x(T25_2) ≥ x(BoardPt) + 1 ∧ x(T25_2) ≤ x(BoardPt) + boardWidth ∧ y(T25_2) ≥ y(BoardPt) ∧ y(T25_2) ≤ y(BoardPt) + boardHeight - 0.5 ∨ fT25_2 ≟ 1 ∧ rT25_2 ≟ 90° ∧ x(T25_2) ≥ x(BoardPt) ∧ x(T25_2) ≤ x(BoardPt) + boardWidth - 0.5 ∧ y(T25_2) ≥ y(BoardPt) + 1 ∧ y(T25_2) ≤ y(BoardPt) + boardHeight ∨ fT25_2 ≟ 0 ∧ rT25_2 ≟ 90° ∧ x(T25_2) ≥ x(BoardPt) + 0.5 ∧ x(T25_2) ≤ x(BoardPt) + boardWidth ∧ y(T25_2) ≥ y(BoardPt) + 1 ∧ y(T25_2) ≤ y(BoardPt) + boardHeight ∨ fT25_2 ≟ 1 ∧ (rT25_2 ≟ 0° ∨ rT25_2 ≟ 360°) ∧ x(T25_2) ≥ x(BoardPt) ∧ x(T25_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T25_2) ≥ y(BoardPt) ∧ y(T25_2) ≤ y(BoardPt) + boardHeight - 0.5 ∨ fT25_2 ≟ 0 ∧ rT25_2 ≟ 180° ∧ x(T25_2) ≥ x(BoardPt) ∧ x(T25_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T25_2) ≥ y(BoardPt) + 0.5 ∧ y(T25_2) ≤ y(BoardPt) + boardHeight ∨ fT25_2 ≟ 1 ∧ rT25_2 ≟ 270° ∧ x(T25_2) ≥ x(BoardPt) + 0.5 ∧ x(T25_2) ≤ x(BoardPt) + boardWidth ∧ y(T25_2) ≥ y(BoardPt) ∧ y(T25_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fT25_2 ≟ 0 ∧ rT25_2 ≟ 270° ∧ x(T25_2) ≥ x(BoardPt) ∧ x(T25_2) ≤ x(BoardPt) + boardWidth - 0.5 ∧ y(T25_2) ≥ y(BoardPt) ∧ y(T25_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fT25_2 ≟ 1 ∧ rT25_2 ≟ 180° ∧ x(T25_2) ≥ x(BoardPt) + 1 ∧ x(T25_2) ≤ x(BoardPt) + boardWidth ∧ y(T25_2) ≥ y(BoardPt) + 0.5 ∧ y(T25_2) ≤ y(BoardPt) + boardHeight, 0.25, 0) → calcAreaT25_2
  73. If(fT25_3 ≟ 0 ∧ (rT25_3 ≟ 0° ∨ rT25_3 ≟ 360°) ∧ x(T25_3) ≥ x(BoardPt) + 1 ∧ x(T25_3) ≤ x(BoardPt) + boardWidth ∧ y(T25_3) ≥ y(BoardPt) ∧ y(T25_3) ≤ y(BoardPt) + boardHeight - 0.5 ∨ fT25_3 ≟ 1 ∧ rT25_3 ≟ 90° ∧ x(T25_3) ≥ x(BoardPt) ∧ x(T25_3) ≤ x(BoardPt) + boardWidth - 0.5 ∧ y(T25_3) ≥ y(BoardPt) + 1 ∧ y(T25_3) ≤ y(BoardPt) + boardHeight ∨ fT25_3 ≟ 0 ∧ rT25_3 ≟ 90° ∧ x(T25_3) ≥ x(BoardPt) + 0.5 ∧ x(T25_3) ≤ x(BoardPt) + boardWidth ∧ y(T25_3) ≥ y(BoardPt) + 1 ∧ y(T25_3) ≤ y(BoardPt) + boardHeight ∨ fT25_3 ≟ 1 ∧ (rT25_3 ≟ 0° ∨ rT25_3 ≟ 360°) ∧ x(T25_3) ≥ x(BoardPt) ∧ x(T25_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T25_3) ≥ y(BoardPt) ∧ y(T25_3) ≤ y(BoardPt) + boardHeight - 0.5 ∨ fT25_3 ≟ 0 ∧ rT25_3 ≟ 180° ∧ x(T25_3) ≥ x(BoardPt) ∧ x(T25_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T25_3) ≥ y(BoardPt) + 0.5 ∧ y(T25_3) ≤ y(BoardPt) + boardHeight ∨ fT25_3 ≟ 1 ∧ rT25_3 ≟ 270° ∧ x(T25_3) ≥ x(BoardPt) + 0.5 ∧ x(T25_3) ≤ x(BoardPt) + boardWidth ∧ y(T25_3) ≥ y(BoardPt) ∧ y(T25_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fT25_3 ≟ 0 ∧ rT25_3 ≟ 270° ∧ x(T25_3) ≥ x(BoardPt) ∧ x(T25_3) ≤ x(BoardPt) + boardWidth - 0.5 ∧ y(T25_3) ≥ y(BoardPt) ∧ y(T25_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fT25_3 ≟ 1 ∧ rT25_3 ≟ 180° ∧ x(T25_3) ≥ x(BoardPt) + 1 ∧ x(T25_3) ≤ x(BoardPt) + boardWidth ∧ y(T25_3) ≥ y(BoardPt) + 0.5 ∧ y(T25_3) ≤ y(BoardPt) + boardHeight, 0.25, 0) → calcAreaT25_3
  74. If(fT25r_1 ≟ 0 ∧ (rT25r_1 ≟ 0° ∨ rT25r_1 ≟ 360°) ∧ x(T25r_1) ≥ x(BoardPt) + 1 ∧ x(T25r_1) ≤ x(BoardPt) + boardWidth ∧ y(T25r_1) ≥ y(BoardPt) ∧ y(T25r_1) ≤ y(BoardPt) + boardHeight - 0.5 ∨ fT25r_1 ≟ 1 ∧ rT25r_1 ≟ 90° ∧ x(T25r_1) ≥ x(BoardPt) ∧ x(T25r_1) ≤ x(BoardPt) + boardWidth - 0.5 ∧ y(T25r_1) ≥ y(BoardPt) + 1 ∧ y(T25r_1) ≤ y(BoardPt) + boardHeight ∨ fT25r_1 ≟ 0 ∧ rT25r_1 ≟ 90° ∧ x(T25r_1) ≥ x(BoardPt) + 0.5 ∧ x(T25r_1) ≤ x(BoardPt) + boardWidth ∧ y(T25r_1) ≥ y(BoardPt) + 1 ∧ y(T25r_1) ≤ y(BoardPt) + boardHeight ∨ fT25r_1 ≟ 1 ∧ (rT25r_1 ≟ 0° ∨ rT25r_1 ≟ 360°) ∧ x(T25r_1) ≥ x(BoardPt) ∧ x(T25r_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T25r_1) ≥ y(BoardPt) ∧ y(T25r_1) ≤ y(BoardPt) + boardHeight - 0.5 ∨ fT25r_1 ≟ 0 ∧ rT25r_1 ≟ 180° ∧ x(T25r_1) ≥ x(BoardPt) ∧ x(T25r_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T25r_1) ≥ y(BoardPt) + 0.5 ∧ y(T25r_1) ≤ y(BoardPt) + boardHeight ∨ fT25r_1 ≟ 1 ∧ rT25r_1 ≟ 270° ∧ x(T25r_1) ≥ x(BoardPt) + 0.5 ∧ x(T25r_1) ≤ x(BoardPt) + boardWidth ∧ y(T25r_1) ≥ y(BoardPt) ∧ y(T25r_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fT25r_1 ≟ 0 ∧ rT25r_1 ≟ 270° ∧ x(T25r_1) ≥ x(BoardPt) ∧ x(T25r_1) ≤ x(BoardPt) + boardWidth - 0.5 ∧ y(T25r_1) ≥ y(BoardPt) ∧ y(T25r_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fT25r_1 ≟ 1 ∧ rT25r_1 ≟ 180° ∧ x(T25r_1) ≥ x(BoardPt) + 1 ∧ x(T25r_1) ≤ x(BoardPt) + boardWidth ∧ y(T25r_1) ≥ y(BoardPt) + 0.5 ∧ y(T25r_1) ≤ y(BoardPt) + boardHeight, 0.25, 0) → calcAreaT25r_1
  75. If(fT25r_2 ≟ 0 ∧ (rT25r_2 ≟ 0° ∨ rT25r_2 ≟ 360°) ∧ x(T25r_2) ≥ x(BoardPt) + 1 ∧ x(T25r_2) ≤ x(BoardPt) + boardWidth ∧ y(T25r_2) ≥ y(BoardPt) ∧ y(T25r_2) ≤ y(BoardPt) + boardHeight - 0.5 ∨ fT25r_2 ≟ 1 ∧ rT25r_2 ≟ 90° ∧ x(T25r_2) ≥ x(BoardPt) ∧ x(T25r_2) ≤ x(BoardPt) + boardWidth - 0.5 ∧ y(T25r_2) ≥ y(BoardPt) + 1 ∧ y(T25r_2) ≤ y(BoardPt) + boardHeight ∨ fT25r_2 ≟ 0 ∧ rT25r_2 ≟ 90° ∧ x(T25r_2) ≥ x(BoardPt) + 0.5 ∧ x(T25r_2) ≤ x(BoardPt) + boardWidth ∧ y(T25r_2) ≥ y(BoardPt) + 1 ∧ y(T25r_2) ≤ y(BoardPt) + boardHeight ∨ fT25r_2 ≟ 1 ∧ (rT25r_2 ≟ 0° ∨ rT25r_2 ≟ 360°) ∧ x(T25r_2) ≥ x(BoardPt) ∧ x(T25r_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T25r_2) ≥ y(BoardPt) ∧ y(T25r_2) ≤ y(BoardPt) + boardHeight - 0.5 ∨ fT25r_2 ≟ 0 ∧ rT25r_2 ≟ 180° ∧ x(T25r_2) ≥ x(BoardPt) ∧ x(T25r_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T25r_2) ≥ y(BoardPt) + 0.5 ∧ y(T25r_2) ≤ y(BoardPt) + boardHeight ∨ fT25r_2 ≟ 1 ∧ rT25r_2 ≟ 270° ∧ x(T25r_2) ≥ x(BoardPt) + 0.5 ∧ x(T25r_2) ≤ x(BoardPt) + boardWidth ∧ y(T25r_2) ≥ y(BoardPt) ∧ y(T25r_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fT25r_2 ≟ 0 ∧ rT25r_2 ≟ 270° ∧ x(T25r_2) ≥ x(BoardPt) ∧ x(T25r_2) ≤ x(BoardPt) + boardWidth - 0.5 ∧ y(T25r_2) ≥ y(BoardPt) ∧ y(T25r_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fT25r_2 ≟ 1 ∧ rT25r_2 ≟ 180° ∧ x(T25r_2) ≥ x(BoardPt) + 1 ∧ x(T25r_2) ≤ x(BoardPt) + boardWidth ∧ y(T25r_2) ≥ y(BoardPt) + 0.5 ∧ y(T25r_2) ≤ y(BoardPt) + boardHeight, 0.25, 0) → calcAreaT25r_2
  76. If(fT25r_3 ≟ 0 ∧ (rT25r_3 ≟ 0° ∨ rT25r_3 ≟ 360°) ∧ x(T25r_3) ≥ x(BoardPt) + 1 ∧ x(T25r_3) ≤ x(BoardPt) + boardWidth ∧ y(T25r_3) ≥ y(BoardPt) ∧ y(T25r_3) ≤ y(BoardPt) + boardHeight - 0.5 ∨ fT25r_3 ≟ 1 ∧ rT25r_3 ≟ 90° ∧ x(T25r_3) ≥ x(BoardPt) ∧ x(T25r_3) ≤ x(BoardPt) + boardWidth - 0.5 ∧ y(T25r_3) ≥ y(BoardPt) + 1 ∧ y(T25r_3) ≤ y(BoardPt) + boardHeight ∨ fT25r_3 ≟ 0 ∧ rT25r_3 ≟ 90° ∧ x(T25r_3) ≥ x(BoardPt) + 0.5 ∧ x(T25r_3) ≤ x(BoardPt) + boardWidth ∧ y(T25r_3) ≥ y(BoardPt) + 1 ∧ y(T25r_3) ≤ y(BoardPt) + boardHeight ∨ fT25r_3 ≟ 1 ∧ (rT25r_3 ≟ 0° ∨ rT25r_3 ≟ 360°) ∧ x(T25r_3) ≥ x(BoardPt) ∧ x(T25r_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T25r_3) ≥ y(BoardPt) ∧ y(T25r_3) ≤ y(BoardPt) + boardHeight - 0.5 ∨ fT25r_3 ≟ 0 ∧ rT25r_3 ≟ 180° ∧ x(T25r_3) ≥ x(BoardPt) ∧ x(T25r_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T25r_3) ≥ y(BoardPt) + 0.5 ∧ y(T25r_3) ≤ y(BoardPt) + boardHeight ∨ fT25r_3 ≟ 1 ∧ rT25r_3 ≟ 270° ∧ x(T25r_3) ≥ x(BoardPt) + 0.5 ∧ x(T25r_3) ≤ x(BoardPt) + boardWidth ∧ y(T25r_3) ≥ y(BoardPt) ∧ y(T25r_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fT25r_3 ≟ 0 ∧ rT25r_3 ≟ 270° ∧ x(T25r_3) ≥ x(BoardPt) ∧ x(T25r_3) ≤ x(BoardPt) + boardWidth - 0.5 ∧ y(T25r_3) ≥ y(BoardPt) ∧ y(T25r_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fT25r_3 ≟ 1 ∧ rT25r_3 ≟ 180° ∧ x(T25r_3) ≥ x(BoardPt) + 1 ∧ x(T25r_3) ≤ x(BoardPt) + boardWidth ∧ y(T25r_3) ≥ y(BoardPt) + 0.5 ∧ y(T25r_3) ≤ y(BoardPt) + boardHeight, 0.25, 0) → calcAreaT25r_3
  77. If(fT17_1 ≟ 0 ∧ (rT17_1 ≟ 0° ∨ rT17_1 ≟ 360°) ∧ x(T17_1) ≥ x(BoardPt) + 1 ∧ x(T17_1) ≤ x(BoardPt) + boardWidth ∧ y(T17_1) ≥ y(BoardPt) ∧ y(T17_1) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fT17_1 ≟ 1 ∧ rT17_1 ≟ 90° ∧ x(T17_1) ≥ x(BoardPt) ∧ x(T17_1) ≤ x(BoardPt) + boardWidth - 1 / 3 ∧ y(T17_1) ≥ y(BoardPt) + 1 ∧ y(T17_1) ≤ y(BoardPt) + boardHeight ∨ fT17_1 ≟ 0 ∧ rT17_1 ≟ 90° ∧ x(T17_1) ≥ x(BoardPt) + 1 / 3 ∧ x(T17_1) ≤ x(BoardPt) + boardWidth ∧ y(T17_1) ≥ y(BoardPt) + 1 ∧ y(T17_1) ≤ y(BoardPt) + boardHeight ∨ fT17_1 ≟ 1 ∧ (rT17_1 ≟ 0° ∨ rT17_1 ≟ 360°) ∧ x(T17_1) ≥ x(BoardPt) ∧ x(T17_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T17_1) ≥ y(BoardPt) ∧ y(T17_1) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fT17_1 ≟ 0 ∧ rT17_1 ≟ 180° ∧ x(T17_1) ≥ x(BoardPt) ∧ x(T17_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T17_1) ≥ y(BoardPt) + 1 / 3 ∧ y(T17_1) ≤ y(BoardPt) + boardHeight ∨ fT17_1 ≟ 1 ∧ rT17_1 ≟ 270° ∧ x(T17_1) ≥ x(BoardPt) + 1 / 3 ∧ x(T17_1) ≤ x(BoardPt) + boardWidth ∧ y(T17_1) ≥ y(BoardPt) ∧ y(T17_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fT17_1 ≟ 0 ∧ rT17_1 ≟ 270° ∧ x(T17_1) ≥ x(BoardPt) ∧ x(T17_1) ≤ x(BoardPt) + boardWidth - 1 / 3 ∧ y(T17_1) ≥ y(BoardPt) ∧ y(T17_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fT17_1 ≟ 1 ∧ rT17_1 ≟ 180° ∧ x(T17_1) ≥ x(BoardPt) + 1 ∧ x(T17_1) ≤ x(BoardPt) + boardWidth ∧ y(T17_1) ≥ y(BoardPt) + 1 / 3 ∧ y(T17_1) ≤ y(BoardPt) + boardHeight, 0.16666666666666666, 0) → calcAreaT17_1
  78. If(fT17_2 ≟ 0 ∧ (rT17_2 ≟ 0° ∨ rT17_2 ≟ 360°) ∧ x(T17_2) ≥ x(BoardPt) + 1 ∧ x(T17_2) ≤ x(BoardPt) + boardWidth ∧ y(T17_2) ≥ y(BoardPt) ∧ y(T17_2) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fT17_2 ≟ 1 ∧ rT17_2 ≟ 90° ∧ x(T17_2) ≥ x(BoardPt) ∧ x(T17_2) ≤ x(BoardPt) + boardWidth - 1 / 3 ∧ y(T17_2) ≥ y(BoardPt) + 1 ∧ y(T17_2) ≤ y(BoardPt) + boardHeight ∨ fT17_2 ≟ 0 ∧ rT17_2 ≟ 90° ∧ x(T17_2) ≥ x(BoardPt) + 1 / 3 ∧ x(T17_2) ≤ x(BoardPt) + boardWidth ∧ y(T17_2) ≥ y(BoardPt) + 1 ∧ y(T17_2) ≤ y(BoardPt) + boardHeight ∨ fT17_2 ≟ 1 ∧ (rT17_2 ≟ 0° ∨ rT17_2 ≟ 360°) ∧ x(T17_2) ≥ x(BoardPt) ∧ x(T17_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T17_2) ≥ y(BoardPt) ∧ y(T17_2) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fT17_2 ≟ 0 ∧ rT17_2 ≟ 180° ∧ x(T17_2) ≥ x(BoardPt) ∧ x(T17_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T17_2) ≥ y(BoardPt) + 1 / 3 ∧ y(T17_2) ≤ y(BoardPt) + boardHeight ∨ fT17_2 ≟ 1 ∧ rT17_2 ≟ 270° ∧ x(T17_2) ≥ x(BoardPt) + 1 / 3 ∧ x(T17_2) ≤ x(BoardPt) + boardWidth ∧ y(T17_2) ≥ y(BoardPt) ∧ y(T17_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fT17_2 ≟ 0 ∧ rT17_2 ≟ 270° ∧ x(T17_2) ≥ x(BoardPt) ∧ x(T17_2) ≤ x(BoardPt) + boardWidth - 1 / 3 ∧ y(T17_2) ≥ y(BoardPt) ∧ y(T17_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fT17_2 ≟ 1 ∧ rT17_2 ≟ 180° ∧ x(T17_2) ≥ x(BoardPt) + 1 ∧ x(T17_2) ≤ x(BoardPt) + boardWidth ∧ y(T17_2) ≥ y(BoardPt) + 1 / 3 ∧ y(T17_2) ≤ y(BoardPt) + boardHeight, 0.16666666666666666, 0) → calcAreaT17_2
  79. If(fT17_3 ≟ 0 ∧ (rT17_3 ≟ 0° ∨ rT17_3 ≟ 360°) ∧ x(T17_3) ≥ x(BoardPt) + 1 ∧ x(T17_3) ≤ x(BoardPt) + boardWidth ∧ y(T17_3) ≥ y(BoardPt) ∧ y(T17_3) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fT17_3 ≟ 1 ∧ rT17_3 ≟ 90° ∧ x(T17_3) ≥ x(BoardPt) ∧ x(T17_3) ≤ x(BoardPt) + boardWidth - 1 / 3 ∧ y(T17_3) ≥ y(BoardPt) + 1 ∧ y(T17_3) ≤ y(BoardPt) + boardHeight ∨ fT17_3 ≟ 0 ∧ rT17_3 ≟ 90° ∧ x(T17_3) ≥ x(BoardPt) + 1 / 3 ∧ x(T17_3) ≤ x(BoardPt) + boardWidth ∧ y(T17_3) ≥ y(BoardPt) + 1 ∧ y(T17_3) ≤ y(BoardPt) + boardHeight ∨ fT17_3 ≟ 1 ∧ (rT17_3 ≟ 0° ∨ rT17_3 ≟ 360°) ∧ x(T17_3) ≥ x(BoardPt) ∧ x(T17_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T17_3) ≥ y(BoardPt) ∧ y(T17_3) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fT17_3 ≟ 0 ∧ rT17_3 ≟ 180° ∧ x(T17_3) ≥ x(BoardPt) ∧ x(T17_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T17_3) ≥ y(BoardPt) + 1 / 3 ∧ y(T17_3) ≤ y(BoardPt) + boardHeight ∨ fT17_3 ≟ 1 ∧ rT17_3 ≟ 270° ∧ x(T17_3) ≥ x(BoardPt) + 1 / 3 ∧ x(T17_3) ≤ x(BoardPt) + boardWidth ∧ y(T17_3) ≥ y(BoardPt) ∧ y(T17_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fT17_3 ≟ 0 ∧ rT17_3 ≟ 270° ∧ x(T17_3) ≥ x(BoardPt) ∧ x(T17_3) ≤ x(BoardPt) + boardWidth - 1 / 3 ∧ y(T17_3) ≥ y(BoardPt) ∧ y(T17_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fT17_3 ≟ 1 ∧ rT17_3 ≟ 180° ∧ x(T17_3) ≥ x(BoardPt) + 1 ∧ x(T17_3) ≤ x(BoardPt) + boardWidth ∧ y(T17_3) ≥ y(BoardPt) + 1 / 3 ∧ y(T17_3) ≤ y(BoardPt) + boardHeight, 0.16666666666666666, 0) → calcAreaT17_3
  80. If(fT17r_1 ≟ 0 ∧ (rT17r_1 ≟ 0° ∨ rT17r_1 ≟ 360°) ∧ x(T17r_1) ≥ x(BoardPt) + 1 ∧ x(T17r_1) ≤ x(BoardPt) + boardWidth ∧ y(T17r_1) ≥ y(BoardPt) ∧ y(T17r_1) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fT17r_1 ≟ 1 ∧ rT17r_1 ≟ 90° ∧ x(T17r_1) ≥ x(BoardPt) ∧ x(T17r_1) ≤ x(BoardPt) + boardWidth - 1 / 3 ∧ y(T17r_1) ≥ y(BoardPt) + 1 ∧ y(T17r_1) ≤ y(BoardPt) + boardHeight ∨ fT17r_1 ≟ 0 ∧ rT17r_1 ≟ 90° ∧ x(T17r_1) ≥ x(BoardPt) + 1 / 3 ∧ x(T17r_1) ≤ x(BoardPt) + boardWidth ∧ y(T17r_1) ≥ y(BoardPt) + 1 ∧ y(T17r_1) ≤ y(BoardPt) + boardHeight ∨ fT17r_1 ≟ 1 ∧ (rT17r_1 ≟ 0° ∨ rT17r_1 ≟ 360°) ∧ x(T17r_1) ≥ x(BoardPt) ∧ x(T17r_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T17r_1) ≥ y(BoardPt) ∧ y(T17r_1) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fT17r_1 ≟ 0 ∧ rT17r_1 ≟ 180° ∧ x(T17r_1) ≥ x(BoardPt) ∧ x(T17r_1) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T17r_1) ≥ y(BoardPt) + 1 / 3 ∧ y(T17r_1) ≤ y(BoardPt) + boardHeight ∨ fT17r_1 ≟ 1 ∧ rT17r_1 ≟ 270° ∧ x(T17r_1) ≥ x(BoardPt) + 1 / 3 ∧ x(T17r_1) ≤ x(BoardPt) + boardWidth ∧ y(T17r_1) ≥ y(BoardPt) ∧ y(T17r_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fT17r_1 ≟ 0 ∧ rT17r_1 ≟ 270° ∧ x(T17r_1) ≥ x(BoardPt) ∧ x(T17r_1) ≤ x(BoardPt) + boardWidth - 1 / 3 ∧ y(T17r_1) ≥ y(BoardPt) ∧ y(T17r_1) ≤ y(BoardPt) + boardHeight - 1 ∨ fT17r_1 ≟ 1 ∧ rT17r_1 ≟ 180° ∧ x(T17r_1) ≥ x(BoardPt) + 1 ∧ x(T17r_1) ≤ x(BoardPt) + boardWidth ∧ y(T17r_1) ≥ y(BoardPt) + 1 / 3 ∧ y(T17r_1) ≤ y(BoardPt) + boardHeight, 0.16666666666666666, 0) → calcAreaT17r_1
  81. If(fT17r_2 ≟ 0 ∧ (rT17r_2 ≟ 0° ∨ rT17r_2 ≟ 360°) ∧ x(T17r_2) ≥ x(BoardPt) + 1 ∧ x(T17r_2) ≤ x(BoardPt) + boardWidth ∧ y(T17r_2) ≥ y(BoardPt) ∧ y(T17r_2) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fT17r_2 ≟ 1 ∧ rT17r_2 ≟ 90° ∧ x(T17r_2) ≥ x(BoardPt) ∧ x(T17r_2) ≤ x(BoardPt) + boardWidth - 1 / 3 ∧ y(T17r_2) ≥ y(BoardPt) + 1 ∧ y(T17r_2) ≤ y(BoardPt) + boardHeight ∨ fT17r_2 ≟ 0 ∧ rT17r_2 ≟ 90° ∧ x(T17r_2) ≥ x(BoardPt) + 1 / 3 ∧ x(T17r_2) ≤ x(BoardPt) + boardWidth ∧ y(T17r_2) ≥ y(BoardPt) + 1 ∧ y(T17r_2) ≤ y(BoardPt) + boardHeight ∨ fT17r_2 ≟ 1 ∧ (rT17r_2 ≟ 0° ∨ rT17r_2 ≟ 360°) ∧ x(T17r_2) ≥ x(BoardPt) ∧ x(T17r_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T17r_2) ≥ y(BoardPt) ∧ y(T17r_2) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fT17r_2 ≟ 0 ∧ rT17r_2 ≟ 180° ∧ x(T17r_2) ≥ x(BoardPt) ∧ x(T17r_2) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T17r_2) ≥ y(BoardPt) + 1 / 3 ∧ y(T17r_2) ≤ y(BoardPt) + boardHeight ∨ fT17r_2 ≟ 1 ∧ rT17r_2 ≟ 270° ∧ x(T17r_2) ≥ x(BoardPt) + 1 / 3 ∧ x(T17r_2) ≤ x(BoardPt) + boardWidth ∧ y(T17r_2) ≥ y(BoardPt) ∧ y(T17r_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fT17r_2 ≟ 0 ∧ rT17r_2 ≟ 270° ∧ x(T17r_2) ≥ x(BoardPt) ∧ x(T17r_2) ≤ x(BoardPt) + boardWidth - 1 / 3 ∧ y(T17r_2) ≥ y(BoardPt) ∧ y(T17r_2) ≤ y(BoardPt) + boardHeight - 1 ∨ fT17r_2 ≟ 1 ∧ rT17r_2 ≟ 180° ∧ x(T17r_2) ≥ x(BoardPt) + 1 ∧ x(T17r_2) ≤ x(BoardPt) + boardWidth ∧ y(T17r_2) ≥ y(BoardPt) + 1 / 3 ∧ y(T17r_2) ≤ y(BoardPt) + boardHeight, 0.16666666666666666, 0) → calcAreaT17r_2
  82. If(fT17r_3 ≟ 0 ∧ (rT17r_3 ≟ 0° ∨ rT17r_3 ≟ 360°) ∧ x(T17r_3) ≥ x(BoardPt) + 1 ∧ x(T17r_3) ≤ x(BoardPt) + boardWidth ∧ y(T17r_3) ≥ y(BoardPt) ∧ y(T17r_3) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fT17r_3 ≟ 1 ∧ rT17r_3 ≟ 90° ∧ x(T17r_3) ≥ x(BoardPt) ∧ x(T17r_3) ≤ x(BoardPt) + boardWidth - 1 / 3 ∧ y(T17r_3) ≥ y(BoardPt) + 1 ∧ y(T17r_3) ≤ y(BoardPt) + boardHeight ∨ fT17r_3 ≟ 0 ∧ rT17r_3 ≟ 90° ∧ x(T17r_3) ≥ x(BoardPt) + 1 / 3 ∧ x(T17r_3) ≤ x(BoardPt) + boardWidth ∧ y(T17r_3) ≥ y(BoardPt) + 1 ∧ y(T17r_3) ≤ y(BoardPt) + boardHeight ∨ fT17r_3 ≟ 1 ∧ (rT17r_3 ≟ 0° ∨ rT17r_3 ≟ 360°) ∧ x(T17r_3) ≥ x(BoardPt) ∧ x(T17r_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T17r_3) ≥ y(BoardPt) ∧ y(T17r_3) ≤ y(BoardPt) + boardHeight - 1 / 3 ∨ fT17r_3 ≟ 0 ∧ rT17r_3 ≟ 180° ∧ x(T17r_3) ≥ x(BoardPt) ∧ x(T17r_3) ≤ x(BoardPt) + boardWidth - 1 ∧ y(T17r_3) ≥ y(BoardPt) + 1 / 3 ∧ y(T17r_3) ≤ y(BoardPt) + boardHeight ∨ fT17r_3 ≟ 1 ∧ rT17r_3 ≟ 270° ∧ x(T17r_3) ≥ x(BoardPt) + 1 / 3 ∧ x(T17r_3) ≤ x(BoardPt) + boardWidth ∧ y(T17r_3) ≥ y(BoardPt) ∧ y(T17r_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fT17r_3 ≟ 0 ∧ rT17r_3 ≟ 270° ∧ x(T17r_3) ≥ x(BoardPt) ∧ x(T17r_3) ≤ x(BoardPt) + boardWidth - 1 / 3 ∧ y(T17r_3) ≥ y(BoardPt) ∧ y(T17r_3) ≤ y(BoardPt) + boardHeight - 1 ∨ fT17r_3 ≟ 1 ∧ rT17r_3 ≟ 180° ∧ x(T17r_3) ≥ x(BoardPt) + 1 ∧ x(T17r_3) ≤ x(BoardPt) + boardWidth ∧ y(T17r_3) ≥ y(BoardPt) + 1 / 3 ∧ y(T17r_3) ≤ y(BoardPt) + boardHeight, 0.16666666666666666, 0) → calcAreaT17r_3
  83. Polygon(Q100_1stamp, Q100_1stamp + (1, 0), Q100_1stamp + (1, 1), Q100_1stamp + (0, 1)) → q100_1stamp, h, i, j, k
  84. Polygon(Q100_2stamp, Q100_2stamp + (1, 0), Q100_2stamp + (1, 1), Q100_2stamp + (0, 1)) → q100_2stamp, q100_4, l, m, n
  85. Polygon(Q100_3stamp, Q100_3stamp + (1, 0), Q100_3stamp + (1, 1), Q100_3stamp + (0, 1)) → q100_3stamp, q100_5, p, q, r
  86. Polygon(T25_1stamp, Rotate[T25_1stamp + (If[fT25_1stamp ∧ (rT25_1stamp ≟ 180° ∨ rT25_1stamp ≟ 360°), 1, -1], 0), rT25_1stamp, T25_1stamp], Rotate[T25_1stamp + (0, If[fT25_1stamp ∧ (rT25_1stamp ≟ 90° ∨ rT25_1stamp ≟ 270°), -0.5, 0.5]), rT25_1stamp, T25_1stamp]) → t25_1stamp, s, t25_4, t
  87. Polygon(T25_2stamp, Rotate[T25_2stamp + (If[fT25_2stamp ∧ (rT25_2stamp ≟ 180° ∨ rT25_2stamp ≟ 360°), 1, -1], 0), rT25_2stamp, T25_2stamp], Rotate[T25_2stamp + (0, If[fT25_2stamp ∧ (rT25_2stamp ≟ 90° ∨ rT25_2stamp ≟ 270°), -0.5, 0.5]), rT25_2stamp, T25_2stamp]) → t25_2stamp, a_1, t25_5, b_1
  88. Polygon(T25_3stamp, Rotate[T25_3stamp + (If[fT25_3stamp ∧ (rT25_3stamp ≟ 180° ∨ rT25_3stamp ≟ 360°), 1, -1], 0), rT25_3stamp, T25_3stamp], Rotate[T25_3stamp + (0, If[fT25_3stamp ∧ (rT25_3stamp ≟ 90° ∨ rT25_3stamp ≟ 270°), -0.5, 0.5]), rT25_3stamp, T25_3stamp]) → t25_3stamp, c_1, t25_6, d_1
  89. Polygon(T25r_1stamp, Rotate[T25r_1stamp + (If[fT25r_1stamp ∧ (rT25r_1stamp ≟ 180° ∨ rT25r_1stamp ≟ 360°), 1, -1], 0), rT25r_1stamp, T25r_1stamp], Rotate[T25r_1stamp + (0, If[fT25r_1stamp ∧ (rT25r_1stamp ≟ 90° ∨ rT25r_1stamp ≟ 270°), -0.5, 0.5]), rT25r_1stamp, T25r_1stamp]) → t25r_1stamp, e_1, t25r_4, f_1
  90. Polygon(T25r_2stamp, Rotate[T25r_2stamp + (If[fT25r_2stamp ∧ (rT25r_2stamp ≟ 180° ∨ rT25r_2stamp ≟ 360°), 1, -1], 0), rT25r_2stamp, T25r_2stamp], Rotate[T25r_2stamp + (0, If[fT25r_2stamp ∧ (rT25r_2stamp ≟ 90° ∨ rT25r_2stamp ≟ 270°), -0.5, 0.5]), rT25r_2stamp, T25r_2stamp]) → t25r_2stamp, h_1, t25r_5, i_1
  91. Polygon(T25r_3stamp, Rotate[T25r_3stamp + (If[fT25r_3stamp ∧ (rT25r_3stamp ≟ 180° ∨ rT25r_3stamp ≟ 360°), 1, -1], 0), rT25r_3stamp, T25r_3stamp], Rotate[T25r_3stamp + (0, If[fT25r_3stamp ∧ (rT25r_3stamp ≟ 90° ∨ rT25r_3stamp ≟ 270°), -0.5, 0.5]), rT25r_3stamp, T25r_3stamp]) → t25r_3stamp, j_1, t25r_6, k_1
  92. Polygon(T17_1stamp, Rotate[T17_1stamp + (If[fT17_1stamp ∧ (rT17_1stamp ≟ 180° ∨ rT17_1stamp ≟ 360°), 1, -1], 0), rT17_1stamp, T17_1stamp], Rotate[T17_1stamp + (0, If[fT17_1stamp ∧ (rT17_1stamp ≟ 90° ∨ rT17_1stamp ≟ 270°), -0.3333333333333333, 0.3333333333333333]), rT17_1stamp, T17_1stamp]) → t17_1stamp, l_1, t17_4, m_1
  93. Polygon(T17_2stamp, Rotate[T17_2stamp + (If[fT17_2stamp ∧ (rT17_2stamp ≟ 180° ∨ rT17_2stamp ≟ 360°), 1, -1], 0), rT17_2stamp, T17_2stamp], Rotate[T17_2stamp + (0, If[fT17_2stamp ∧ (rT17_2stamp ≟ 90° ∨ rT17_2stamp ≟ 270°), -0.3333333333333333, 0.3333333333333333]), rT17_2stamp, T17_2stamp]) → t17_2stamp, n_1, t17_5, p_1
  94. Polygon(T17_3stamp, Rotate[T17_3stamp + (If[fT17_3stamp ∧ (rT17_3stamp ≟ 180° ∨ rT17_3stamp ≟ 360°), 1, -1], 0), rT17_3stamp, T17_3stamp], Rotate[T17_3stamp + (0, If[fT17_3stamp ∧ (rT17_3stamp ≟ 90° ∨ rT17_3stamp ≟ 270°), -0.3333333333333333, 0.3333333333333333]), rT17_3stamp, T17_3stamp]) → t17_3stamp, q_1, t17_6, r_1
  95. Polygon(T17r_1stamp, Rotate[T17r_1stamp + (If[fT17r_1stamp ∧ (rT17r_1stamp ≟ 180° ∨ rT17r_1stamp ≟ 360°), 1, -1], 0), rT17r_1stamp, T17r_1stamp], Rotate[T17r_1stamp + (0, If[fT17r_1stamp ∧ (rT17r_1stamp ≟ 90° ∨ rT17r_1stamp ≟ 270°), -0.3333333333333333, 0.3333333333333333]), rT17r_1stamp, T17r_1stamp]) → t17r_1stamp, s_1, t17r_4, t_1
  96. Polygon(T17r_2stamp, Rotate[T17r_2stamp + (If[fT17r_2stamp ∧ (rT17r_2stamp ≟ 180° ∨ rT17r_2stamp ≟ 360°), 1, -1], 0), rT17r_2stamp, T17r_2stamp], Rotate[T17r_2stamp + (0, If[fT17r_2stamp ∧ (rT17r_2stamp ≟ 90° ∨ rT17r_2stamp ≟ 270°), -0.3333333333333333, 0.3333333333333333]), rT17r_2stamp, T17r_2stamp]) → t17r_2stamp, a_2, t17r_5, b_2
  97. Polygon(T17r_3stamp, Rotate[T17r_3stamp + (If[fT17r_3stamp ∧ (rT17r_3stamp ≟ 180° ∨ rT17r_3stamp ≟ 360°), 1, -1], 0), rT17r_3stamp, T17r_3stamp], Rotate[T17r_3stamp + (0, If[fT17r_3stamp ∧ (rT17r_3stamp ≟ 90° ∨ rT17r_3stamp ≟ 270°), -0.3333333333333333, 0.3333333333333333]), rT17r_3stamp, T17r_3stamp]) → t17r_3stamp, c_2, t17r_6, d_2
  98. Polygon(Q75_1stamp, Rotate[Q75_1stamp + (If[fQ75_1stamp ∧ (rQ75_1stamp ≟ 0° ∨ rQ75_1stamp ≟ 180° ∨ rQ75_1stamp ≟ 360°), -1, 1], 0), rQ75_1stamp, Q75_1stamp], Rotate[Q75_1stamp + (If[fQ75_1stamp ∧ (rQ75_1stamp ≟ 0° ∨ rQ75_1stamp ≟ 180° ∨ rQ75_1stamp ≟ 360°), -0.5, 0.5], If[fQ75_1stamp ∧ (rQ75_1stamp ≟ 90° ∨ rQ75_1stamp ≟ 270°), -1, 1]), rQ75_1stamp, Q75_1stamp], Rotate[Q75_1stamp + (0, If[fQ75_1stamp ∧ (rQ75_1stamp ≟ 90° ∨ rQ75_1stamp ≟ 270°), -1, 1]), rQ75_1stamp, Q75_1stamp]) → q75_1stamp, q75_4, e_2, f_2, g_2
  99. Polygon(Q75_3stamp, Rotate[Q75_3stamp + (If[fQ75_3stamp ∧ (rQ75_3stamp ≟ 0° ∨ rQ75_3stamp ≟ 180° ∨ rQ75_3stamp ≟ 360°), -1, 1], 0), rQ75_3stamp, Q75_3stamp], Rotate[Q75_3stamp + (If[fQ75_3stamp ∧ (rQ75_3stamp ≟ 0° ∨ rQ75_3stamp ≟ 180° ∨ rQ75_3stamp ≟ 360°), -0.5, 0.5], If[fQ75_3stamp ∧ (rQ75_3stamp ≟ 90° ∨ rQ75_3stamp ≟ 270°), -1, 1]), rQ75_3stamp, Q75_3stamp], Rotate[Q75_3stamp + (0, If[fQ75_3stamp ∧ (rQ75_3stamp ≟ 90° ∨ rQ75_3stamp ≟ 270°), -1, 1]), rQ75_3stamp, Q75_3stamp]) → q75_3stamp, q75_5, h_2, i_2, j_2
  100. Polygon(Q75_2stamp, Rotate[Q75_2stamp + (If[fQ75_2stamp ∧ (rQ75_2stamp ≟ 0° ∨ rQ75_2stamp ≟ 180° ∨ rQ75_2stamp ≟ 360°), -1, 1], 0), rQ75_2stamp, Q75_2stamp], Rotate[Q75_2stamp + (If[fQ75_2stamp ∧ (rQ75_2stamp ≟ 0° ∨ rQ75_2stamp ≟ 180° ∨ rQ75_2stamp ≟ 360°), -0.5, 0.5], If[fQ75_2stamp ∧ (rQ75_2stamp ≟ 90° ∨ rQ75_2stamp ≟ 270°), -1, 1]), rQ75_2stamp, Q75_2stamp], Rotate[Q75_2stamp + (0, If[fQ75_2stamp ∧ (rQ75_2stamp ≟ 90° ∨ rQ75_2stamp ≟ 270°), -1, 1]), rQ75_2stamp, Q75_2stamp]) → q75_2stamp, q75_6, k_2, l_2, m_2
  101. Polygon(Q83_1stamp, Rotate[Q83_1stamp + (If[fQ83_1stamp ∧ (rQ83_1stamp ≟ 0° ∨ rQ83_1stamp ≟ 180° ∨ rQ83_1stamp ≟ 360°), -1, 1], 0), rQ83_1stamp, Q83_1stamp], Rotate[Q83_1stamp + (If[fQ83_1stamp ∧ (rQ83_1stamp ≟ 0° ∨ rQ83_1stamp ≟ 180° ∨ rQ83_1stamp ≟ 360°), -0.6666666666666666, 0.6666666666666666], If[fQ83_1stamp ∧ (rQ83_1stamp ≟ 90° ∨ rQ83_1stamp ≟ 270°), -1, 1]), rQ83_1stamp, Q83_1stamp], Rotate[Q83_1stamp + (0, If[fQ83_1stamp ∧ (rQ83_1stamp ≟ 90° ∨ rQ83_1stamp ≟ 270°), -1, 1]), rQ83_1stamp, Q83_1stamp]) → q83_1stamp, q83_4, n_2, p_2, q_2
  102. Polygon(Q83_3stamp, Rotate[Q83_3stamp + (If[fQ83_3stamp ∧ (rQ83_3stamp ≟ 0° ∨ rQ83_3stamp ≟ 180° ∨ rQ83_3stamp ≟ 360°), -1, 1], 0), rQ83_3stamp, Q83_3stamp], Rotate[Q83_3stamp + (If[fQ83_3stamp ∧ (rQ83_3stamp ≟ 0° ∨ rQ83_3stamp ≟ 180° ∨ rQ83_3stamp ≟ 360°), -0.6666666666666666, 0.6666666666666666], If[fQ83_3stamp ∧ (rQ83_3stamp ≟ 90° ∨ rQ83_3stamp ≟ 270°), -1, 1]), rQ83_3stamp, Q83_3stamp], Rotate[Q83_3stamp + (0, If[fQ83_3stamp ∧ (rQ83_3stamp ≟ 90° ∨ rQ83_3stamp ≟ 270°), -1, 1]), rQ83_3stamp, Q83_3stamp]) → q83_3stamp, q83_5, r_2, s_2, t_2
  103. Polygon(Q83_2stamp, Rotate[Q83_2stamp + (If[fQ83_2stamp ∧ (rQ83_2stamp ≟ 0° ∨ rQ83_2stamp ≟ 180° ∨ rQ83_2stamp ≟ 360°), -1, 1], 0), rQ83_2stamp, Q83_2stamp], Rotate[Q83_2stamp + (If[fQ83_2stamp ∧ (rQ83_2stamp ≟ 0° ∨ rQ83_2stamp ≟ 180° ∨ rQ83_2stamp ≟ 360°), -0.6666666666666666, 0.6666666666666666], If[fQ83_2stamp ∧ (rQ83_2stamp ≟ 90° ∨ rQ83_2stamp ≟ 270°), -1, 1]), rQ83_2stamp, Q83_2stamp], Rotate[Q83_2stamp + (0, If[fQ83_2stamp ∧ (rQ83_2stamp ≟ 90° ∨ rQ83_2stamp ≟ 270°), -1, 1]), rQ83_2stamp, Q83_2stamp]) → q83_2stamp, q83_6, a_3, b_3, c_3
  104. Polygon(Q58_1stamp, Rotate[Q58_1stamp + (If[fQ58_1stamp ∧ (rQ58_1stamp ≟ 0° ∨ rQ58_1stamp ≟ 180° ∨ rQ58_1stamp ≟ 360°), -0.5, 0.5], 0), rQ58_1stamp, Q58_1stamp], Rotate[Q58_1stamp + (If[fQ58_1stamp ∧ (rQ58_1stamp ≟ 0° ∨ rQ58_1stamp ≟ 180° ∨ rQ58_1stamp ≟ 360°), -1, 1], If[fQ58_1stamp ∧ (rQ58_1stamp ≟ 90° ∨ rQ58_1stamp ≟ 270°), 1, -1]), rQ58_1stamp, Q58_1stamp], Rotate[Q58_1stamp + (0, If[fQ58_1stamp ∧ (rQ58_1stamp ≟ 90° ∨ rQ58_1stamp ≟ 270°), 0.6666666666666666, -0.6666666666666666]), rQ58_1stamp, Q58_1stamp]) → q58_1stamp, q58_4, d_3, e_3, f_3
  105. Polygon(Q58_3stamp, Rotate[Q58_3stamp + (If[fQ58_3stamp ∧ (rQ58_3stamp ≟ 0° ∨ rQ58_3stamp ≟ 180° ∨ rQ58_3stamp ≟ 360°), -0.5, 0.5], 0), rQ58_3stamp, Q58_3stamp], Rotate[Q58_3stamp + (If[fQ58_3stamp ∧ (rQ58_3stamp ≟ 0° ∨ rQ58_3stamp ≟ 180° ∨ rQ58_3stamp ≟ 360°), -1, 1], If[fQ58_3stamp ∧ (rQ58_3stamp ≟ 90° ∨ rQ58_3stamp ≟ 270°), 1, -1]), rQ58_3stamp, Q58_3stamp], Rotate[Q58_3stamp + (0, If[fQ58_3stamp ∧ (rQ58_3stamp ≟ 90° ∨ rQ58_3stamp ≟ 270°), 0.6666666666666666, -0.6666666666666666]), rQ58_3stamp, Q58_3stamp]) → q58_3stamp, q58_5, g_3, h_3, i_3
  106. Polygon(Q58_2stamp, Rotate[Q58_2stamp + (If[fQ58_2stamp ∧ (rQ58_2stamp ≟ 0° ∨ rQ58_2stamp ≟ 180° ∨ rQ58_2stamp ≟ 360°), -0.5, 0.5], 0), rQ58_2stamp, Q58_2stamp], Rotate[Q58_2stamp + (If[fQ58_2stamp ∧ (rQ58_2stamp ≟ 0° ∨ rQ58_2stamp ≟ 180° ∨ rQ58_2stamp ≟ 360°), -1, 1], If[fQ58_2stamp ∧ (rQ58_2stamp ≟ 90° ∨ rQ58_2stamp ≟ 270°), 1, -1]), rQ58_2stamp, Q58_2stamp], Rotate[Q58_2stamp + (0, If[fQ58_2stamp ∧ (rQ58_2stamp ≟ 90° ∨ rQ58_2stamp ≟ 270°), 0.6666666666666666, -0.6666666666666666]), rQ58_2stamp, Q58_2stamp]) → q58_2stamp, q58_6, j_3, k_3, l_3
  107. Polygon(Q50a_1stamp, Rotate[Q50a_1stamp + (If[fQ50a_1stamp ∧ (rQ50a_1stamp ≟ 0° ∨ rQ50a_1stamp ≟ 180° ∨ rQ50a_1stamp ≟ 360°), -0.6666666666666666, 0.6666666666666666], 0), rQ50a_1stamp, Q50a_1stamp], Rotate[Q50a_1stamp + (If[fQ50a_1stamp ∧ (rQ50a_1stamp ≟ 0° ∨ rQ50a_1stamp ≟ 180° ∨ rQ50a_1stamp ≟ 360°), -0.3333333333333333, 0.3333333333333333], If[fQ50a_1stamp ∧ (rQ50a_1stamp ≟ 90° ∨ rQ50a_1stamp ≟ 270°), -1, 1]), rQ50a_1stamp, Q50a_1stamp], Rotate[Q50a_1stamp + (0, If[fQ50a_1stamp ∧ (rQ50a_1stamp ≟ 90° ∨ rQ50a_1stamp ≟ 270°), -1, 1]), rQ50a_1stamp, Q50a_1stamp]) → q50a_1stamp, q50a_4, m_3, n_3, p_3
  108. Polygon(Q50a_3stamp, Rotate[Q50a_3stamp + (If[fQ50a_3stamp ∧ (rQ50a_3stamp ≟ 0° ∨ rQ50a_3stamp ≟ 180° ∨ rQ50a_3stamp ≟ 360°), -0.6666666666666666, 0.6666666666666666], 0), rQ50a_3stamp, Q50a_3stamp], Rotate[Q50a_3stamp + (If[fQ50a_3stamp ∧ (rQ50a_3stamp ≟ 0° ∨ rQ50a_3stamp ≟ 180° ∨ rQ50a_3stamp ≟ 360°), -0.3333333333333333, 0.3333333333333333], If[fQ50a_3stamp ∧ (rQ50a_3stamp ≟ 90° ∨ rQ50a_3stamp ≟ 270°), -1, 1]), rQ50a_3stamp, Q50a_3stamp], Rotate[Q50a_3stamp + (0, If[fQ50a_3stamp ∧ (rQ50a_3stamp ≟ 90° ∨ rQ50a_3stamp ≟ 270°), -1, 1]), rQ50a_3stamp, Q50a_3stamp]) → q50a_3stamp, q50a_5, q_3, r_3, s_3
  109. Polygon(Q50a_2stamp, Rotate[Q50a_2stamp + (If[fQ50a_2stamp ∧ (rQ50a_2stamp ≟ 0° ∨ rQ50a_2stamp ≟ 180° ∨ rQ50a_2stamp ≟ 360°), -0.6666666666666666, 0.6666666666666666], 0), rQ50a_2stamp, Q50a_2stamp], Rotate[Q50a_2stamp + (If[fQ50a_2stamp ∧ (rQ50a_2stamp ≟ 0° ∨ rQ50a_2stamp ≟ 180° ∨ rQ50a_2stamp ≟ 360°), -0.3333333333333333, 0.3333333333333333], If[fQ50a_2stamp ∧ (rQ50a_2stamp ≟ 90° ∨ rQ50a_2stamp ≟ 270°), -1, 1]), rQ50a_2stamp, Q50a_2stamp], Rotate[Q50a_2stamp + (0, If[fQ50a_2stamp ∧ (rQ50a_2stamp ≟ 90° ∨ rQ50a_2stamp ≟ 270°), -1, 1]), rQ50a_2stamp, Q50a_2stamp]) → q50a_2stamp, q50a_6, t_3, a_4, b_4
  110. Polygon(Q50b_1stamp, Rotate[Q50b_1stamp + (If[fQ50b_1stamp ∧ (rQ50b_1stamp ≟ 0° ∨ rQ50b_1stamp ≟ 180° ∨ rQ50b_1stamp ≟ 360°), -0.6666666666666666, 0.6666666666666666], 0), rQ50b_1stamp, Q50b_1stamp], Rotate[Q50b_1stamp + (If[fQ50b_1stamp ∧ (rQ50b_1stamp ≟ 0° ∨ rQ50b_1stamp ≟ 180° ∨ rQ50b_1stamp ≟ 360°), -0.3333333333333333, 0.3333333333333333], If[fQ50b_1stamp ∧ (rQ50b_1stamp ≟ 90° ∨ rQ50b_1stamp ≟ 270°), -1, 1]), rQ50b_1stamp, Q50b_1stamp], Rotate[Q50b_1stamp + (0, If[fQ50b_1stamp ∧ (rQ50b_1stamp ≟ 90° ∨ rQ50b_1stamp ≟ 270°), -1, 1]), rQ50b_1stamp, Q50b_1stamp]) → q50b_1stamp, q50b_4, c_4, d_4, e_4
  111. Polygon(Q50b_2stamp, Rotate[Q50b_2stamp + (If[fQ50b_2stamp ∧ (rQ50b_2stamp ≟ 0° ∨ rQ50b_2stamp ≟ 180° ∨ rQ50b_2stamp ≟ 360°), -0.6666666666666666, 0.6666666666666666], 0), rQ50b_2stamp, Q50b_2stamp], Rotate[Q50b_2stamp + (If[fQ50b_2stamp ∧ (rQ50b_2stamp ≟ 0° ∨ rQ50b_2stamp ≟ 180° ∨ rQ50b_2stamp ≟ 360°), -0.3333333333333333, 0.3333333333333333], If[fQ50b_2stamp ∧ (rQ50b_2stamp ≟ 90° ∨ rQ50b_2stamp ≟ 270°), -1, 1]), rQ50b_2stamp, Q50b_2stamp], Rotate[Q50b_2stamp + (0, If[fQ50b_2stamp ∧ (rQ50b_2stamp ≟ 90° ∨ rQ50b_2stamp ≟ 270°), -1, 1]), rQ50b_2stamp, Q50b_2stamp]) → q50b_2stamp, q50b_5, f_4, g_4, h_4
  112. Polygon(Q50b_3stamp, Rotate[Q50b_3stamp + (If[fQ50b_3stamp ∧ (rQ50b_3stamp ≟ 0° ∨ rQ50b_3stamp ≟ 180° ∨ rQ50b_3stamp ≟ 360°), -0.6666666666666666, 0.6666666666666666], 0), rQ50b_3stamp, Q50b_3stamp], Rotate[Q50b_3stamp + (If[fQ50b_3stamp ∧ (rQ50b_3stamp ≟ 0° ∨ rQ50b_3stamp ≟ 180° ∨ rQ50b_3stamp ≟ 360°), -0.3333333333333333, 0.3333333333333333], If[fQ50b_3stamp ∧ (rQ50b_3stamp ≟ 90° ∨ rQ50b_3stamp ≟ 270°), -1, 1]), rQ50b_3stamp, Q50b_3stamp], Rotate[Q50b_3stamp + (0, If[fQ50b_3stamp ∧ (rQ50b_3stamp ≟ 90° ∨ rQ50b_3stamp ≟ 270°), -1, 1]), rQ50b_3stamp, Q50b_3stamp]) → q50b_3stamp, q50b_6, i_4, j_4, k_4
  113. Polygon(StampButtonPt, StampButtonPt + (0.2, -0.1), StampButtonPt + (2, -0.1), StampButtonPt + (2.2, 0), StampButtonPt + (2.2, 0.38), StampButtonPt + (2.15, 0.4), StampButtonPt + (0.05, 0.4), StampButtonPt + (0, 0.38)) → stampButton, StampButtonPtSeg_1, StampButtonPtSeg_2, StampButtonPtSeg_3, StampButtonPtSeg_4, StampButtonPtSeg_5, StampButtonPtSeg_6, StampButtonPtSeg_7, StampButtonPtSeg
  114. If(stamp ≟ false, " Stamp", "Clear Stamp") → stampButtonLabel
  115. Polygon(AreaButtonPt, AreaButtonPt + (0.2, -0.1), AreaButtonPt + (2, -0.1), AreaButtonPt + (2.2, 0), AreaButtonPt + (2.2, 0.38), AreaButtonPt + (2.15, 0.4), AreaButtonPt + (0.05, 0.4), AreaButtonPt + (0, 0.38)) → areaButton, AreaButtonPtSeg_1, AreaButtonPtSeg_2, AreaButtonPtSeg_3, AreaButtonPtSeg_4, AreaButtonPtSeg_5, AreaButtonPtSeg_6, AreaButtonPtSeg_7, AreaButtonPtSeg
  116. Polygon(AreaButtonPt, AreaButtonPt + (-1.5, -0.5), AreaButtonPt + (1.8, -0.5), AreaButtonPt + (2.2, 0)) → areaButtonFiller, g_1, l_4, m_4, n_4
  117. Polygon(TrashButtonPt, TrashButtonPt + (0.2, -0.1), TrashButtonPt + (1.4, -0.1), TrashButtonPt + (1.6, 0), TrashButtonPt + (1.6, 0.38), TrashButtonPt + (1.55, 0.4), TrashButtonPt + (0.05, 0.4), TrashButtonPt + (0, 0.38)) → trashButton, trashButtonSeg, trashButtonSeg_7, trashButtonSeg_4, trashButtonSeg_5, trashButtonSeg_6, trashButtonSeg_1, trashButtonSeg_2, trashButtonSeg_3
  118. Polygon(ClearButtonPt, ClearButtonPt + (0.2, -0.1), ClearButtonPt + (2, -0.1), ClearButtonPt + (2.2, 0), ClearButtonPt + (2.2, 0.38), ClearButtonPt + (2.15, 0.4), ClearButtonPt + (0.05, 0.4), ClearButtonPt + (0, 0.38)) → clearButton, clearButtonSeg_4, clearButtonSeg_5, clearButtonSeg_6, clearButtonSeg_7, clearButtonSeg, clearButtonSeg_1, clearButtonSeg_2, clearButtonSeg_3
  119. CircleArc(IconRotateCenter, IconRotateCenter + (0, -0.2), IconRotateCenter + (0, 0.2)) → iconRotateArc
  120. Polygon(IconRotateCenter + (-0.05, 0.2), IconRotateCenter + (0.08, 0.08), IconRotateCenter + (0.08, 0.28)) → iconRotateArrow, s_4, t_4, a_5
  121. Polygon(IconReflectSegBottom + (-0.23, 0.07), IconReflectSegBottom + (-0.1, 0.13), IconReflectSegBottom + (-0.3, 0.23)) → iconReflectArrow, p_4, q_4, r_4
  122. RotateText("Drag to grid", 90°) → dragToGrid
  123. Semicircle(TrashCenter + (-0.17, 1.16), TrashCenter + (0.17, 1.16)) → trashCanHandleArc
  124. Polygon(RotateButtonPt, RotateButtonPt + (0.2, -0.1), RotateButtonPt + (1, -0.1), RotateButtonPt + (1.2, 0), RotateButtonPt + (1.2, 0.68), RotateButtonPt + (1.18, 0.7), RotateButtonPt + (0.05, 0.7), RotateButtonPt + (0, 0.68)) → rotateButton, rotateButtonSeg_1, rotateButtonSeg_6, rotateButtonSeg_2, rotateButtonSeg_3, rotateButtonSeg, rotateButtonSeg_4, rotateButtonSeg_7, rotateButtonSeg_5
  125. Polygon(ReflectButtonPt, ReflectButtonPt + (0.2, -0.1), ReflectButtonPt + (1, -0.1), ReflectButtonPt + (1.2, 0), ReflectButtonPt + (1.2, 0.68), ReflectButtonPt + (1.18, 0.7), ReflectButtonPt + (0.05, 0.7), ReflectButtonPt + (0, 0.68)) → reflectButton, reflectButtonSeg, reflectButtonSeg_1, reflectButtonSeg_2, reflectButtonSeg_3, reflectButtonSeg_4, reflectButtonSeg_6, reflectButtonSeg_5, reflectButtonSeg_7
  126. Semicircle(IconReflectSegBottom + (-0.2, 0.08), IconReflectSegBottom + (0.2, 0.08)) → iconReflectArc
  127. Segment(IconReflectSegBottom, IconReflectSegBottom + (0, 0.3)) → iconReflectSeg
  128. Polygon(TransformBoxCenter + (-1.4, -2.2), TransformBoxCenter + (1.4, -2.2), TransformBoxCenter + (1.4, 1.4), TransformBoxCenter + (-1.4, 1.4)) → TransformBoxOutline_1, TransformBoxOutline_2, TransformBoxOutline_3, TransformBoxOutline_4, TransformBoxOutline

AI Drawing Prompt Reference

Draw a triangle with unit squares to fill or create different shapes, showing how to calculate the area of the triangle by dragging unit squares. Include a desk with a border, multiple buttons, and unit squares, and a trash can in the corner.
The prompt above was compiled from the original drawing commands and is for reference only.