SQLite format 3@ .;  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 urtd ]S IOA-ABP:threads=4elapsed=5.737cpu=11.968gc=0.4007zXZִF! r]ŗXiɟDYK<;>Fb7VۚSa{ :Bl}aZTiS('wdS!%zMdRno._}.K%/ P o GX4a/eTS5k  v?rib2^3$]}. @4 #T*F2ftWCwuXd$V/BY:P_ PŚCN9,b+M?Q+KaEhmF5H|ͶM1SKk'-RGƱWk־iTLxD<_@Op=B[Xqi4`VOgD- ugpяs@MfILOgs~kl t~;72b&- tU>8oO)GBo4#Wjc}ު01U]D2˿2Q3p<-n\xmMȒ r/l/˨xN{d{ (W8J"NO<: ɚcIJЃdċኣ $8{n%H~5i`5ʠ _'ը !;6̜86Xr*xE\ԫ+ ZZs X3nw"chɍ4d8p#Itj q22bb~2>@ZZ`L}#jL86yu?7[l?-o6 ތ18țx``CϮ[v 2l+Hue{x`hjfJ^Ү;.eaW/uQK`C<[]Ff`U`Y;hN҄lm~XY[:W:Yt_w7vMVg۵4ZݭE6Oʕ*Ѫol,"d m`όZ TIqy4%X';EtM@eg].J1s}CENJ:f.ݣ)o7/-0f7-IVߣuzK88eMBh׸a2xnb%bLB%md⮝&m5v3ɻshwSC|2@^A\ᚶiC6]Ĕ'4Md)qe 򌞅880 zQsa붨l:uQ2ҹO*[V|rݽ̝Q}N cMro̯`=q,~P;9M=?ܪK?/8 k?26(T!nV62ǏOۄE35D+Ml~?pM^SMȮ˔c?)eъĻ&);oVٝQMJmPƐMϋyϭ|@]U~=m\ʗ=O翫ɨ@{D,CPKF[dHU]c)N'}Z:<2YtY.C6wv 2iLw#c!dH3M6;_Xa?LySq>dSpUl8NI9iPC+HS hotI-,= =j!VTaOTS<_>'Ur Poıܹ4@r^%0Iz_H8DY)>C2anj?? Z =YЁtߪlE䡠:IJhXD9Di'Qo<:.;H2R߅j8 V;s 5pY[P*$!$Aqpc{^+-Bo鍳=9BE{5̐/Tt ',ϵ(3kWO_T"r/j5yhc{b$\1wTe5;4^JNPZ֓NsyФp Us.F!qiogw,e=l UN;*x|޳g\;ħ]j{FP $+%2n+Q=aĉտ}y%Hg1RC=\E1[93Y ߤٓ[(Wx+Q\fW;[aMHv ^o݁D#@]!]$\Gp6IZFzY\Xv79 k$,`̯ RB7z!.fv,F'em} -/4{uw, XsGK gYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPgt2$ ۇ2bwG-]K/ ѷ#\S!A֟)o,,$< ncrP_tݒ’Wa5P4Hg(F±㝒_קj.Ñ9XYm3i@N5%+=YVnxb"`x!u]O?3nHCOe_kfgYZ7zXZִF! >]ŗXi%L&GB]b> (%D&Z^q4k'[IJ U$5Bznf4O"a 1`# :I2[!-UcSߛ3nIUV:+?A%> `z-{sҨb ISJLLIpQf2FObW[ЮrX7*}(GbvZb vh n&(ǃbdѳ+LA'bMgITǗlŽr\o0-Y!6_%iWcO.j2tN';ܭn}20Ζ\=bnF씽^O=ΖVs89B6)C:!ݛ$,N2y KiWSIP\Rdz}=P`wFʶKlLy{;u u͔TysjTS6p2s[6_4S|@(f:P%vř{l$K]a-ð^0[1ayO68!'Cm L8l0"86,%@