Each starter circuit is generated on the fly for the number of qubits you choose, and every card shows its live Penrose diagram.
Open in applet loads it for interactive contraction, where you can also change the remaining parameters (number of Pauli terms, Trotter steps, couplings, seed and so on).
Static copies of the circuits are also in the examples/ folder as .qasm files.
P = Z0 Z1), compare the greedy cost with the qubit-by-qubit sweep. The doubled network U P U† is twice as large, yet the greedy order often stays cheap.