aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/bug_9370.out
blob: 0ff151c8b45353552a54ea18b581d17caf25e66b (plain) 
1
2
3
4
5
6
7
8
9
10
11
12

1 subgoal
  
  ============================
  1 = 1
1 subgoal
  
  ============================
  1 = 1
1 subgoal
  
  ============================
  1 = 1
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 10:05:23 +0000