SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 i+ ,D ] Catalan_Numbers:threads=8elapsed=9.357cpu=36.550gc=1.937factor=3.917zXZִF! {]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi =\k,MZM{* 6yǪ hk)>*u 9[li'F Έ7EXЦD`/yĜF5p al 1a\a92d#FfouP.C8)W"RKk{fH{XQ֕I$ϕ9㳚kC`_pef&G< E 3stz'$y)~/z$8j3ka|N*X>-[Az'ORë 1,:uHI9V9DlLL~ cu3))ʲ.f@e ա%콯 (W&Jq*|.G@AMa^ Q?P%FkKD˨AݨIEӵLKz6R)M(ۢqkOؔѐxk) ?~=_`Fr5. /KgzK~ٻ=!RGlFC֮7VM|(x0_ZolePβ :$,O"fhvߖ J䴫ʤ5DϠ)i\ev:3 l E>PxܱgYZ7zXZִF! ?]ŗXi%>t{E2BͫQbOYImy0k/g7ؾ0̈Z[!P.i[ǯب>QSyB])8+0*\~_\jtKN;'(dETr<P.Sғ=$"=SU؊=߷B\^,!znn9(~eY|QFs m:ZR%‚qEx^79]L[Fޘ;1ux2|CRH! ۀJCXgXm3~EAif6 RC.eY\o,@JF vr?yXҺ7X8n>uvc&)2$m'fab |%Td ھ]ry&PJ>mXc-~ӉuYT퇔5)p]@n`&~Db?CVi@.|9&M [ Zbdz{)=){k:A^NH,Mz (&jn|zK ܺZ4='=5A(mt,r+J'-%C`{ݮUFB11Gx  V *?(^@Z"F;$|t U^8N&NR ^TҸN^w ;a^:`.٥NRҖՆFWk@C#AksB )LPe|k S^gYZ85b669f88cd7cc974a7d31b6909a9b2bab051059c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 5f5d9af270ebe02ef506a6072735bafbbf70c6b7 + Catalan_Numbers