第 {{ currentScheduleIdx + 1 }} 方案课表
{{ node }} |
{{ getCell(currentScheduleIdx, currentWeek, day-1, node-1).name }}
diff --git a/dist/static/js/app.js b/dist/static/js/app.js
index b10eeb7..324bb7c 100644
--- a/dist/static/js/app.js
+++ b/dist/static/js/app.js
@@ -10,6 +10,7 @@ createApp({
const preferences = reactive({
avoid_early_morning: false,
avoid_weekend: false,
+ quality_sleep: false, // Avoid 9-13
compactness: 'none',
day_max_limit_enabled: false,
day_max_limit_value: 0,
@@ -255,7 +256,8 @@ createApp({
groups.value.push({
id: Date.now() + i, // unique-ish id
open: false,
- candidates: candidates
+ candidates: candidates,
+ is_skippable: false // Default
});
successCount++;
} else {
@@ -291,7 +293,8 @@ createApp({
groups.value.push({
id: Date.now(),
open: false,
- candidates: JSON.parse(JSON.stringify(candidates))
+ candidates: JSON.parse(JSON.stringify(candidates)),
+ is_skippable: false // Default
});
// Uncheck after adding
searchResults.value.forEach(c => c.checked = false);
@@ -377,7 +380,8 @@ createApp({
teacher: c.teacher,
location: loc,
alternatives: c.alternatives,
- isCurrent: true
+ isCurrent: true,
+ is_skippable: !!c.is_skippable // Pass to view
};
}
}
@@ -400,7 +404,8 @@ createApp({
teacher: c.teacher,
location: sess.location,
alternatives: c.alternatives,
- isCurrent: false // Gray out
+ isCurrent: false, // Gray out
+ is_skippable: !!c.is_skippable
};
}
}
@@ -418,7 +423,8 @@ createApp({
teacher: c.teacher,
location: c.location_text, // Raw text fallback
alternatives: c.alternatives,
- isCurrent: false
+ isCurrent: false,
+ is_skippable: !!c.is_skippable
};
}
}
@@ -462,7 +468,15 @@ createApp({
if (raw) {
try {
const data = JSON.parse(raw);
- if (data.groups) groups.value = data.groups;
+ if (data.groups) {
+ groups.value = data.groups;
+ // Migration: Add is_skippable if missing
+ groups.value.forEach(g => {
+ if (g.is_skippable === undefined) {
+ g.is_skippable = false;
+ }
+ });
+ }
if (data.preferences) Object.assign(preferences, data.preferences);
return true;
} catch (e) {
diff --git a/dist/static/js/solver.js b/dist/static/js/solver.js
index 1199762..2ce51a3 100644
--- a/dist/static/js/solver.js
+++ b/dist/static/js/solver.js
@@ -6,9 +6,14 @@ class ScheduleRanker {
let totalBonus = 0.0;
// 0. Merge bitmaps into fullBitmap (BigInt array)
+ // Also merge bitmaps for non-skippable courses into scoringBitmap
const fullBitmap = Array(30).fill(0n);
+ const scoringBitmap = Array(30).fill(0n);
+
for (const course of schedule) {
const cb = course.schedule_bitmaps || [];
+ const isSkippable = !!course.is_skippable;
+
for (let w = 0; w < cb.length; w++) {
if (w < fullBitmap.length) {
let val = 0n;
@@ -18,16 +23,21 @@ class ScheduleRanker {
val = 0n;
}
fullBitmap[w] |= val;
+ if (!isSkippable) {
+ scoringBitmap[w] |= val;
+ }
}
}
}
+ // Use scoringBitmap for penalties
+
// 1. Avoid Early Morning
if (preferences.avoid_early_morning) {
let penalty = 0;
// Iterate weeks 1 to 25
for (let w = 1; w <= 25; w++) {
- const mask = fullBitmap[w];
+ const mask = scoringBitmap[w];
if (mask === 0n) continue;
let earlyMask = 0n;
@@ -55,7 +65,7 @@ class ScheduleRanker {
}
for (let w = 1; w <= 25; w++) {
- if ((fullBitmap[w] & weekendMask) !== 0n) {
+ if ((scoringBitmap[w] & weekendMask) !== 0n) {
penalty += 1;
}
}
@@ -68,7 +78,7 @@ class ScheduleRanker {
if (preferences.compactness === 'high' || preferences.compactness === 'low') {
let totalGaps = 0;
for (let w = 1; w <= 25; w++) {
- const mask = fullBitmap[w];
+ const mask = scoringBitmap[w];
if (mask === 0n) continue;
for (let d = 0; d < 5; d++) { // Mon-Fri
const dayBits = (mask >> BigInt(d * 13)) & 0x1FFFn;
@@ -115,7 +125,7 @@ class ScheduleRanker {
let penalty = 0;
for (let w = 1; w <= 25; w++) {
- const mask = fullBitmap[w];
+ const mask = scoringBitmap[w];
if (mask === 0n) continue;
for (let d = 0; d < 7; d++) {
if (!targetDays[d]) continue;
@@ -132,6 +142,32 @@ class ScheduleRanker {
details['特定日限制'] = -pVal;
}
+ // 5. Quality Sleep (Avoid 9-13)
+ if (preferences.quality_sleep) {
+ let penalty = 0;
+ for (let w = 1; w <= 25; w++) {
+ const mask = scoringBitmap[w];
+ if (mask === 0n) continue;
+
+ let sleepMask = 0n;
+ for (let d = 0; d < 7; d++) {
+ // Node 9 to 13
+ // Nodes are 1-based in my comments, but 0-12 in bits.
+ // 1=0, 2=1, ..., 9=8, 13=12.
+ for (let n = 8; n <= 12; n++) {
+ sleepMask |= (1n << BigInt(d * 13 + n));
+ }
+ }
+
+ if ((mask & sleepMask) !== 0n) {
+ penalty += 1;
+ }
+ }
+ const pVal = penalty * 2.0;
+ totalPenalty += pVal;
+ details['优质睡眠'] = -pVal;
+ }
+
return {
score: baseScore + totalBonus - totalPenalty,
details: details
@@ -256,11 +292,16 @@ class ScheduleSolver {
mergedGroupsMap.set(courseName, {
id: g.id,
name: courseName,
- candidates: active
+ candidates: active,
+ is_skippable: !!g.is_skippable
});
} else {
const existing = mergedGroupsMap.get(courseName);
existing.candidates = existing.candidates.concat(active);
+ // If any part of the merged group is marked skippable, we might want to respect that?
+ // Or should we enforce that if one part is skippable, the whole thing is?
+ // User sets 'skippable' on the Group. If we merge groups by name, we should probably OR the flag.
+ if (g.is_skippable) existing.is_skippable = true;
}
}
@@ -286,7 +327,8 @@ class ScheduleSolver {
metaCandidates.push({
representative: val.list[0],
bitmaps: val.bitmaps,
- alternatives: val.list
+ alternatives: val.list,
+ is_skippable: g.is_skippable // Propagate to meta-candidate
});
}
@@ -336,6 +378,7 @@ class ScheduleSolver {
const finalSchedule = currentScheduleMeta.map(m => {
const rep = { ...m.representative };
rep.alternatives = m.alternatives;
+ rep.is_skippable = m.is_skippable;
return rep;
});
@@ -462,13 +505,18 @@ class ScheduleSolver {
let totalCredits = 0;
let totalHours = 0;
+ let actualTotalHours = 0;
const weekSet = new Set();
const countedCourses = new Set(); // Prevent double counting credits/hours for same-named courses
sched.forEach(c => {
if (!countedCourses.has(c.name)) {
totalCredits += (c.credit || 0);
- totalHours += (c.hours || 0);
+ const h = (c.hours || 0);
+ totalHours += h;
+ if (!c.is_skippable) {
+ actualTotalHours += h;
+ }
countedCourses.add(c.name);
}
if (c.sessions) {
@@ -491,7 +539,9 @@ class ScheduleSolver {
stats: {
total_credits: totalCredits,
total_hours: totalHours,
+ actual_total_hours: actualTotalHours,
avg_weekly_hours: weeks.length > 0 ? (totalHours / weeks.length).toFixed(1) : 0,
+ actual_avg_weekly_hours: weeks.length > 0 ? (actualTotalHours / weeks.length).toFixed(1) : 0,
week_span: weekSpan
}
};
diff --git a/server.log b/server.log
index 56c17b2..03cf95c 100644
--- a/server.log
+++ b/server.log
@@ -1,22 +1,10 @@
-127.0.0.1 - - [11/Jan/2026 04:36:31] "GET / HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:36:31] "GET /static/js/app.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:36:31] "GET /static/js/solver.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:36:31] "GET /static/vue.global.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:36:31] "GET /static/html2canvas.min.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:36:31] code 404, message File not found
-127.0.0.1 - - [11/Jan/2026 04:36:31] "GET /search?name=&code=&campus=1&semester=2025-2026-2&match_mode=OR HTTP/1.1" 404 -
-127.0.0.1 - - [11/Jan/2026 04:37:37] "GET / HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:37:37] "GET /static/vue.global.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:37:37] "GET /static/js/app.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:37:37] "GET /static/js/solver.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:37:37] "GET /static/html2canvas.min.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:42:04] "GET / HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:42:04] "GET /static/vue.global.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:42:04] "GET /static/js/solver.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:42:04] "GET /static/js/app.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:42:04] "GET /static/html2canvas.min.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:43:33] "GET / HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:43:33] "GET /static/vue.global.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:43:33] "GET /static/html2canvas.min.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:43:33] "GET /static/js/app.js HTTP/1.1" 200 -
-127.0.0.1 - - [11/Jan/2026 04:43:33] "GET /static/js/solver.js HTTP/1.1" 200 -
+127.0.0.1 - - [11/Jan/2026 08:58:47] "GET / HTTP/1.1" 200 -
+127.0.0.1 - - [11/Jan/2026 08:58:48] "GET /static/vue.global.js HTTP/1.1" 200 -
+127.0.0.1 - - [11/Jan/2026 08:58:48] "GET /static/js/solver.js HTTP/1.1" 200 -
+127.0.0.1 - - [11/Jan/2026 08:58:48] "GET /static/html2canvas.min.js HTTP/1.1" 200 -
+127.0.0.1 - - [11/Jan/2026 08:58:48] "GET /static/js/app.js HTTP/1.1" 200 -
+127.0.0.1 - - [11/Jan/2026 08:59:07] "GET / HTTP/1.1" 200 -
+127.0.0.1 - - [11/Jan/2026 08:59:07] "GET /static/vue.global.js HTTP/1.1" 200 -
+127.0.0.1 - - [11/Jan/2026 08:59:07] "GET /static/html2canvas.min.js HTTP/1.1" 200 -
+127.0.0.1 - - [11/Jan/2026 08:59:07] "GET /static/js/app.js HTTP/1.1" 200 -
+127.0.0.1 - - [11/Jan/2026 08:59:07] "GET /static/js/solver.js HTTP/1.1" 200 -
diff --git a/verification/spa_verified.png b/verification/spa_verified.png
new file mode 100644
index 0000000000000000000000000000000000000000..581cabc3d5d6e8042c4ad35fad10d152b5f387bf
GIT binary patch
literal 35743
zcmd?Rbx>T*(=du8AwUQZAwcjDg1ZMN1VVsdi`x?1S==>f&_K||g8SkQ3&Df?;%>|0
zusH06=T~oiZ`J+d-mkuUzq(cT{L`mqrl 9%zIciGUDBVC5$A^y*gbc%
zHbon(+q77xpK6<`J6~BlW!GEYX*+;&wb{1PvDQgR1k-s~$Gv@y(@)39*xAPw=mbZR
zN=R?29cYf4<*q@?r|0wSR&9~kM=?2tq#~nu4RxK>
zK3SEX(ztbx{LlF>gtWOAQnr{%aU1~7|G@L|h@K0&)GQ1&k1MdSCpJHR8JZqO(SfG3
zwgSYv?blWIL_=3X7B=s{6|a06GIy%LdLDs0oDmE)%HZqu@-
z{(qID{hx)EMC|W_M?fp-LWPW}p%#y8t(0={SPnZ1@hqw%ciR(o?x;tw<`&BR%ScnM
zJWhLm1%UtuGz)edS4FrT13(^KumLaTf?S$H4;v5bi{ln>n|A?MAtmP{cQ;-)&7+dg
zL3YANbbrWBT&e`Mc*9A)!1SSDIRm@ts4c#@BWTFj>n|#?#dYN1$Z7G
zvgw5>D%qip+OInonuY1D&cG_;x_9Y&UsdK+*!ei-Z&md$7s5qoshYQ^=RJ#t$!*x?
zQM*{n2~n9hYs%?cEe@{h{idk9nDaUO{BwK}Ke3zpp$OCw!W8!)#s2CkTm8UE8>$ma
z_kwpEvtiut@)8?%L#0#iaWyX^h04-g6uv(|WrS2XC5IX
zMvnGUEA`(wmAq)<(V!KI)Vb(Y>ViY6QQsL=L0i#
ztylre&pca;NF>7&VFtyDp|DTW$Nklr2BV?aN`VD$2i#JS>2ACSWq5lkD19nYbN0+v
zd$09Q7lemc+~6Q-O)+ns;cLnL?qgov;Gsv}#?+iBT9r5Bd%tBF@-^db(7%ptX2{z0
zfo|fLsXtH~(Bzt;Q(eh*ln+Uf|a?+*Knl?*-a!v-o|OzJs84-_m0hja5{N
zWWK23cOMvy2{X<#pEMldzW{7d{v&GC(aI8m6H~)!pGokV+oG`dxU;_kn+7<4VPJzn
zoL%#6JyT=(;IY<0j>VjU8Sxqwr|z?{CSxOE#NT4dr({U
z#OMty)l}EMgRRQ~f+>flnm(MUI=Iorf)b%_E6GlOT+1L~V8|1Xaz@vnU@uD9c~w#>
zip{bMsXy?+D8jI~$N(;5vpduQ%~cUp$Y5>639wdC91zc}xAxgFgRe*G-*
z(M+Lzz=xr^xsiQZAje8!rbZd4jEcg#FP!v)OZWCUd@rxpQ%TrwcZ9hL9d%Fs>|0{71U@sE&2g=n%L)B(bQg#Mt+E-IUF!=TZ+%nvg!!oKSM;8&
z94L^U&1=`+YNYa`$}aAm3Zv}&)KU_3^IzgboZv^lrfZg$tCCAITn$j630UeqfyoEZ>jUHAkZi1m7FX4C$&hy$3^BGbo^u
zTMG^Co}YJnmh2DLjh~S*jrKh;mZg>WewBQ$G7SBGZ0;WkqpeKK>metCdX!3ESHT0g_4J*}LVP
zQF6VV{1kSS#UoDPX;vs|IxC;kChS~E$s^FNb7DRALwET7NdMYmZ^F7rcwPYD?kHfx
z1>~vcbA#u$Sa`~u90Rsj$=Be7!KODKEYK=-Q=k|obeLEqeR;RFtg6~EPQ;-m^T
z3EbD?WtR{nc?k(FolgJY9QHM25wb*R6oe_tjT!Ik$ktP%*vmLmeOJ)Xb~bEerbYek
z!nYAG!#yqZ5O{}LROq71w{~->E?ATzmmZy+^8^p8-@25XeY}ON<%ouf`_CA5~Ec2H`&E$xe_GE20MyqZBB8%T`A5_je
zVJuJ2S=Z1@-|R`^Ct>*gz*?F2}q
z|HGhf#&0Q8*(;@T{FDCK1lcNq%Vw!`rxk~!21|lW98ML-%-~buRDnati&fiX_fCDy
zbm*|ogEdHIvmt41zt-4NFJc$9oXupP5mKlInodxemp}|#Q@tf7QEV&qlCr4D4}_agK!b9yB8BfZGOs=KtMqS-iT~t|ZrFzd7`)f%$UQ
z`mJ1@&R&3kx1k0cy7nVM1GU?2YTEY~ewW`68Fh%+M~x`qBwDdgGnUZG<7h~0Trf*0
zZGKW_mDZq@^x8kToW@A15E9U3A@2L$%lOCc36x-U?%7uTe{=7m4&Fa`=;k-#9a?=s
zG;aIDJK9^XCoAX9Oz6q;Zyy(UJ6)yvoK(`(M*qC9DoiD*f%`v>c*Fbr1$J-34th=K
zgUc!uC9g+{@#rg|>BTKZ_!8-B{9^HI7gcj6d%*Z_ZgKDF*WPnVVMm|z@N1tFF#)>efZbZ6SC=Q^O4UzR7@hQqwJnfFYHYAZt7bZMu7+V&Y6#l
z35i}<$^AH!@jTet(l|xKi|sG2ti;(JpO;++1$9I%Hr(;v10Nfv2k6$$y~zWJthkgPIuA718u4997&o{b}~QOg(7r2
znY4?Cags<{aRpb|Epm`H5Jbu7Vc0iYwiIHw@Bdh&dZdyW?=>Q#JiW03-tjVf!anIf
zucNb6m)a9Cr%-`kPwndU(8!sH&r(zS0-J2ioj}EZKSUt=^mole*Q2%e*whd8XcENF
z+aDpC_FFW}M`#j&_Tmx#eEOfE{~rw+CedtI7OG7C;(IwcoknX1Jx@K|jSvVbd8*Up
zD&lih0>s`(LU5G-n>3MR1s8IG>+g?|nHutLwuao{Dkk;8stfm1f)v$H*
zG@6+`qG_#XCTyoY!^g`#j4%NUw|e@n%17NbMZbn880xlXyI%f=#O%mbZHr_JbmwxK
z9Xal5fcL=OZ{fxVcEmHF0;kE(qbW*<7T+Oa-O<^OJX;C=es)puo1>@zCJKCTsz9phm-a~tlpyuobR4u_}FM8mS|X4eXzqn7Kqa^x4j
zV6eAf|LJ&K9M1`kJo9U@02+d^!1bI@E$my?W1g%$e1f(Ht}2ZH5(=TW^kQ}8nV_C`)-uN;*sM@Q?c5j{fQ7M}>*qQyr|m(mM6kYT=d_U!5i$YYNGC
zcx`*@t(|y3r<;GiAHRII&1DV&wk*9CUQZ1AeQpuH$*7=TY4hui!$9PRHhwSBW{1=B
zE;=SGesiKN+)TsRq>+@fR6&)dD*eOAs}JiI`%?YNZS6Aw>lw*n@9M5U=}qo&}0D@Mcq6?S%^I}|I<
z)?A^t6G)rAzGkdAV#+4B*g&h`*@}~@dikQk_q?lOi=vNm6U)s`t{<`_mi3&dm
zFB1ipzm}7ditJv*+=@YD(qp$aP%VjCr&Y1lzNnepChTF2h64kX;Pjc1Fzs?cz4(P^
zI~->@=<<&t>TuSr-mlqZt^#hTuq~y27<+MRc(CGx!@L~QPqG+!-rsgkgZuC=LdInv{_9PTqbf3`kPO+}cV=mEQyzDV<^
z^MYv-{6e`5{4~VGL|$Fx({I;N-5X7j7*Ie68Hrj!&`ogru0ujkB)+&obBSWK2I*Qx
z6HUz$od?!u{iSuO{)>Uk`Tb&~{#}HHj&b<`rzz@kp`Ntc<@2-83O-h0KY2n0L5N)i
z>FYnV^j%70)|82H*@L+X2BtEK$=s}8R8bVt+5kOvR#r#8sZlJM7zzWY7jE(9c3O@6
z0|ak)jJ#VIzbsbnH%m^`R@1xIQJ6h^!=jtz<~?ReOw0tuz)VU_-RMRdpP~84z^|^c!D@=Sr<Cy7js_R^HSt_?GnI#Z0J&&)55F&BQW<1V^wQ)>eT}|s3=7=m)-5rX@EZvs7
zY0UU|dQLNu%1n(pZbpjVZU(I3)B9?#ln8IUXhov9KSOfT}2f+rFAYrDmoZXS!=&OUQM$O5u2!em3!WoOE={yVOD-JR20_P4eC|
z_-NYOER+`UF^xH}+9LZEx|_mc*Vp5vA%RK`-AI9G{L@#{agn)$jy^LhT*pFrg2Eo=
z{d1<$n>_h2ifqc>IL-1IwZa$Cq#|O#ZN|R??EKo&TEDD~*=CwNO~e2CNpxJg%K%S?
z6-pvldCcCcaZKm{we;2|pFFXQCQ1x5bJ7XNjn;lG_Awwl+i1Xpb_h!V0&E`H6>4}{
zXTm^72Vr*@Zi3<|No8v@q7)?-*VDj2m-hBcPIbW2>bfhzG?XY$r%Y`V=(@ma%1&0*
zJfoP#DIC;KqvLM39cKWeX@vmxS7}=Dc)jch$7$T|ro(ssuJe)V!VXw@wO?P4?!+4B
zEA}l_7zV;Nu*bHk(@J~eV5JLcxlv)!R8%?YI^ieWJkt=yOipXL`26>5Oas}`$(*K<
zECipQS+NdGo70(ghq@GhO3UFDX6np+PQhd7t>+Jr3bkU(^kbmAjti^&7)~$nF)Ow>
zvNN}-zXD3|=Q?44e>2Yv{4VsVb2gsZb+=*)0m~>?_=F}DknZ~_r{L~}zR0znna62l
z7ofzHmR6Y3!E@coaQH^wyhe>sLZ;fLFyG0Eq0g;IB>3kAp>^HgF_NgZ(OS)J+_RX36@H#Q8uI>Y
zil^eJ{cBtO#!jRJoRG_Kx2vLwVS3PmT%(|o%HpijxPT$e=>Q_)Gz2ED9Td(4trWK1
ztzNV2LZvrl@u5kpWSgY-eXSP@lxhs{*$8pZ!w7De74s(!)S`Jk{#hB1f%Y|t8wdcr
z((HD_vFtvW83-6Lmh&h}N2-SxUxDS4&8HuewrBoDz8SA~Vu
zdu{oBtvr)0ox4z5PR+vKXtv*nsYtr=IbI+aBC$
z-=cUtVD@sU2>PU$uqgA4{2A#g%PIJdy_ku2hathAW*LQX)(
zd~P$z8lZ7F8IN^oW_HV4+llL1ma<>v)CAfMd}WMAdxBUD)+*y6ltfv-%wuAT%g!Rh
zqoW_r2z@^LdRVMfzWb$&CG!Lp3E2Hki}CuZw<>~-%NO!-+BikHj^30gQ7g?#^Alob
zmDUQ3FHc)c{*5F-Z6+w&F8w4J(d@7Z=Cz)=MCgw#sQ7XUS{k?-DtK|%Dk-aVG;paX
z1lwB6-g6anh%;*$@MLK!oBZTwX|DLauv%_mLpW^k6F^N-OcG2)A5rT>@rfd@Ink%C
zY|FWof31Ul6yRaISix3Ok&o23H_?;aCs$syx9zNp1ak$%ViWej(yo5K>fL4m)H+m(
zJtfud9>3Y57Stef%ZKZ`1lFgMdQ5?e{Jv-nuB=wl0L^=+>c7GYjY-L;K|{p{2pU$Q
zh9U&BB1r!ve55`+Xu>wBMAy^&@@s~us2r@zQzs%0R=yl-Th*xXUZ@@ZI=ni9kK{dr
zot%U1cQr=hx-GwL^_C>S3B?8FbZ;@8J*;(|IO<@E=c>vOX)LL~Bl50It
zOgf3l8WfrT5l_CM*UCV=mqFAZ0>m>JU|vwdu?l
zGI7*nM=6$zw(66mpOuKsGjD1YWLGLEr?oK_c&h_3daMNGvfHWcmL
z#zv1v)*6(J5C=SXQMePb>KC)KDIS}#=;-4fL6Nl&hDlh@Sduq?Ft-NDk`CaS28yrO
z5an-mN2YrsUdPs3Dy)Sdh3?=Qj!$(peUrAr!eqm6$AxkQXvN#Q08T2J#sl%^K~sne
z!9e4l_m{#a<8c5v8%Yj!?N10M+eQtk4GZ#!T>VG|JS{IkwANzKapwpA+YuZct0={!g?{)>T8(>Fi(+bvE?9_=Zi
zRyOO-@QuL^9C#Q7fw=EiJ!Qf+Rmv^LU(y!ekp)R*le>94>9)o8dArl%xq`Vab+TBR
zcW}@@QS5y(=^6ll9nq7Om(p-I_FkSu=*ez<=%)fv2Sf!`wh!fUt@Clux(~=>>tIQj
zg#Ge<=xK2;id$Icnq4sCq#M=h<-UijG;$s%jp3^Qwb{EQ31<2y3tL5{{tLkwf+)g@
z*1}5}8JR9jFPWZnxvdaQ4oc=+4}s@%B>B+<+XowtgUpub`B5In=RO!o9agnMymO~7
zUCGkh;<1MKgOhr!s)P{UqTrZKO2UuW)&mHEsL~?6@JFQ&iz3&
zzBasp861zN&#|@}H|XLypN&V(L!Tw2DJ>1N%-fuDTLax>cn}k1@sL1m8)08k!M{iCM@kV3b`n!^vq@)W{@~p3+w581B>1JnOZYJwX
zCl$lScLv)sQ~z}qU@_Pi1YY)4sq7qv>I4obL3l_=
z0po0v-p-4!$s&zS>Bc4%uHDDXDwDInIL3t!
zCwmS2w&ZH*A*I#2RyxI(yCR}eSJyGX7N(+WIUUXFZLH6k>B9hx_~zT@u3bC4+jp3$
zVYzq{pY^Fon^!HY96noJHE4ZOxAL@e>2JOLddseOWwLhDwxwC#RdGqmvCP|4q*y`0
zP+SbtR)>1P#m(}`sTy?PD%HcTmh*GX(!`^pg3+dQrnVpDnQSL;
zCQ>3i$ltdDkpap=l`TdJAz>Lpd>t+;PFnN%*`4s8(b+gP}AaVqSJ?o=2VShRf{=Wm7?MW@yMoKsP(fD52V+v%1sHb#=TR(
z;d%^k9x)Rj;?=$xh`FJHVyUF+9}#+gH}nNqX+9%gub9lmEyM-VbQSi|wY+{A8Kps7
zK2zhR1VyeSN%~9#H41#K_qiHkc3MF*aIjE|+
zclX=LaIR1Al)lWgvS#QokAhZx*&w%eZZ7vhT11?_kJiB#xd9F#;Y`W-x?WXt+3_m3
zIK{SPF~^0CO8u-?f35o2OO>&ro{JSc%{V!G6YRHuhMFM4Z(4cYIumPP@}s0N!e3{*
zynGff7ssKB=xLDlnV@Xl*K^cfZ4PjkmztY(qlsHTIn}u?7(T}yv
zEZeXt!LiCfyrF%zzpIQ+TK!VOlcx2wrtKB8ryNbKCFU2`Ixu@IVk@9O(
zZv6`$s$Jcj+qOE*$YkHkv&&Pb;!d;LIf~(D(ZDK&Pmd5$?X-*DR{8i_Un-*{u
zn^{e!*_7V3Kr5wnL5k_QJf_!Vn@uY|`=xMS
z)(LbyQ_g#{w~1i$0n9PEGT*g`PDWQ5!KS!6yxn2)2F#gFmJ65yU-1Ud!-=mV0P{EB
zHx9n6Qx|hACuvfVmN5wkwqiJw8M1$o?bi&6#;w`3jkAKDxwMg|LzqA1WjFC?gwl5*
zoP&;w;8UMy@=VPaPp1GuuKJX^>5zn`9VVXF!u+;!I+^?ZF>~$7T&g{4nb-W=wpwtj
z5Hd1BZ~Nq$m(j+5f6RyPQlZj`Ho+_3q*crS8efl6UdrbhV3cSwBv=Gub#(_lm7A*A
zBu#x)okv@pQ(5jDEXigY(7jsvt6aZeiO5QUFjYCHiNwMWJ{h1`ekdf$Cd^8#x&K{9
zWx1TXM6Eql%*%X2u=7rz{Gi_yr%0`9mX|RhCg;5DcvslBrxr-gPsiY!^iEX$2LFw)
zVJV_x{&OPJ9mI*~eAWz0F0bUil?cNg69F&QRAH>yoiKNNZM6@Nuu6k85vs&i?cK#Y
zC2pvy)UO6guIAa^-;|CcOCdvSEagHp&V&c|ZR-;PBi^fi;?u&F<|9SNg!=U#o8sSO
z<2BNcZ>Lid6~Uj%1md_6$y-y2@d4cE*PgwEI*p)i^c_C-guAe0$O|29$z)24UbUzF
z{tN`bSD9=-B~&0jFQ4mG_PhAy(@m9ceAL_R*waoWHn`{<;~5E6@bjL^{i$*Ifo$lT
zXkv@6PYA8!NtC%=?QgXP=<__Sq8GBsci+BSXJ)2VRfc=$_YAAG^
z3dMvh^HkkxF?p}Q`Ps^46kT6az>H4#S%Hn^buwm|$>ioRSD`$6K09vhbf6Ezk{~GC
zULQYh^?GT7cRk4N(}0Z>(o@KmxPaYmcfkVo^CWWDxI~9$H0ybLdZ3^+Tzq-Sf>iKO
zi89VNxP)aFXsB~jr%y^p=-F(im;3Td@(qKbpUY}Lht%O;KgwC%M13O<((AK*8fM(6
zgnhT^11S{;?afV5LP;MOss4ooH}%r}HB7RZgAyKFOOBJf5qE`z}6F6|G@~H%7ULa7;y0J0;kfF$^VPW^VJrbCw
z8fH9BsKTR*e4aIpu;u_yK9Pz_C*ad4He&Ca0XIAtj{KFCA{F3PT;wf|ZPx~Q!8Fj>
zsxCjhKC|dkubwbpf0avje;IjPpw;2sH$GFdRH>r|gwnF*sLp6wVvSsxVgWJzubSan
zO$}`}y75>&7IiY_*9tb0>A>I3iMyGkkZCiLGz#S=FgoK|AVcJb0(xCf0i*&b7XTA5
z^jv;Y#9qtDV%Zr|gO~apLmwp5IdG<&tXGCpYAyyHzrry;6&sM#^b~J4|4=ew$Sa$r
z#+X(oG=x#?SVorUF2N(Q7pS+&0;uX@?-#UXw%pv
z=!{r^!=y=sKX5zumTNZ_rA|bs>brC#;S0B!DG|MKyuzF);V^MlU1sb=?{uq{j8I-N;Vcmyv9+4Z
zvdznqzb3?U6+Er#ANuj_F6}
z<46axgy+KSgVZx0O!Zg#l2N!1*rBOBz?A|nXSoqLG7x(T0V?@B`s
zm7ugdM%`x0Iw$Gi@LEmFB5$wYsra>HeUSL^7No+-^;K4Oo1t+-6!{M5y7vplrBGGou5IdU~VfF
z4qoA!)VAA-jZL(s5`&kko7U4dqrD7z;$peiiVYr?sTv?BDaB;RCDEVpkfp5BZu$sr
zW@m|`XyiP9o+n+9Ah!S=k?w1Bz#AN#DHfcV%@iyAm1$!SI{siWR%Ney=^h%cV@&QU
zw?tTwa?zZ6akel|Y$Ip$P7BV*JcOia)N&XXS1^m4-3$S5r^}CgNjWLV=Y;}%*tD^B
zFi|#q8Vsm)^M7}v<@gf{krdMx?1z%488Lvzb=kX7_haRv3m4Xk?=%X
zeUqd?4(`j*d?H!8e<)l(ep=qLt2$ef>FG5!gOuCzeZH`^NqJecrWfmWZk|+~UAO?Z
z>7mhjxZQVk@iXzA+Sbo?dNY(fFd#0$Ql&56j8W`{7g5x(pgjRk1dyzhyO<>jdw=iL
z+5fEH#PZpIDy4?5#Ay4Me5VhnX`%l2QDKg4c^cjxq43}->~>9*+P0XP(CBQ%mrwI5
z(Ukt4M_>ZlOoMye;g
zMPJ=ZY%YUHxZ-SGA971R#~@TC?2OLFMUt0qqG8c#WYi%9qimUvXFd;UqiXy3n@CU&
zKR=I12O}H2h*gbHJYBYBJR%h_m0M`6X3PWYX6E{M%;sOd)!g<;>==BP`tEH*T?Dq%
z()5&dwbVw?>6{p@?YCs-QRc*#I)=68A-H*%;G}zJbDeQ?fw#FCo!M%t6u%V*28KCe
zj!&Ij^66TuRLKeEO4-@Sw9Im6rvvjl4n^V1S5tV!1zeY0}KRl(}id*(y|C=d-
zI*gw%{D#0P2PHu5o-Lh@6wo6#6sv}eS%fQC44D7K=|_<42?=Wn@8NTdP|t?^xbOz9
z!oW|x&#Rz^IpxewshQPb3)as?Hy*5%>nPu71(fPE*AfnI)0#mxF)^-Sq1h{dW9
zpzGw-ath{2?W_mtm1j+cKC^sqhUtT?o?$VC16~Q3Xz#XR*3+AGT{d(O$sz=vjeuuh
z@?fQ;w3Hg2PbAdE>?3n^Vngq{1c!>!HoJp8`m1}LiuyU;_Kk476B9BuoeP-~kM9k(
zh&H9qORgaxwDOJOt;0?atu5qKvKBg3%Q_m%^in}Sjej^7qW#`BTVsfP)_cU5K5i(O
zn4m(zYv!ou&u--I{h)cRlM>8jWMrOLNlP1Qm}Svgbxbz+(@z`0z<5{SioU*Y>El-Y
zGqE7yMOrQ6fl2%@+<}>&Y4Idn(DGq8vk|;T+Q~D(m2XCKW7CuKIwVnf&@A;E^FF#MCi?96Xh4IX~t{OrhAK8>`1Y
z`1LQl_T=Y7@GB{#_qe5QTi<0^?jZnr)k8*24p_ualqL931($;0l2hzwrdPS_KO-Pn
z>yuy7X1!fsA71J?NG<{4$^V#|`m(D9%ovpmRq|`2=btcSXX8@WD(lUih*XqUama#X
z4|{&5_p1kWf)x_A{N(GL7u2z0NGYVA+RHR=9JXhyXWZN9(Hdu3o3Iuad7-ursZqZ%
zBp#xJ|C1w-AB*kzBK6`Su9dyy6{mZD%b)EFo6(y9fh3W)8|@xvq3ZI!7VggH91)Nk
z=^D)Dt0Q~_>Z0@d^jVUa{>5u-_H+OVu>cn<}fPY^eJ9x0fy%Gq1`ZWwkHd$n;(y}+i)Nz
z=%mhUI(;=?@({*$>?
zhuQ?fC|1==X(cGoMk}-7GW{?OfRvU>ZhKcQ$WRsUtI}!Aqru>Fp@J0VaktO4)CKaG
z{n9XP(rWWX%7Enm!WguQ*EoqXv`x-}w8cKA^3$2y^eZ~3$79JzbxA$b8wYVG7;f3(
zhk>B(zD_`w<$-s+-jmB_N~y(!-Put)kT(=dPB92}nRlF?lHY76&+%Hkt=!eEJUo0Y
zgAsL~#r~*_i
zP-@^&w~Q`*)Sz2jz8(uL&i@M0sur_NEiv#87BgB1nwtYgFdZfMQ)v`T;g-f
z?wH|c+S9kT)_I5AE?pbC1)uq#dh)AvplLH0|7z8qZW}(G?UiU3&s6qlWg1_cE8+;nSyGoNTiz@}5{B*;OZ7K-D=6;fZm+6?f-QA$bbnQb7cK&T=h(X|DZ>GS7ND
zl@d0J8{LZhQ<>deL&IY}k|}s|`zN52s?Vn3VzsB2UyjIg6Ej6KLwvG+q`^;|A95^6
z?yaJ~fr&2)6CJtiuO+dlX(B$yC_9U|*$<3Lw@8HY_M++zFL6Tzd_OoXRyQA3{P59*
zDhb>w>|M*XCg-HHTUpUs?_SeGtKmHR7Mhe~{%r8&TO+7d7=ZRJyn;6PR8{NeCFK)9;OX_4%RxN>{ExdkxSF}nd^x>}VE}N#9
z1sr4_?phq`S|kIu#-HG&a>=);7KZ2_tR#zQ;
z%a|=tY6H&6&rXziSQD2IR_T4{@Y^_~_p-hA_PGx(+ah|<7BO7qS2ntTgR3oR%iCP~
zyB8~Oq*T@v{0u6uItau*wRt-(Y{5ucv^`fpw8`Axo?&)Vzc7ebasBgQd1u+Ssc834
zg!WcWj==4*f-Dh9G`Z+0oTL1u4bqE@2;^6gr7+`Rup-Q%H|Tk<+iWx_{aQXpvm?pe
zyZZ8->kr+vlSDT8B6B{UXCqB~!!=D=rb|MiOG
zt?v`d({E@J!oM*v(ZJto9k+`-8|+3Vo~XwRJhR6aarVPGTq*pBfi_CSxVX5elp(@2
z%2*T+PV+ai!BT({WI*SNxg#Xze}(JxeddXK3`lH3bIXg9Tgm6smSg4Bo7@Es#mzWzz%D+3wyvoYa$bv%VvZhL;3u2=4s9jQ;%pNrRn8^vlU2)qlk|n$XzT_(L&Y^~s9r)RVEtpk1`4
zB=DO(4F%_#moMA-#x$9q*Xrya96*#Ag;r(%MQWG+xt1{j7x6gBU9?NO-#>b@5Q~0k
z!pC&&>F)mgu?vZdcisAV;|W4}3vO#&*r`KXKn3T29_N|R_t!poeziKbSau?hEq^b5
zsr{p_u09?Z9Uee=S_}|vcfSo;(EVcK*{Fuib9yHKM1C2mdTH*rGxSYwh$
z|E!-84d(2f2Pk?B21k=Ho3wI~QO9umik4WXQG7%EScsMq+wo22=}I*Gsm|Oa7}EZ4
zVb!~b5-W^Fbf&YxR=>ym(Fg2>#YJmCmW7*I=f59mlGR#{4w1d0R9}7!#zot)rzCn&
zg#Q0h^5*}B{Ludu5(gNz9Zi0JeXu*YZMpXCkohybE5qm|LXGK$#M*NxOc~T78J_H
z813JtX52ScEir+^Or{rH{{f;6Y3$_iy^5rd03hy~7C8fJdIJ*9q|
zkM1^2PsmL8=xyZ_P7eDVD(}mn_E`r+MDz1taJ)I;(DYgAl=eBPg8OYQql*q$;ft``
z+~ECUzT>0Qu(Q$dtO2QR0@2k}jeWz%4W%S&xb9lMISygdg|T}eKs+}k(l?y+bWJCq
zy$1I{3x#`ZCErFv*fc1q1-VmWKc*my?XIVW%xQ61&QJW$uzW{b*ewlJ{bdFIE9X+x
zI+x?9w0?LvF+5};49uu;7z%4U&RvVDf`~DHH_(q)d?2@%^#=qr3#=zA(`Gzo
zRFFo;sorl#2N}l|?|HbU7&n(4XgmM5k@WT|d+oNnet^w+ytMBW?Btd=HVK5-R%`!fq0c=^H#3aowZ_VBaknvCJn#|`|KMpW*aF!r*
zX=#7TMc{#fw@wd>g+I#e@CYo7sZRBGKV*?y8=s+3=!&~5h86`BDdD=XAHqv*^+Iwh
zV?G+y8eA)X-E==S?|9EC{-P5B0ady7N?X5l8`<%bJY6SSewEl1UEOV)ulmS)a!ax-
zekld8V3{96S{)Iao5^E4bpzN%@ol2++Zy3(Dr5?55sMz!NvXOs;*{8j90eKas^!XZJtxwVP3>TViCzN_POSWlDr%j-S1e3cx5?afXDjgRbP7;RL_DFwj2@T68Ih
zI#PZ7mUZ)JTGS(N`@v)@b)&+D!!;F|Nn1bq%S!4fsbD<`?P7P^Y_ohyHKB2nU6XP}
z8ruDBwl%V1*h)Ul2&S>Jg!g5|f7@E=hp7IhGmPdX{nuGQ?n9scuAlJiQ;&Y6_-v~~
zA3>8sOy>xrWe1=CPg^uTfHX=lMpG{uoq(=6b@xi
zGfJK-3B7yqOgH$fC1JYJg-;)2`-J*pd`_R^N1gU%p4IixF2zmc&@PYT`5xmKi`iVR
z-B{M6u^u&TNEtF4i&jj3aK<)dQ-{nr?FpD3D$x33$1K!JrVb7c?Ck8aDIM_s&2su5
zsV@ItaCUZz(cL48Hrk#F3KBczP0);rEa8|^m%;XFd_KeP{I_`7l`x(rEz$)@&?(6TgZ9?
z>x83()ouobX&nEa-iJH`4uTENHaZ1mdhoO^!=PD~I?~c|=dDVKZw^S$dR}lmI_eKO
zc#2ef?Yk1F0+L_@@(tikOVwVw8!I>@G;?JBB8EEZHm9P@&tYWw)qWH--u8kd)NQ8a
zux%K&g3~FpwV2sl@A(qB=_BSL$XLp+lQ}s5^P*h3*OkK2(_ngiZocD?`mo5-qG71T
z;y%OeVoE#R&_~<@YF@t6PJT`0W8ED~xqcmm{Lh~bJ~!glbj@<><@R2E}&$Mo1wcXD49FL
zbPAL@=d|O_;c|S8Wa58Z*Ju_P=nd-X6haxMuY7%KKkk0cui94>0lr^&7A5dvcbmtx
zB}PZf?Y#yWImOaH7r&vvj~!5fZatbuT(l@!wEE(HfNs%0A#YuBu3&boj?c5srkkyU
zn(Kj^Y(rWmY-Kjz+&huYRvb|=yb6`A5B~#sc*tbX4mb~X6Y)T=qkccK@f-WeipJ)C
z!8u`vmWeg%&tmnEw|W0WkN5x5a2VHs$J3v`9KZAs;A~lyu;I~V(c>rv7<{$(*V)si
zL91uZ9B_{HRPh`IOj=-2aYJN&+8^kfFL?bnx@)SE%Od6aJ3qQ|6q3d&WWoNbxX&=d
z*0YW7k&zwZ4F~dEc~c$^Pxp~#EbB~lyP+muqr{#0o7Vb{;Wp!n%!9cnLoo=s`t6JG
zy=^--q3ex1EVtwmnf<>hJbVn!yX_a$$9$1E21oI01`#;hqAN{{W1vi&HWUu*`!2Pe
z^-7O?U9o{cvTeXU?B)4mT0fdU{XhPxpY~nmn`uGTOSzxS&ZuIOPZx`;tf|Myzk9M@
zHkteUV(RR<(B_0HRfocI-sM~(0uMeN!1=zX{+lBwF|k45Z`)1Bv7~WpwD{5IQ!lT`
zExxb
zc^Lq2Nwc8YF04Sj_?B)bH`LW+46All+gY6;{C961tvGcQa~5I-<{sG7T^^sSH`fENis{kCu>hV{lzJf)
zSUClKA+(}N{7UYHYv-fkJpc1+&(z+D&;ZnVnJ7w|?63RuXlFlkv3NgUl{wVa)rF3e
zX6g<8Qnyf!T0TUP;plg!-QZf<@}A#y=PhRra1HC4&o#dm}#&&hd$?#_-$H?6F5Uful>hIQh`9@t
zBBvQ?t*v3!=MUMD3FEM-DWO(aJ@S*-WCo#Q=Nq{rlVy+wZ)VA|u|^_|iXBj0l~
z^x36276Ys8!|lfE2pfP>3%P_U=C^~3odIh93%AQ~rwglmzDZY@6FU~7yS0$(FLHL=
zgL(Y+;urG2tGW#f9hpgYrI^%WV{NV
zz4!$s>#DSEU{1U9EdcLhfM|OHe;`i4=$lDh`bBslCRX>pl!-a~dWtv6G#lhFzB%2~T{)s$y6xbv_2>p{D2@o3P+qcq&*|8bF756W
zx`iC?WCumw&UL*}g>bL$Rjy`Kl|PhEFlsKWq9&i-EebgqY>dzYG8hVl3JD8Kf*<^r
zms4HF<)+d(fa3v#0lSSk@78K!UJbw`bhnH$kk7D(If3Y<)D?6
zELlP3!??4&1P;gFfwH20c)L1m&mNG{X}ww9TG2FF-&2JX5+!d{9~C2u3WrXTlG^k%
z*YBPGH1MXJ8=s;mdZu%FEGqiiqox|W>-RD_5<0I~L>}iIZl7dxi*flXJx9txed2fX9&-`@l(4WTDP6^DQZPc96
zZ0B}X_S$K(8;f&w=O)VU+zy)2-IVpH1%dE5+-yG_oL34i+0ws5HaSC>zw-3!BAC;
zorZ6Z2sr*63z*#gDmWD{SKnHlSLt$(7kxf#5?8ynL_XZ>yE1i}bLP9TsTEa=IIo#6
zPi%UaFHyL=F}ebUjDDkD)J3FsI18PpJZYzxIn<5WDXzDsou_BhYSw3QXowzyld>mf
zoF43+y8J?b+48*Uybhtt3TpWS>AH$c4KPux!;ko%_@E*NbF-`4yyhJs&fd-M0FUTW
zUK(q0pN*7Grg1uQ$*iH?yHHuL
zvq9qY6KJ@orfP(jc5h38RrBObWI)prJIgt$XI;NtJdc$4pel;?H9K2n>#12!(RVn-
zP$ps|;dRJ{+R~rSWFnU
z?;`}AdCi!ab!unugM>I^7M*(pQF&C(rel^qyQpYo;gGr;mr*w~GDVf{93{cYeyIM@
z#I%csJ(x(e-m{g49jgPAU_whNH7@j$O>jm~af-Otp6VWKqZ3X>L#_)_YZ8fQmo^ed
zkKB=73+@^^u+P$>x1=y0?I@@Qn51mzP`PloLQ`%K<$3tMf55vt`NdCdu9yKeRyL4t
zz4D_oTVFv#-!t0?t*TC$rI?i6z(}vG)eQ#OKxn|A8aOk@S|+7_r(I51<|?29=76YI
zPcpXK9mU4?mf}bC`B@l(6e^k(X?=P$%uWP5JtXQ7we5Q^hinX
zzS|E{eRqtKKDsT+3*9RG0!0eGI{HaZTQVwl-vK*Gpl`)^NG;Tt9Ii)S7xYwCijvE1
zVxO1z9xWpXJuc@`0GTfqm9^RZ(G91qDc4U7QT8YCe%JC$6bU8v_S_nt7`#fnPne8e
zCvrI$0A1x}Btko2Vx;}HOglaV#Dz`seT&4_%xA5XLo?0CMy=~1KmGECADtKRd#9`{
zX;y4(O?veRx+Ds-8+6NpPY>^ltSPaR>@v%u4?ZAOndPb*VtCH=!JiZL1J?xS3q?ct
z_Pb)yE%=>PcL|MjroMQ^D5EEf;>YN9&dc`%}U=W)yO=L)YkP|H^7>;!-%dc
zH02;y2}wmFZ-NCSL8lDZGo>=&)0x_8uopL6kYM&{u6WxGQepI%&D+h{R65dSImTBY
zZI_&W5bqN!0skSkw3uI5ulC#ecQrJkX_=tOor0SIA2>)KGWpuz561=X9RPhL_@5|@
zag%*emGSo@p~;n*HgmfFi;acm?m&JRQb>Atd8xhV!uLP<}b6?BGUCv^6f}r!3oO_S!
zVV%lLNP=We77@+8kx}i-e(URIMCQ!w(Awk@4x3KJxen*50AEp0Zmif`r%ex~^-b08
zm3+Cqp=J|dFSXb$xqcXz7RL&c0^$TuF+SDCK)}Kt4Bl8_nD+PQFM&tBmdQ0Ew
z!7beIQpYxnA0*>CReKU^kgG~D;MrAbteXwjR>~zjFPvriAF
z_x5yj&6T=;b6U7`oU5
zDn7S)yE@fA&5v*4|E+#y+Adv}|64*e(lM!ECjhPM_!d#6q7X;ISl-Y07-N(h9f={^{H{Mhx~q2wlxA>-@C>Y+@s>{Ue4t!Flh
z@bxeYV~^N3)0pvtLI3h1H!CxZ^16z(J06Z{FNbxHbMY5WPjdZCOyRQ+MjfQh%s@tF
zb3Y#D9XX&xts$H7`Ly*&bkjQIx@gTxX+pBnRsd_GcELlJlR=vvmn?m_T?oeP$N8At
z)=O{(5zUKr6zZwYQ{keiYDXizEHRi6+FT&RIWlJCAY`ckYF042MLzc0D+1~*+Gz)(
zK?PD$j2iL|?afXzdz>S)r(aBflKn>t5cZiH9xnlFgUg3%b_86pmJg1(pR0bg*TYeR
zq9{B6nNH)Zx5d6>-;P-b!sT6eh|K
zZa;a%RPKz~_j~eH)#$zQ=A+)8IG$XBY8LzH56cni5j&LLNSho#^
zRdhDCqPQ;9uX_ZR@x{nxJ{)B)>xbMq84V7!R54MPmC!Ma6);KZjz<|d?+#0x2kdz(
zRM$xz1m19|^egIeb(ubOEa%{|ZfzJFq&OA$Cg@`21j3rX_vU@v5U9H`F+?&RyBcvM~w@)qPJIZwoHshL^<
zt}`ER_^cEstdlb$?}}X^%*m;sJKpSGmz~w9CABr_b8U}gU_Tj&@_HhfXCrdFn858j
zj8BV2q9fc1?H(Vd6c@DTR>UlWR|3+LY(!#LwzhaNY5e6^ArrC=-s6z(EFOQ@+#1a6
zQ;95f{IN}X_f+R@CQ~;%_b3~aPQq%nwL@@?YHo&B<
zX|?b%iWyrwDA7>?cej82w)hv}C~^X2WH#L6#IArIAJlM=DM94cKg?e!Di;zy6Dw1T
zJQA5?RF~Y{?k&?%k}xQynmL4eQzPgT#+KM(>(=|?L3AuShrOxEGgSkeHe$1@pO`<^
zp`uoR*agrltLDw;RndkM<-U(t&$^S`NH37r4?DFYh;2__-}WHHI-#Vtj)JMc0m&?F
z=k>1i8N5JUz{K8*YL_H{mV4)W-9dl^_t%N~mD&F0oN0A!K?Z#i_nChDtLt3Z#VqVX
z%50X>`I+{^uF@hxXG-rxF-VxFUsTb-#yGou$GObH6>is_R3QjBeM8o%+XvC&RJo2Y
zHtlC);1colC#_-eMx>=@3^V9Ne!$O=R;V>!j`Vuz0W|y)8W
z_IeyHbEd29eZ>q?*kJPdWrjX`mFs($SD7Y45lGszU6=GT({#h0!bP}`faTCfIw@|h
z5t}X=W&oVE`7^8;yVtV=zgF9?%efF`K}Crqv&SN_PTr4hyZS4oV2%&mL_e?099J(d
zwaR1LT8+Jo1=F%cpg~A`iaugE5;KP)1X$Gi>;LUFR-&BmblSm6a>YI@EQ
zCL4_*x}}C%t)0?~=g1F<4xb^Y#91a*(cup%6f3Fg5rgg
zwkheAF(a&8Wke9(5>lc{)15%c>F*-)<%YOpWXqY*olXO!kk%L5BX|DglcPmspGWYq9`dF9Wz7q|vJs#Bc
zXIZ&%uqn7%#D5B-vphcevXDsDNYATP{pq>jO(BdY=zGs0*ZBs+7ifC+s^>hA4rDrAoNB4`9%VK4E{Ijm)la(A|Klz5li
zNp5zZw92x($o83MdTR*GLPH-rK@f*3o+)v4(o>1*Bk)5nCx5+7H5ocWU)Z&0)ZTs;
z@NHPzG?s5;oF7(UBBd?s!Zum*-k)nE?_fy!8?D_&L9SkZp#$3$8r~HWqq%k0;;XP}>v`!5ld^Q!!3t?O
z3yAnewV?Ww_rGX3H-73$AC+-yvjo8#npLqnJ*iisjoHgjgH!fiC)HTUpw|{WN1p0s
z$y45;rXY(i^+MDdun=@2PT%EUORzn=h7I3DjuxI&o42Nz$ixlW88(w*ksINiQVjBI
z%pAO%$Mc1Bj=eg(Q~DK*?lLd;wjXAw(tq0jXqTlubAn(n<5^1^P@Bu;Fv659AKq$<
zAiZ$_=HCN*?@z=?7VQ%xn;S)CnYs+X_gK9>jNgAN29}A3_qAS3uq37kdxkwj>)HsP
zOSyeD6Ql@Cx
zBZzlgMNf7i^>vU$8^XOUR3*cI>TqY+F8wV!*uc5Jssdl?{G|IT7JceOShp{&N%GWt
zLlz#8J89#&fj|j6sD(OWvOQb|PJK00qN|OQn9=K>%P52Fo4YR*g-#
z>DFC0_o=^aqUohl^`wi)_p*oj%{ZLdhHn5Xqu248Bvx~eWd
z&difO8YAidiE;leBu-ecUWY0t_#WA!Ih=-y%;+^6hX837Epx)1S;W);Zc=?oWImIA
zvIf_P>$S(&X?2b3a1RnB7mG=JDl)|;kD^*t-9TBDi^
zY+e~3UwIhwv0jCbCi;kb`|NTl(i`Ll}Ejm#N~
z1*Xj>tX)9o>lLbKXg*U-L6={8&*GIH4uMIKTlvn6$H~MgiEbxX{#(jccZSDWmdBC>pq(L2*wT9R|wF-AA-uU
zXcRUbCcfu1npn~^#9G?g2QHpgj?|rBrGpkU_EhD{Z_v#ZlR!iZ-gF@%HD+32vpu`?Y7XH$?5kaaj+WlsX_cSWK%3R!no`(!~~Z=~^x
z3fa|oCm^3Y2d*hQ%k;;sfXF5NnF3zbZv6bvfrMW5+NiZe&;Lwk0-p{a#qk{#X{rn-
z2{B9LD0<7E4bB^B`s=KL-+lR7e;7+8Bd`S23+wQvP;b-3LfTPSU!F41Z?^IOfh|Mt#oW@HUw!lTU;Jv?jjJNf4v`=z~Jv%@K(wBgPG0
z5)Ry4Q}n|J+XxeWSfiqx2=5tA&*5^bejU840hh?f^TwU7>hW;>0&kFWs;4+Vw{e;N
zYH)UC&2hrb-+~)DcCERwsUlq9(fOnIZj4l(o(jrn2MEt|owUO(YKP2cTcdT44x0Vf
zYsScNJWn-e%#$D~2x#G<_6PSg!Xw^4q?$hes!i3=
zW57i)>1tV?0X!DS71AO(Wm@(n3Bwg
zd;R8xMmP157mr~1qeS-I&fdLT+tJ$oyB9eP#fXRDcOo-u9{W9|$G2a*ESI;le{^sG
zCBUmqr!d7$^S?FU34~e`lag3*4PUT33ipN$*$Lt5OKd*jC3`wG21
zJ>Iila#ZrT-}fLmhgCVODi^~Mr+o4bMpv4X^V#f^{BGr-$H*hm^ZXf(6N9m%Q_*Bn
z67Fkp=BvybyMz#=vIY$R%hR)rk}mM2eY5i`%H+t*Vg}64#xY?T|LFau0g;WMyK7Z8
ztDCcDme17Kw2p5DR5sv@H5V!mR5zw61=Y}MW|2)2
zOZR+xZcJGSyWE$wYbVysms}+#VKgu+E#G=PVfNulXXcNPoNwIfPa{EB0mKM}Q*oL>
za}~DE(;(^Hj6~ZjhT(c_L!R{k=S-Nv=jE;G#uxcLB_*W>?kD$t
zj>QJK_l~;^Nwi6wnqBVG1;+9P#`1A_gKspy1;$Ft_oO^-bdFatxTo$N=Sod=?0WqK
z*e5wer+?Y{18d`Q&58^)ATJ{X889xVym7^@RQ_p%Ua<}4V0?U>o}T^>R&`}%vD!=A
z$9#AuJ9efb9nh0!`FGQ5;zP>JMe+(BK71H2>M18N4*4dPp;hP%WNaK9Zf|{|dW&Q8
z|JHN;S7?lXV|BQU5nf-(moHzIm8J%iooO@rb2ah-KV^Dq>Xl%)9IuN4ekGV;mtrXc%^mM^~6`
zg>}u}zMFP^`!*kDeXPCtKrek^yeuNclT}#FEtAM|Ij>*B1DBk9z^j9QqaqqQEjQAQ
zwNbQpIwkJ=n!!&HIJ!);btlNoil31nj+?YI#Ih&v4)DCsIe;FmAaO8Wmrm%&ijY+S
zhn#j2$E<Xp!KBhyjpPg)UxW780WDDNzD)sBFTjtsNz&>&}ll=9XR_?jm
zj7M88rAqR!Q%`#!fV*O?BucVA&P;O&+1hej+kYdk?JTqL)NOStBxcgZM$|lDe}o8_
zu9zNx!qD<#H5m;PUn|!C)g8f>AC#(vz^D`*^)7cU!r@07pYJC$Di!njvT{B_j}uHf
z$8f{?7Bu;(ztO6woFbD
z^Fo=d4D^a_UfO-6U&A18!-!dJp#w+VEl^;m9?CKP!%vyJL|yk+Mo2If{V+Loxt=B?
ztL`)dlc91d+aia}s8dVyJh3Pxt2noLPt8elL-)8$Z$p)+16X5u_`{0cympi(O;4p~
zlhlnPCY=QRH(Cu4o28x7Msu7p{&npVFdK9Bq&o~-&T_TwY;GgO70#2p>z12FJN8)`
zQPL&F_0NPM4Zo~6)LaOAh}iFL_cJ{1NVR31zR9t$zB%P2P2uf2#4SF)P*-bUv*pmF
zzU20Sm9A)NZ*C3J(Vfkdvja-hmDOxtKDb>}HSX(vv;zwHviGJM{c57si0intEd}ekq!lX?zFBXl*C2yB*$~b;)kVDo
zlfoe-{uWI2gO*^_i)ZU>KO-Z`C!Ns9_QkAx8%-_2zVL|Z`ez)A9DV?G@C<$N06zB|
z`kt^5!Y0pw)U7t#7693%PUu+j_}}nY+O3H#rJs|zYOm%ja%QgQlf_p%EX`@;ejE=T2+P0+Kv1xhQ4yV#_%(L98c=C$gJh>yjA&N0?R???JSx;8~
z*hW%0t^Tr>hMQa=7>O&lM;^^D4CrS`yM|5-FOP2vX<3SFKev|QRcP!=(ZB&5LP`I4
z-Y2Wx2uAEDi1>z!oC=uO)WS-}W*$9WTyB3S3~FL#!o;;X4#ULg7}ecg5f^O}OgP0^
z&jvYMNr=w0Ztp-$GdMbCLUc9oc@_2!u4}}>#~g=L(el*y+)$feZbpggaAL?2iy<0I
zRx^$|u5Op98`7_=_pT94xH>vyGqZ=(84R4in;G`CJc}uG-^X_5f*RSZWLx~1;68@J$*0J(ep5&ea>lL!a({p
z=TauSYh^=;JP_^3)m~^APB+K4X10h@hD?G~z-2{?F7m6__=rD)bocdBwo6uBDdrFN*AY2wgOeb77DYjrmIw2(EV!QHxHCib+${GG$=!PlCo
zhD^6@wI~4(`KjBySCXvw7ZdAoUKxmXL=zr+H_ou!@g3wO&K4DxLRB
zK|yvRI$HBxIn8(qfGnwl|77Y*f_#?FGOpAZL|S^f&kTx!HAF?qW_u?;31Hfv*mU0*z2*oG2o004
zVZ$uJC`e=Tp+lbU>5>GW8E0alN~6McJI^
z-EKIraoC+AA}A>M@S%9B9~(>cAwS8bU(KIHRubtJEiUu^c}nHrAQX4Cd>-0q_Qu
zQD!y+%)P7$yWe>O%dBuhLJS|U4JM+1Ge|Mn4PBqSJHFN9^Uf~9DM$fHKD07Y`x%t4
zP}#d>lmJ)c4WZm`eS0L=WB5L
z*!Lh_3}5$aVTUmoa$wtH;urHnA~MBv)Orfg*FHtxsNSaLt6U#m^Jl{8@6=jgPzD3`
zv$d_CE&NrqDt1a;L7NckR**XscAqCOf39Ls&xk^R^rF5sRTKAg#vaUV<{+P%Dxdqt
zfYH{ky!%|g;-cRZHL5CI;L+lN+=8QVRfQ5*xE}rKz_jzWToZ$W+maNvpZAq9hSv_m
zLH7LF5$5I0z_Y<3;(bw}`SnX1mF!?i5`g=Bk}HC6M}iHovISxVOuyd_0gDbKdnub3
zcF}NZOxbOhq<%T03&|A}6SX{-ZpJBppH?!T56)Rf>NJzdbPbyXu^KNs8#QTP=ZG
zX)o|U-fH+YPTb#rP{;ds5od_=wes?EoRr5)eMd&dTBB?7S32l58~1lsH+B^X0lUBJ
z`@{`V4g4i)^KW`Ptjd-mPJN3NV+4IcW}x(9J+jr|BAQzO9a3p(h*HO2!$a}S7-F2A
zaC~6xPxZC}Z;gWEM-d=J`dG>SC0U{s#%iKHkX|Xx5vcU$6H|@S>~X#U1L>gq*I<)Q
zMX#gE1NpTuwu87FDbihBfXHXcmiT#}7Sx$tlNSr;Zy#Rc6=MiqzQdxI;8LN+m0h`%
zdB<=>h()xFKSvcuj6Dh9d4aCDJUT0;7)2&YUEy_hUY%?(;XB4jecQ5}12H~@am_%u
zJR;1YDgEFJ)g2(4F?P?lNuvUZWXIHj@6o!sH4VS)`ORUkc495`;ugFQ@{udW%t*3v
zlN!D{&bGTE8}XABR~z4GhiW{?vPj$8fb7#`7{7vOjPf(E19juoLu`(9a}l3sgsZAI
zvU&|(SdBj^Oju2G5Y@9rz|gsjJ=zzTLCA%{U6rUSeLV~AMbE2LSHSbp-1AJjc0x3P
zGXjg5D5kczJQab>->B+}JTRfKoYWmT5Dzg~vV89LN^;Fzi#R)wQeN^a=O4|SoP4Z5S`+5x=hh85R_bNLsRN%wh7
z7=-sHFkQNuap0@T?q6*{#!h^rM}*Wb#`0~gyxy7ZF2kal+fJbu=GmhQn;Yh+npiQ(
zy7aVuRg<@G!m2I5yfo%VXOtF*_DAD(`oZGv!}>y{=_h>b4R30sQ$nBlHdQ)G{Q8z(
z?l4NDdp@T!dd(uXB*-NMvwLwtjQDfifpR>Zqn*dF00^2z=8a+uERH~UUCfy!y
z1`9vzFql5NZB`$ApJt6Z{T7Y|J#bEI8VT(b=UcU&()rC63wL3+>2V7miF6^inzG%m
z3oT2=bH!D$4jqcJb`{d09okvBim5#1lF&_I6=h37n>41SxceKF4hxGe3^C+)@Apo{
zo~jJ&R&MM)on9$MMXtL{U)2>pU;aT`l((r^4p;@Lx%D^I6nm^k58(_EF-46=W?N!%
ziZk2kzd}3j;G|C|F<@K^9H`*i1dG-^Z*Op!&aT~1|M9`xp>+H{$4*q+!u!_GpBQL<
zDU6?N=0h$;&o8QuW;I1zJ-t5s^``G@Hjzg2@hWkvljXz+Vz%j6^mfkp(F0x5sOK@0
znRV}@l&=+HkMoH|JdPDYfbt4hBbky|TJtQU8-darNtV-N#^$2vOj)K?d#S*2pY(0;qCDb0|y~`n%(b8idw^W%m6cVA8TJ
z{i^Nulnw`H@;kx1$cziQBL7!4g!g{7aKy>Gc@k~Ug(oG^kde{%iBm*Rp5FJzTYM*;
z;?P67$Nfj*kG3=*asB
z{wiBW>|+++ZV=9U!GWLQU8-pYWwLo=S2~XUpV|@IR-3%A!nmyjz!)~QrjMzMVqg54
zOoX9=NCzEg0%+;qxgcmM7V=9dNj*y+8<~W4FYeTxq?JC(jI$r0XaFut$)@747%H?I
zFbjvGsUz-U4TY@1lDahBC~nMh5H-c-E#dp1s?eAF%b$|AzxG17%4c0uKJez3@tQ=3
zkPbL_UC0SMm)!8oYOIiVt<{7ayW+Y6W@|Z-U^09(;F6LM#Yo1pjV+_RdI>2K!t3?e
zwM)X4J&APHELz|xlW1#HS!7ozvtArUZkc*K$lN`6kmbNdm{tp3`!Q6Eb*W3G{d_HxizDOq`pkT&e7iO{lP5
z+Xrrio^iKP^!{DeUP1hat^dx~6n^%`BfF+wZxoi3kU2DYKsX2Y22;-MKWGXba_&x|
z<730-L~!OCUY{`_yq=S5r_`^_fuz>L1k79IloW|_PH~Vei!&W~fLX79pca_N)!Qm1^VJns8&9`kYG(&v$&KxG{u
z5X7A#Z%+I_S1$YyA_jjZoh`-c>nC4(6{vYE#}cbi+P^~u#K6s6p@%yYen^v}V2<41
z9|i#*e&cqTrcR-aJLucIXY>1t*b4qXY_FDX>tk9Oq9SPHDK|3yWU>N{25?7)f~8Wy
zT|EH)o1bZcaCYj$!wBB!!10itO{H_(yM2zD0MkHB(%N`CERz6E4WI2wRr2OFpZ-=I
zEfgj8_@WZ53TR)4_c?4I;ni!J?`2sy20vf&i`(5#NfZu0!X*;$`kaB6i!IR6ZqVtS
zWr|zwYtXHc-=>>Pm?^=1ox1fe;$YiUWOqM?;WxH}`q94^AM#(uqJ12KfzF5Z~rEs$>)vHfpL^2E{&v;X>&|RIqAwq)Vae(0;-U07df;64x
zd(!*(fY=|7+=l;AVm)BjYg|Cys>vvq55;{7>lv{G(Y(%?Gd+<
z)r639muPmbeA`CPvmrfN=+L6HKC_V5jBIYji_%76zbBl-wB#F)s1|6w+Cao?C!+J)
zSHNp4$}tOfAdkQa2(2{5nWx-C6J~vEV?)DUQr~?vr&v4-#vONmlQTJ
z=Y5~2b~$Zrm7*9^R<*M@9;SzJ5#{|3f@qtuk5!=jyy*(n!Zv7ymI6*n4-0?nKC%(D
z{aLw+!N=}~YdoPEJ`ShW%xbN!koXtI{WlZvfAfJ*N|X-<c3F)bUe?
zv1nL?xqvanH0AHo&_&5C8oRbHwWR?QIbf1_@2s0u1Crh|4G&i`S8-XW^oMI%{HQ`c
z`{i1J<^CtgZo<(E6q%{TQ3nXClV{=dvhQt&7tt$ld?&AsWZGV%iV!
zT9N>0h9Jm!gI!Mrx=3_A8Mf_>Iz8)6
zDYvXW2&sl*ZElI2b)PJBO%nZlV(!=;RH(Y3JwXpltHpTg==`ubnZjJ6t445HSb%dT
zh3PFYMCxSudAvQMBJzr~=;7AHl{Qc#M}5hUFn((5bM=Z35w$5iRf|&KynfcLo51B%
zX*@rBy||tVP36qL9;kBKxZ73Fjygmo%kEsLHXj~wK%T|#*f}&=&_0!Kv{pU#bnz?`
zTI>1L&h_QDgqmmT>*xBMYwP=*Hm~HjY|&1;QnR2L6jw{$)Ys`BcoE{n2_ix97K}{{
zLtaJ`nw!d^1p~5yr;NKVPdZ+^=q+LO6>sW=Wn8DeUaUz3Ed&+t6^=SQDPLH-bYX2w
z-1^sgRySB9uab}D51N-u9(IJQmoFaEn&n8j`GMrtrjtxe@U7ot6Icht)Azm1M#Vj4
zyYzeGwPri?9wpcAt(n3v=`pc?aHc1B!qTdQke=+53;TbS`_BCxASYfQN3-u|8SGc<
z#}_G(^pnAai=t+>=)Y*E^#6o$aliWY$3L&|_+Q{5xV*vN=!)|9Qni1A`23cj|7;Kp
pmJSaOizOW{&H?6h1!w=_ 3
+ "sessions": [{"weeks": [1,2,3], "day": 0, "start": 1, "end": 2, "location": "仙II-101"}],
+ "credit": 2,
+ "hours": 32
+ },
+ {
+ "name": "Course B",
+ "code": "1002",
+ "teacher": "Teacher B",
+ "location_text": "周二 9-10 (仙II-102)",
+ "schedule_bitmaps": ["0", "786432", "786432", "786432"], # Week 1-3, Day 2 Node 9-10. Bits: 13+8=21, 13+9=22. 2^21 | 2^22.
+ "sessions": [{"weeks": [1,2,3], "day": 1, "start": 9, "end": 10, "location": "仙II-102"}],
+ "credit": 2,
+ "hours": 32
+ }
+ ]
+
+ # Bits calculation for Course B:
+ # Day 2 is index 1.
+ # Node 9 is index 8. 1*13 + 8 = 21.
+ # Node 10 is index 9. 1*13 + 9 = 22.
+ # 2^21 = 2097152
+ # 2^22 = 4194304
+ # Sum = 6291456
+ # Wait, my mock above "786432" seems wrong calculation.
+ # Let's use JS to calculate in runtime or just rely on sessions if solver uses sessions.
+ # Solver uses sessions for stats, but uses bitmaps for conflict/ranking.
+ # I should provide correct bitmaps.
+ # 2^21 + 2^22 = 6291456.
+
+ mock_courses[1]["schedule_bitmaps"] = ["0", "6291456", "6291456", "6291456"]
+
+
+ # Mock /search endpoint
+ page.route("**/search*", lambda route: route.fulfill(
+ status=200,
+ content_type="application/json",
+ body=json.dumps(mock_courses)
+ ))
+
+ # 1. Load Page
+ page.goto("http://localhost:8000")
+ expect(page.locator("h1")).to_contain_text("南哪选课助手")
+
+ # 2. Search
+ page.locator("input[placeholder*='课程名']").fill("Course")
+ page.get_by_text("搜索", exact=True).click()
+
+ # Wait for results
+ expect(page.get_by_text("搜索结果 (2)")).to_be_visible()
+
+ # 3. Create Group
+ # Select all
+ page.get_by_text("全选/反选").click()
+ page.get_by_text("将选中项存为一组").click()
+ expect(page.get_by_text("已添加新课程组")).to_be_visible()
+
+ # 4. Switch to Planning
+ page.get_by_text("2. 规划 & 策略").click()
+
+ # Check new "Skippable" checkbox existence
+ skippable_checkbox = page.locator(".group-header input[type='checkbox']")
+ expect(skippable_checkbox).to_be_visible()
+
+ # Check new "Quality Sleep" preference
+ sleep_pref = page.get_by_text("优质睡眠 (9-13节)")
+ expect(sleep_pref).to_be_visible()
+
+ # 5. Enable Skippable for Group 1 (Course A & B are in one group because we selected both and clicked create once)
+ # Wait, "createGroup" creates ONE group with all selected candidates.
+ # So Group 1 contains Course A and Course B as candidates for the SAME slot?
+ # No, typically user selects one course's candidates.
+ # But if I select Course A and Course B, they become candidates for Group 1.
+ # This means I can choose A OR B.
+ # Let's say I want both. I should have added them separately.
+ # But for this test, let's assume they are alternatives.
+ # Solver will pick ONE.
+
+ # Let's delete this group and add them separately for better visual.
+ page.get_by_text("删除").click()
+
+ # Go back to Search
+ page.get_by_text("1. 课程查询").click()
+
+ # Select only Course A
+ page.get_by_text("全选/反选").click() # Unselect all
+
+ # Find checkbox for Course A.
+ # result-item
+ rows = page.locator(".result-item")
+ rows.nth(0).locator("input[type='checkbox']").check()
+ page.get_by_text("将选中项存为一组").click()
+
+ # Uncheck A, Check B
+ rows.nth(0).locator("input[type='checkbox']").uncheck()
+ rows.nth(1).locator("input[type='checkbox']").check()
+ page.get_by_text("将选中项存为一组").click()
+
+ # Go to Planning
+ page.get_by_text("2. 规划 & 策略").click()
+ expect(page.get_by_text("我的课程组 (2)")).to_be_visible()
+
+ # 6. Mark Course B (Group 2) as Skippable
+ # Group 2 is the second one.
+ # Locator for group items
+ groups = page.locator(".group-item")
+ group2_skippable = groups.nth(1).locator(".group-header input[type='checkbox']")
+ group2_skippable.check()
+
+ # 7. Generate Schedule
+ page.get_by_text("生成课表方案").click()
+
+ # 8. Check Results
+ # Should automatically switch to Results view
+ expect(page.get_by_text("推荐方案")).to_be_visible()
+
+ # Check Stats for "Actual Weekly Hours"
+ # Course A: 2 credits, 32 hours (approx 2/week if 16 weeks, here 3 weeks -> ~10/week? mock data says 32 total)
+ # Course B: 2 credits, 32 hours. Skippable.
+ # Stats logic: actual = total - skippable.
+ # Total hours: 64. Actual: 32.
+ # Week span: 1-3. (3 weeks).
+ # Actual Avg Weekly: 32 / 3 = 10.7
+
+ stats_section = page.locator("#capture-area")
+ expect(stats_section).to_contain_text("实际每周学时")
+
+ # Check Green Cell
+ # Course B is skippable. It is on Tue 9-10.
+ # Tue is column index 3 (Node, Mon, Tue...).
+ # Row 9-10.
+ # Let's just look for the class `.cell-active.skippable`
+ # Course B spans 2 periods, so we expect at least 1 visible, or strict mode fails if multiple.
+ skippable_cell = page.locator(".cell-active.skippable").first
+ expect(skippable_cell).to_be_visible()
+ expect(skippable_cell).to_contain_text("Course B")
+
+ # Screenshot
+ page.screenshot(path="verification/spa_verified.png")
+
+with sync_playwright() as playwright:
+ run(playwright)
From 33728aa1b79abd33da9ebe46f2490c742c3808e5 Mon Sep 17 00:00:00 2001
From: "google-labs-jules[bot]"
<161369871+google-labs-jules[bot]@users.noreply.github.com>
Date: Sun, 11 Jan 2026 09:21:26 +0000
Subject: [PATCH 2/3] Add skippable course option and quality sleep preference
to SPA
- Added 'is_skippable' checkbox to course groups in SPA planning view.
- Added 'Quality Sleep' (Avoid 9-13) preference to SPA planning view.
- Updated solver logic to ignore skippable courses for soft constraints (Early Morning, Quality Sleep, Weekend, Day Max, Compactness).
- Added 'Actual Weekly Hours' statistic to results view (green text).
- Render skippable courses with green background in schedule.
- Updated persistence logic to migrate old sessions with default values.
- Verified logic with standalone node tests and UI with Playwright.
From 7581b744c67e9c0bccd62fe4e3ff34944477c43d Mon Sep 17 00:00:00 2001
From: "google-labs-jules[bot]"
<161369871+google-labs-jules[bot]@users.noreply.github.com>
Date: Sun, 11 Jan 2026 09:43:08 +0000
Subject: [PATCH 3/3] Fix Quality Sleep range and implement ghost logic for
skippable courses in SPA solver
---
dist/static/js/solver.js | 353 ++++++++++++++++++++++-----------------
1 file changed, 201 insertions(+), 152 deletions(-)
diff --git a/dist/static/js/solver.js b/dist/static/js/solver.js
index 2ce51a3..a32c8a7 100644
--- a/dist/static/js/solver.js
+++ b/dist/static/js/solver.js
@@ -5,10 +5,13 @@ class ScheduleRanker {
let totalPenalty = 0.0;
let totalBonus = 0.0;
- // 0. Merge bitmaps into fullBitmap (BigInt array)
- // Also merge bitmaps for non-skippable courses into scoringBitmap
+ // 0. Bitmaps
+ // fullBitmap: All courses (for debugging/future use)
+ // scoringBitmap: Non-skippable courses (Main Penalty, Weight 1.0)
+ // skippableBitmap: Skippable courses (Shadow Penalty, Weight 0.01)
const fullBitmap = Array(30).fill(0n);
const scoringBitmap = Array(30).fill(0n);
+ const skippableBitmap = Array(30).fill(0n);
for (const course of schedule) {
const cb = course.schedule_bitmaps || [];
@@ -25,147 +28,201 @@ class ScheduleRanker {
fullBitmap[w] |= val;
if (!isSkippable) {
scoringBitmap[w] |= val;
+ } else {
+ skippableBitmap[w] |= val;
}
}
}
}
- // Use scoringBitmap for penalties
+ // Helper to calculate penalty for a given bitmap and weight
+ const calcPenalty = (bitmap, weight, isShadow = false) => {
+ let p = 0.0;
+
+ // 1. Avoid Early Morning
+ if (preferences.avoid_early_morning) {
+ let count = 0;
+ for (let w = 1; w <= 25; w++) {
+ const mask = bitmap[w];
+ if (mask === 0n) continue;
+ let earlyMask = 0n;
+ for (let d = 0; d < 7; d++) {
+ earlyMask |= (1n << BigInt(d * 13 + 0)); // Node 1
+ earlyMask |= (1n << BigInt(d * 13 + 1)); // Node 2
+ }
+ if ((mask & earlyMask) !== 0n) count++;
+ }
+ const val = count * 2.0 * weight;
+ p += val;
+ if (!isShadow) details['早八回避'] = -val;
+ }
- // 1. Avoid Early Morning
- if (preferences.avoid_early_morning) {
- let penalty = 0;
- // Iterate weeks 1 to 25
- for (let w = 1; w <= 25; w++) {
- const mask = scoringBitmap[w];
- if (mask === 0n) continue;
+ // 2. Avoid Weekend
+ if (preferences.avoid_weekend) {
+ let count = 0;
+ let weekendMask = 0n;
+ for (let node = 0; node < 13; node++) {
+ weekendMask |= (1n << BigInt(5 * 13 + node)); // Sat
+ weekendMask |= (1n << BigInt(6 * 13 + node)); // Sun
+ }
+ for (let w = 1; w <= 25; w++) {
+ if ((bitmap[w] & weekendMask) !== 0n) count++;
+ }
+ const val = count * 2.0 * weight;
+ p += val;
+ if (!isShadow) details['周末回避'] = -val;
+ }
- let earlyMask = 0n;
- for (let d = 0; d < 7; d++) {
- earlyMask |= (1n << BigInt(d * 13 + 0)); // Node 1
- earlyMask |= (1n << BigInt(d * 13 + 1)); // Node 2
+ // 3. Compactness
+ if (preferences.compactness === 'high' || preferences.compactness === 'low') {
+ let totalGaps = 0;
+ for (let w = 1; w <= 25; w++) {
+ const mask = bitmap[w];
+ if (mask === 0n) continue;
+ for (let d = 0; d < 5; d++) { // Mon-Fri
+ const dayBits = (mask >> BigInt(d * 13)) & 0x1FFFn;
+ if (dayBits === 0n) continue;
+
+ let hasStarted = false;
+ let gapCount = 0;
+ let currentGap = 0;
+
+ for (let i = 0; i < 13; i++) {
+ const isSet = (dayBits >> BigInt(i)) & 1n;
+ if (isSet) {
+ if (hasStarted && currentGap > 0) {
+ gapCount += currentGap;
+ }
+ hasStarted = true;
+ currentGap = 0;
+ } else if (hasStarted) {
+ currentGap += 1;
+ }
+ }
+ totalGaps += gapCount;
+ }
}
- if ((mask & earlyMask) !== 0n) {
- penalty += 1;
+ if (preferences.compactness === 'high') {
+ const val = totalGaps * 0.2 * weight;
+ p += val;
+ if (!isShadow) details['课程紧凑'] = -val;
+ } else {
+ // For shadow penalty, we treat 'low' compactness bonus as negative penalty?
+ // Or just ignore bonus for shadow to keep it simple?
+ // Let's implement bonus as negative penalty.
+ const val = totalGaps * 0.2 * weight;
+ // Bonus means score increases. Penalty means score decreases.
+ // If compact=low, we want MORE gaps.
+ // So totalGaps contributes to BONUS.
+ // Score = Base + Bonus - Penalty.
+ // Here p is Penalty accumulator.
+ // So we should SUBTRACT from p?
+ // Wait, existing logic: totalBonus += val.
+ // So return { penalty, bonus }.
+ // Let's keep it simple: Shadow penalty only considers NEGATIVE traits (Penalties).
+ // We ignore Compactness Bonus for shadow to avoid complexity.
+ if (!isShadow) {
+ // Handled outside or allow this function to return object?
+ // Let's just handle non-shadow compactness separately if needed.
+ // But for simplicity, let's just do the penalty part here.
+ // If compact=low (Bonus), we skip adding to 'p'.
+ }
}
}
- const pVal = penalty * 2.0;
- totalPenalty += pVal;
- details['早八回避'] = -pVal;
- }
- // 2. Avoid Weekend
- if (preferences.avoid_weekend) {
- let penalty = 0;
- let weekendMask = 0n;
- for (let node = 0; node < 13; node++) {
- weekendMask |= (1n << BigInt(5 * 13 + node)); // Sat
- weekendMask |= (1n << BigInt(6 * 13 + node)); // Sun
+ // 4. Day Max Limit
+ if (preferences.day_max_limit_enabled) {
+ const limitVal = preferences.day_max_limit_value ?? 4;
+ let targetDays = preferences.day_max_limit_days || [];
+ if (targetDays.length < 7) {
+ targetDays = targetDays.concat(Array(7 - targetDays.length).fill(false));
+ }
+
+ let penalty = 0;
+ for (let w = 1; w <= 25; w++) {
+ const mask = bitmap[w];
+ if (mask === 0n) continue;
+ for (let d = 0; d < 7; d++) {
+ if (!targetDays[d]) continue;
+ const dayBits = (mask >> BigInt(d * 13)) & 0x1FFFn;
+ const count = ScheduleRanker.countSetBits(dayBits);
+ if (count > limitVal) {
+ const diff = count - limitVal;
+ penalty += diff * 2.0;
+ }
+ }
+ }
+ const val = penalty * weight;
+ p += val;
+ if (!isShadow) details['特定日限制'] = -val;
}
- for (let w = 1; w <= 25; w++) {
- if ((scoringBitmap[w] & weekendMask) !== 0n) {
- penalty += 1;
+ // 5. Quality Sleep (Avoid 8-13)
+ // User Update: Should start from Node 9 (Index 8).
+ // Nodes are 0-indexed (0-12) corresponding to 1-13.
+ // Node 9 (1-based) is index 8.
+ // Node 13 (1-based) is index 12.
+ if (preferences.quality_sleep) {
+ let count = 0;
+ for (let w = 1; w <= 25; w++) {
+ const mask = bitmap[w];
+ if (mask === 0n) continue;
+
+ let sleepMask = 0n;
+ for (let d = 0; d < 7; d++) {
+ for (let n = 8; n <= 12; n++) { // Corrected range 9-13 (indices 8-12)
+ sleepMask |= (1n << BigInt(d * 13 + n));
+ }
+ }
+
+ if ((mask & sleepMask) !== 0n) {
+ count++;
+ }
}
+ const val = count * 2.0 * weight;
+ p += val;
+ if (!isShadow) details['优质睡眠'] = -val;
}
- const pVal = penalty * 2.0;
- totalPenalty += pVal;
- details['周末回避'] = -pVal;
- }
- // 3. Compactness
- if (preferences.compactness === 'high' || preferences.compactness === 'low') {
+ return p;
+ };
+
+ // Calculate Main Penalty (Weight 1.0)
+ const mainPenalty = calcPenalty(scoringBitmap, 1.0, false);
+ totalPenalty += mainPenalty;
+
+ // Calculate Shadow Penalty (Weight 0.01)
+ const shadowPenalty = calcPenalty(skippableBitmap, 0.01, true);
+ totalPenalty += shadowPenalty;
+
+ // Handle Compactness Bonus explicitly for Main (since helper ignored it or we need to be careful)
+ // Re-implement Compactness Bonus for Main only to match exact logic of previous version
+ if (preferences.compactness === 'low') {
let totalGaps = 0;
for (let w = 1; w <= 25; w++) {
const mask = scoringBitmap[w];
if (mask === 0n) continue;
- for (let d = 0; d < 5; d++) { // Mon-Fri
+ for (let d = 0; d < 5; d++) {
const dayBits = (mask >> BigInt(d * 13)) & 0x1FFFn;
if (dayBits === 0n) continue;
-
let hasStarted = false;
- let gapCount = 0;
let currentGap = 0;
-
for (let i = 0; i < 13; i++) {
const isSet = (dayBits >> BigInt(i)) & 1n;
if (isSet) {
- if (hasStarted && currentGap > 0) {
- gapCount += currentGap;
- }
+ if (hasStarted && currentGap > 0) totalGaps += currentGap;
hasStarted = true;
currentGap = 0;
} else if (hasStarted) {
currentGap += 1;
}
}
- totalGaps += gapCount;
- }
- }
-
- if (preferences.compactness === 'high') {
- const pVal = totalGaps * 0.2;
- totalPenalty += pVal;
- details['课程紧凑'] = -pVal;
- } else {
- const bVal = totalGaps * 0.2;
- totalBonus += bVal;
- details['课程分散'] = +bVal;
- }
- }
-
-
- if (preferences.day_max_limit_enabled) {
- const limitVal = preferences.day_max_limit_value ?? 4;
- let targetDays = preferences.day_max_limit_days || [];
- if (targetDays.length < 7) {
- targetDays = targetDays.concat(Array(7 - targetDays.length).fill(false));
- }
-
- let penalty = 0;
- for (let w = 1; w <= 25; w++) {
- const mask = scoringBitmap[w];
- if (mask === 0n) continue;
- for (let d = 0; d < 7; d++) {
- if (!targetDays[d]) continue;
- const dayBits = (mask >> BigInt(d * 13)) & 0x1FFFn;
- const count = ScheduleRanker.countSetBits(dayBits);
- if (count > limitVal) {
- const diff = count - limitVal;
- penalty += diff * 2.0;
- }
- }
- }
- const pVal = penalty;
- totalPenalty += pVal;
- details['特定日限制'] = -pVal;
- }
-
- // 5. Quality Sleep (Avoid 9-13)
- if (preferences.quality_sleep) {
- let penalty = 0;
- for (let w = 1; w <= 25; w++) {
- const mask = scoringBitmap[w];
- if (mask === 0n) continue;
-
- let sleepMask = 0n;
- for (let d = 0; d < 7; d++) {
- // Node 9 to 13
- // Nodes are 1-based in my comments, but 0-12 in bits.
- // 1=0, 2=1, ..., 9=8, 13=12.
- for (let n = 8; n <= 12; n++) {
- sleepMask |= (1n << BigInt(d * 13 + n));
- }
- }
-
- if ((mask & sleepMask) !== 0n) {
- penalty += 1;
}
}
- const pVal = penalty * 2.0;
- totalPenalty += pVal;
- details['优质睡眠'] = -pVal;
+ const bVal = totalGaps * 0.2;
+ totalBonus += bVal;
+ details['课程分散'] = +bVal;
}
return {
@@ -231,6 +288,10 @@ class ScheduleSolver {
if (activeA.length === 0 || activeB.length === 0) continue;
+ // If either group is skippable, they do not cause hard conflicts.
+ // We treat them as ghosts that can overlap anything.
+ if (groups[i].is_skippable || groups[j].is_skippable) continue;
+
let allConflict = true;
let firstReason = null;
@@ -298,9 +359,6 @@ class ScheduleSolver {
} else {
const existing = mergedGroupsMap.get(courseName);
existing.candidates = existing.candidates.concat(active);
- // If any part of the merged group is marked skippable, we might want to respect that?
- // Or should we enforce that if one part is skippable, the whole thing is?
- // User sets 'skippable' on the Group. If we merge groups by name, we should probably OR the flag.
if (g.is_skippable) existing.is_skippable = true;
}
}
@@ -332,8 +390,6 @@ class ScheduleSolver {
});
}
- // Sort by density (heuristic: fewer classes first might leave more room? or opposite?)
- // Just stick to density sort
metaCandidates.sort((a, b) => {
const countA = a.bitmaps.reduce((acc, val) => acc + ScheduleRanker.countSetBits(val), 0);
const countB = b.bitmaps.reduce((acc, val) => acc + ScheduleRanker.countSetBits(val), 0);
@@ -346,7 +402,7 @@ class ScheduleSolver {
});
}
- // Sort groups by size (MRV - Minimum Remaining Values) to fail fast
+ // Sort groups by size (MRV)
metaGroups.sort((a, b) => a.candidates.length - b.candidates.length);
const totalGroupsCount = metaGroups.length;
@@ -360,21 +416,15 @@ class ScheduleSolver {
function backtrack(groupIdx, currentScheduleMeta) {
const scheduledCount = currentScheduleMeta.length;
- // Base Case: All groups processed
if (groupIdx === totalGroupsCount) {
- // We reached a leaf. Update maxCoursesFound
if (scheduledCount > maxCoursesFound) {
maxCoursesFound = scheduledCount;
- // Clear heap because we found a better size?
- // Usually we prefer larger schedules over higher scores of smaller schedules.
- // Yes: "must arrange as many courses as possible first"
topNHeap.length = 0;
}
if (scheduledCount === maxCoursesFound) {
totalFound++;
- // Reconstruct
const finalSchedule = currentScheduleMeta.map(m => {
const rep = { ...m.representative };
rep.alternatives = m.alternatives;
@@ -382,7 +432,6 @@ class ScheduleSolver {
return rep;
});
- // Missing Groups
const presentNames = new Set(finalSchedule.map(c => c.name));
const missingNames = [];
for(const mg of metaGroups) {
@@ -392,12 +441,9 @@ class ScheduleSolver {
}
const missingCount = missingNames.length;
-
- // Score
const evalResult = ScheduleRanker.evaluateSchedule(finalSchedule, preferences);
let score = evalResult.score;
- // Apply Missing Penalty
const penalty = missingCount * 10.0;
score -= penalty;
@@ -408,7 +454,6 @@ class ScheduleSolver {
missingCount,
details: evalResult.details
};
- // Add missing penalty to details for display
if (missingCount > 0) {
entry.details['缺课惩罚'] = -penalty;
}
@@ -424,14 +469,17 @@ class ScheduleSolver {
return;
}
- // Pruning: Calculate Future Potential
- // Count how many future groups have AT LEAST ONE candidate compatible with currentBitmap
let compatibleFuture = 0;
for (let i = groupIdx; i < totalGroupsCount; i++) {
const group = metaGroups[i];
+ // Skippable groups are always compatible because they don't check conflicts
+ if (group.candidates[0].is_skippable) {
+ compatibleFuture++;
+ continue;
+ }
+
let canFit = false;
for (const cand of group.candidates) {
- // Check compatibility
let ok = true;
const limit = Math.min(cand.bitmaps.length, currentBitmap.length);
for (let w = 1; w < limit; w++) {
@@ -449,57 +497,59 @@ class ScheduleSolver {
}
if (scheduledCount + compatibleFuture < maxCoursesFound) {
- // Cannot possibly beat the best found size
return;
}
- // Branch 1: Try to pick a candidate from current group
const currentGroup = metaGroups[groupIdx];
- let pickedSomething = false;
for (const meta of currentGroup.candidates) {
const metaBmp = meta.bitmaps;
-
- // Check Conflict
+ const isSkippable = meta.is_skippable;
let isValid = true;
- const limit = Math.min(metaBmp.length, currentBitmap.length);
- for (let w = 1; w < limit; w++) {
- if ((metaBmp[w] & currentBitmap[w]) !== 0n) {
- isValid = false;
- break;
+
+ // If skippable, we ignore conflict checks (Ghost Mode)
+ if (!isSkippable) {
+ const limit = Math.min(metaBmp.length, currentBitmap.length);
+ for (let w = 1; w < limit; w++) {
+ if ((metaBmp[w] & currentBitmap[w]) !== 0n) {
+ isValid = false;
+ break;
+ }
}
}
if (!isValid) continue;
-
-
currentScheduleMeta.push(meta);
- // Update bitmap
- for (let w = 1; w < limit; w++) {
- currentBitmap[w] |= metaBmp[w];
+
+ // If skippable, we do NOT occupy space in currentBitmap
+ if (!isSkippable) {
+ const limit = Math.min(metaBmp.length, currentBitmap.length);
+ for (let w = 1; w < limit; w++) {
+ currentBitmap[w] |= metaBmp[w];
+ }
}
backtrack(groupIdx + 1, currentScheduleMeta);
- // Backtrack
currentScheduleMeta.pop();
- for (let w = 1; w < limit; w++) {
- currentBitmap[w] ^= metaBmp[w]; // Unset
+
+ // Backtrack bitmap
+ if (!isSkippable) {
+ const limit = Math.min(metaBmp.length, currentBitmap.length);
+ for (let w = 1; w < limit; w++) {
+ currentBitmap[w] ^= metaBmp[w];
+ }
}
- pickedSomething = true;
}
-
backtrack(groupIdx + 1, currentScheduleMeta);
}
backtrack(0, []);
- // Sort descending
const sortedResults = topNHeap.sort((a, b) => b.score - a.score);
- // Map to final format
const finalSchedules = sortedResults.map(item => {
const sched = item.schedule;
@@ -507,7 +557,7 @@ class ScheduleSolver {
let totalHours = 0;
let actualTotalHours = 0;
const weekSet = new Set();
- const countedCourses = new Set(); // Prevent double counting credits/hours for same-named courses
+ const countedCourses = new Set();
sched.forEach(c => {
if (!countedCourses.has(c.name)) {
@@ -535,7 +585,7 @@ class ScheduleSolver {
score_details: item.details,
courses: sched,
missing_course_names: item.missingNames,
- missing_groups: [], // user didn't ask for IDs, just names in UI.
+ missing_groups: [],
stats: {
total_credits: totalCredits,
total_hours: totalHours,
@@ -554,7 +604,6 @@ class ScheduleSolver {
}
}
-// Export
if (typeof window !== 'undefined') {
window.Solver = ScheduleSolver;
window.Ranker = ScheduleRanker;
|