{
  "sage_version": "10.9",
  "control_bilaplacian_x4_plus_y4": "48",
  "control_normal_derivative_x_plus_2y": "nu_x + 2*nu_y",
  "zero_solution_pde_residual": "0 for arbitrary lam",
  "zero_solution_boundary_value": "0",
  "zero_solution_normal_derivative": "0 for arbitrary normal",
  "conclusion": "The zero function satisfies the homogeneous equations for every lam; the definition of an eigenvalue requires a nonzero solution.",
  "spectral_values_recomputed": false
}