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  Y+$d| ]S Catalan_Numbers:threads=2elapsed=2.827cpu=5.536gc=0.164factor=1.967zXZִF! ]ŗXf1-/6vRZy_c5MD&t$ϱZl ahLP)v>6Vb*ۑ CEP*lDS?DBJJ1=ȁŠ9lt}GH6&kf@d.$$ qM3E8.@y>fZ\pmGI`qG2i -UߙgYZ7zXZִF! i]ŗXiɟy>W&Jq*|.G@AMa^ Q?P%FۄDW{<w`lD%H8Gbc(R>OvWEMgYZ7zXZִF! J7]ŗXi%9(PMVD[}:ťUP%>WGw`Kwi^ܡr&i6aXֈυym8ԧD5f๪)y#;NVQ9n#Ъ;0AB ÅqOT C WZ^?H1_zi77t)\=14O@3׾EJ=* EDU5CjJ ,0; (6ϊ rTicdr %3L; K̦ZUE9*E1&s=̼ɣ'i?R/~XP.*@VDr0jg|䭍%*V(G_7konjT`54O.f h :іlޙrSܴL)&?E#"|OfJJl~| qn!><|HWf6܊AGJJ- İ' ~„Ƅ#w5)Gy x_AGs-YS\=Avo4K&Lj{4[t8=ZҚ%Ӽ.q1gYZ7eec081edf57ee19d7d0371ed87eaeada1e512e5620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 223999b3718fa9c4a49cbc7261f4cb6ae6361149 e53b976b6bbc6f8e17519363f979842af25c60ff + Catalan_Numbers