SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 oo+ ,  ] Catalan_Numbers:threads=4elapsed=12.346cpu=39.900gc=1.492factor=3.237zXZִF! ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98}5cCbYTW"a(6Ec @j18_@D ݣPcK]oII2 .,m )HPX@Pho9Y Bn񽋄ʾL+e\<:=>pgg7#"ԗ Թ̕A=k`87viuoُ!T5Ŗ\;*)'/:赸)(/~pk1jҠ׈ V$.i RaS:.%o~Y}jyi#a5ٸr+xlSo{fZ󆗻-ҡ.\HW`zU"Fſ=n|I`ܞFu%X*E$ +323S+1N˼1nTʰ%i(]@} U.ݛ[UWFhi3Tg`f U]A@ݘo_GAW&Jq*|.G@AMa^ Q?P%F~j21w5mL;ôfj'4蔙[AŶxn ´痡/6.++[8q GGkR"8e B[/]QsC;H k[ &` r-QRp᜶V'= ?M̩Xw00eGMM8Oxgm력.A5`gYZ7zXZִF! V]ŗXi%B۾2n)%l5 bKsac)`ލ{֋ȟ$-WM$$(0r8M>7K'oWsk;"fW(G46%GFj0C/sLD]Xm,JmG9\_3霢Q!fp)Ϩ.gML0>- SJߖ`ҠƏ 1 n=kNJ\rLNx ПN2h^6E +;ٙJmӂ z6KvF|˘:jNS޴А{M{xȝ#S\Jw$с2U&A5M/*MCȹ/0>X)Byǩ~zpʐ\(7c'6@Ei旤q"m u73Ux. Eaq'J3ؾ!|0 Jݒ 14^Kj5%F H6X.7/2 -0|2ie 2&]դZ.PV8Z?fV~+ ~+Y3Z6v wQ7\3Ccr!8Tu`.mtoKA+k(J8iZSj0q؁%|LD>WAA'Z *d[!9:ir5Y~a@sC H:$gYZ083581c82bbdee1018d3d344b4624f0ecb6377a676b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 2ba2648cd2e9eefa4e482a87a5d42b21c90574a9 + Catalan_Numbers