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 - D ]/ Generic_Deriving:threads=4elapsed=53.512cpu=152.276gc=15.136factor=2.857zXZִF! 1E@]ŗXf[&CK(`Q>ebU?`?c4g_?gNEM(;>}dq=qMfSշ%{挢730 LW6h5! x*ƿ[#Y[CL憩byb*:-]'m>Z5/(^Eѐr0:RJ_R'\mF'ϛJApȏ' Mi Jx pq)1B&o]âRܱkۖ^W3~Izcv5DzMc\XF/ - Generic_Deriving  `Ϟ8ٻ'^B .R 6 +R6'kPv zS? ̔PM1@en`з$48;VLsơoFƩWE"337" 0MckыzJ{@H铷_T@fkglZKNt+8^dvAN!ySAs")/ȼPW?΅X?@U@;~ҳpO뛓8lgrSB4ij|m{#hhpg=y#g<Qk³u}HkU]a ga.+^=U+4Q|Z=CPySW`Wmvjle%rwD e03Ћ5}H\~Q8K}˜!^u M`戱=~6JTbq*tioVX$bD$\R1#mZ]H5dEܐe_B-ǰ[:H"@ȁz/:ct>W%CF(ӈmFQM̏;7uSe[%1i~*{@Q" EMug"+X jia4b /צ|Qځ4"++}#]IϽiZ]mMl,m07gvPq&&L?lоnLm 0sS5dӹ ko578%C2ΦAq^>U;5m$^:?Z"$"s&6DX0֒S6| =oN5!3-)IHCgiBGOڜ|3zQ MҼhIꝓӼ6\սYn5K%^2s .&,}QBRr$_\z-lXwMk>1<ޠ`UPn}eЙLOkLc.Oϐ7?Rʠ~F堖ȟ qLI>mv^!3T:Dύ]IʂKO o"4IcfwYWP`ΙDM+[+nM  6Iq۸IߓlF p4{{0MF okT9Q,Ubj#ĽDS]o@w6t/̔Ujy6Wc q=%Q p3z{%idB`ΐQ#n5϶תNƊ#OlZx=F8o(ln |/} c#T'Z/ծ>2;#ݟ{=S!lt5uK~S^ Vgs008~av|9m܀0;1DԹ_K-ue `UudO5KEj˥ct0:4 To C<:3/Ic0w8&{RɎ8lz|P_D&f^+|(5S)*ſ-9eFd=z,ʗnc_*Am/~ԯmu `Z=##lVdVr3U(ߩN/Z0aSèJT}0cP֦oo_:8)ZS-[le8H d8vEa׺HNo@8ZR?6k?83 O?)̍s?A X㏧S1k04>=#]O{eRKuZdX#!Ncݻp AfFI9T{&ɸ|C<# *T+BنzǘEĭ)"S)t@;^GqCZb,Z3'3@9SD40D xAT?G\^p@p&Z;nmk\p`ô=;~'$1^"{"j g0*si8%[g?TH`+wTy#4g> K]D-*klT℉ݱ[&xqLl&X'W0Ь"VT-8I'l{Cu-t!iߺN|aQ#MKߔ r1u" ch#FeM}bL~Ņ{˾]r*T@c Z?s ƽ;͝m"b J8ϲ'f} :4!t@0yGK 4S2δ lc 2^%zvJ^Z|TqEucR> ~[{LI3ϣfUK||TOl1nӅr?q6=H_Ru~'aB+ӮDvI7 4.ӣ_ j>#}v1 ȳ<<'l"9`8YH"> F0P/`ʂWpo:X̚ŧ.Iu4n nPR?gVaG"Wr[q*LZRCՒhU!JT݂gY< AB jB4}ȥMVJ:L"%t-2,hA VrZhGJ!s*iXÂf*~xo˟R0G&뮌s8_BQ1ۍIwȥѲɮk>+P QD#[8le`oWȃ I:U*CO;Gp2=hVTɿP[qѴr>86HzK o:"o;lI4}>Ue :5e0VGPK_0c^G =޻/4R;Ї@9RN%LŰ ŹS߆bEquaخ tʣu&4 $n,nb;lDNOFnhfb^kDq*W 荀