diff git a/thys/Three_Squares/ROOT b/thys/Three_Squares/ROOT
 a/thys/Three_Squares/ROOT
+++ b/thys/Three_Squares/ROOT
@@ 1,21 +1,18 @@
chapter AFP
session "Three_Squares" = "HOLComplex_Analysis" +
description \Three Squares Theorem\
 options [timeout = 1200]

+ options [timeout = 3600]
sessions
"HOLLibrary"
"HOLAlgebra"
"HOLNumber_Theory"
"Dirichlet_L"

theories
"Residues_Properties"
"Low_Dimensional_Linear_Algebra"
"Quadratic_Forms"
"Three_Squares"

document_files
"root.bib"
"root.tex"