#import "@preview/physica:0.9.6": * #import "lib.typ": ccases = problem 1