SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  M+ d| ]S Catalan_Numbers:threads=2elapsed=2.904cpu=5.672gc=0.188factor=1.957zXZִF! @]ŗXf1-/6vRZy_c5MD&t$ϱZl ahLP)v>6Vb*ۑ C߁CeE ߣ]hNsMr4GqʊY=%Lz<%fYGhYKLFDٻG^ߠ8Ȓb6>zס JT%$P9eԵQgYZ7zXZִF! j]ŗXiɟy>W&Jq*|.G@AMa^ Q?P%F})ܢfh`S4|bz{`Cȟ`ٞ+_(K͇8gYZ7zXZִF! 6]ŗXi%=wms历XuHӂ{Ur} \_wydp(%o>'``!V}b VZ1,O.Mo:e-&U$5*j _+pREaf 4m'EO~9nwsNjӢ oWĞz|]*j=Z b]QC^k}T],"9IWLP.u_z [!b\tY*CȒ\cHP9o6M̜mr&qܾwlWœVtgY+TI g<_HDt.ǃ_ ,^X#< ZN "#γX$e)  {`r뭬y5= &2-֔n)3sZx- /D2#gNXB:̞7quJk:emXxf#!4sΟ9Us^9mTv Q euLA=?-)CW?ͲBVaicW#nKuP HN}y"`)P8 ӱgYZ9fe0341d9e405313c22aac2593944fc2f3943d6a79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 197ef942efe1b520e57810c9e607ada8b7573cc3 0d9cd6e72a2d713e7f970ecd8db43a8cb97e1282 + Catalan_Numbers