Chars 0 - 30 [Require~Import~Coq.Lists.List.] 0.114 secs (0.083u,0.032s)
Chars 31 - 64 [Require~Import~Coq.ZArith.ZArith.] 0.194 secs (0.172u,0.023s)
Chars 65 - 75 [Goal~_~True.] 0. secs (0.u,0.s)
Chars 78 - 86 [exact~I.] 0. secs (0.u,0.s)
Chars 87 - 91 [Qed.] 0. secs (0.u,0.s)
Chars 92 - 102 [Goal~_~True.] 0. secs (0.u,0.s)
Chars 105 - 113 [exact~I.] 0. secs (0.u,0.s)
Chars 114 - 118 [Qed.] 0. secs (0.u,0.s)
Chars 119 - 129 [Goal~_~True.] 0. secs (0.u,0.s)
Chars 132 - 140 [exact~I.] 0. secs (0.u,0.s)
Chars 141 - 145 [Qed.] 0. secs (0.u,0.s)
Chars 146 - 156 [Goal~_~True.] 0. secs (0.u,0.s)
Chars 159 - 167 [exact~I.] 0. secs (0.u,0.s)
Chars 168 - 172 [Qed.] 0. secs (0.u,0.s)
Chars 173 - 183 [Goal~_~True.] 0. secs (0.u,0.s)
Chars 186 - 194 [exact~I.] 0. secs (0.u,0.s)
Chars 195 - 199 [Qed.] 0. secs (0.u,0.s)
Chars 200 - 257 [Goal~_~List.repeat~Z.div_eucl~...] 0. secs (0.004u,0.s)
Chars 260 - 284 [(vm_compute;~reflexivity).] 0.53 secs (0.504u,0.024s)
Chars 285 - 289 [Qed.] 0.4 secs (0.384u,0.016s)
