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 A  d ]/ FLP:threads=2elapsed=23.089cpu=41.660gc=1.596factor=1.807zXZִF! ]ŗXf1-/6vRZlh[j^iWrYWrUGP2.PGp\%Ju3+(KTaFR&}s<ո ighu!'7(rgnU?ft*2.Z$ [1^yDIQݪ[|> soC`O֞ c< &% s49w,ʗ`)7Ih?ׅ $JAV|5jE9 W ,g^x}E-퉗աW+XMXX] ܏gh3hi* /i䖗BLxm9EΓ1,@E+0]frJϜLԔDRd"Oc1*ҳFcR5IAC_V;Pcc& ^^ ^fYLakoư8+4erX>Lx7OJ4rqE)=c_~R>&12UTo/}%5* >M0rlj66Ψ`zdV&KO Y=ⳁH3#.iZB]q6" c՗h֬xQth .ЄR x? _WU.O(}rL-gYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝMb`kl ]j;kair峁JCv1ثokfsz& j(Ju<#x\4Ą / 2wa;N6dFhV1}Z%a@sPL/q MD^32w?A@@gYZ7zXZִF! ,]ŗXi%;C`&/g"(OM{?;}8cR8sUm _,64tǡmc9.ٮG>R|3¶&#'p? \gy%?ИS{hlHb@Ňð@Է9=ƻt'RХMl]p8 .%,|oA6o b<0Z jK$L v55 [Al8iłUq M;bך7P$XBrҺeO)qRGF VFmjocqwuq`aT߰e ע ]XbV䭪 MkBF@}:g BhJ2hEp&%$@:6[gGsn+D<L{ÀSК7Cq``m$Odj4b;?ǡ hmdJC*_4y v$7?Ǹ ̛ڐCWT*.iմ|-އ¬q շPt"s;^9C?@b1Ӝ`xX}pո0-̑h˥ ,~ = ~3+h#Q۶5 Df*i+ i TVhmTݞ~>ATq0zϰv-7}D:Mc9방4wEJ璿l_5+ !"=S۔{}ROzS )X;@>)d*^҆󑿋L\3I8 J94>Kaݽ*ܔWFEHSzocQ:}. 햿~ x"|'W Dd[uLdx9}rs*}t(Kc[?.;Xi9)7MˉRXsC2,m6ԟLU4|dEԔL 臶7ݸ [nv|c>/WS~(>C5VGt[[ieuN33O"|4qO{oT;j3junc&peW Ѝd_޼G衟VY,58 52tLu֗}:ŖYcGVvWswY?6ٝb) X0Y?E5 1?_L\-?47,@&aac)1x CI;{[`e@2=c30wLaP%+} 5פ C[nM.