+ if ( isset($SESSIONS_next) ) {
+ print "<b>Submitted for next session on " . $SESSIONS[$SESSIONS_next]['timestr'] . "</b>";
+
+ print "<table>";
+
+ if($db->query("SELECT COUNT(*) FROM workdone WHERE mnumber = $mnumber AND session = $SESSIONS_next")->fetch(PDO::FETCH_NUM)[0] == 0) {
+ print "<tr><td>0 (0/" . $SESSIONS[$SESSIONS_next]['nexamples'] . ")</td></tr>";
+ }
+ else {
+ $wdone = $db->query("SELECT thisdone,manydone FROM workdone WHERE mnumber = $mnumber AND session = $SESSIONS_next")->fetch(PDO::FETCH_NUM);
+ print "<tr><td>" . $wdone[0] . " (" . $wdone[1] . "/" . $SESSIONS[$SESSIONS_next]['nexamples'] . ")</td></tr><br>";
+ }
+
+ print "</table>";
+
+ print "<br>";
+ }
+
+ print "<b>Examples submitted so far</b>";