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 f+ l t ] Catalan_Numbers:threads=2elapsed=17.827cpu=31.408gc=1.464factor=1.767zXZִF!  ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi Ƒeh7֞5p5IWfv 躀3-fĬ^a(.+'7c#݉UvE5*uY}s\MX,3!bW*n uYgeRQYyh.< +gR_Bqsd~mb1SSkf[%M%:|\2MosJ]Q$lĩ,xJ&asy^ű_gsW?G`W%eQ\I;) \K59{2Fr5voiG U>ͫ`Q_ tUR]Lb ܔʠO8}*I*_e3t愝O9?,`$BOd{XB|-Kp%)PΉn ;e%!e8k=A͡E+sI szj4D(̪ɌEzdDs/Nbjx.P+cOt9(_B5nzhZ RudҲ]!G-dlW}Rd::ȖpMaF 1rl"gYZ7zXZִF! b]ŗXi%>gQ|C:fjCCYn@QjWH6@좀fU0Vm!2+Ŷ36>Z%\%݉yogIT~k%ޭ|+ɮN9WZnN|  S` H{5@z9,r,b8,),?[ڎ} TJ\@- k+^PA{OC0j)r2CR̜& ps VsM'2iʿX%Z?>S$EjVwJeC `BoE\ִk42 lZ6>\T2~BS\H c$oRڜuJBRF!7J<>'H']B%ܭ_Bx6sBQ'OJ/>Y pǠm{A,iekxo9`70T7r9Qfj -,8H|Ť\ wʻJ/ig֯ TqWU- cȞ| k]4Z^Z},H@jtiLbn*_=_^2`&Dt f u֘*֣D0J @5<-lrh5+]c%bm3O'w1ۚ: "*60jzs@[3p4zUV;U)M&ӂZ,#2I uwj_ּ,F;C`|qP UNȟoǶ{?|=O@r +y!UYJ:y"hXZ[f5gE_#ԍG,!f)suKC.;x= RRL8md4(eaRgB^T!F[i (F+-vt#?hyG ҊWO=Ŭf\Z(+bֺ'+tq s$gYZ7277f1fdce15c7d080363b4471856de1a51acc0aa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 c9f2b6fc1bef0792efb824e828e8e8f82fe54c91 + Catalan_Numbers