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 "+ $ 4 ] Catalan_Numbers:threads=2elapsed=17.268cpu=31.052gc=1.492factor=1.807zXZִF! l]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi FKO%?~>Ӯ$o7>c'JT&3͒B-0m׍t69bG#-BwJ8]&%?o:}eM$ov]&}-:v5e#ePDW,D ,IײOZ6͕9a[&=avox1}t,JΞz%Q#&qzΉ^U,T p:OuC@}AKQ:j|~4kW UhRCFD(.Fi`djZ &dn|*at"ޢ4vhǤ"w{`bHW$)5YgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7# L3'W_~5lcK RbC"P ,}c$M=xN'\>U ::a׌eύ'#k~ (p2>r7Vf CV4Ȋ)wB#[pMkdt'yz&#Vς!N V(jq099(e\rgYZ7zXZִF! `]ŗXi%>g ,yvqǏ5Mـ؉| p\섓DnZzHx|Rp8ûN= h YtRH*1[Kd\ЏYAeGIj \:f߆0 gʿ^%2s ؕa9c'Vٙt@s]KnGH>kj=!d7}JTed: k2V+x'y{FڶGj$Y!Mنͨ|o ͜/X'|L_n !~1JƿKsdkveP |)\y6 傳[Vd~zP plB;' :ϱw[zLb$ـhMx4_hFK̴Jاگ˱LxL' XSb?PYq#50f|˞[#9Vr =ĝp\.F>抸ȮbϠor;?eH(+4mB _- d2}H/ԛ'֑pkCgؖіgnR^{gY2ԻkiBO?CAj%wՔk/Pf88p;b:TUQJS;7f򕍷wtG)CؘAYCWaB>ҁ;o׿|4F[FбD<]z05x"hjJJi߼l6=\nNBuAp5E}uû U{1fh26BL$M3 EeVO7,A[,ߖˏ!)!3qG_|0rf Bj*&O%i.\@-V XsaO}F+<3ur"pĒ~LɆ)l $2"}6D bˈռ$@%暺Ў"F9lwk'8 0yF}acb{ d:Tq0i*EnYCDxl֗Av>b&qAGw imUeR~l 5#E7;b{S=_E+/Drҟݗc#YVBC"-Řl!n}So o_}8-4&Hl"\$wesd<{- >9$ 9&+!u [gYZ0dfa236430b6dd1ae260345cd38b3b57cfdbbfae0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f f046ef9a589d206031d12698d33d4ab88465db77 + Catalan_Numbers