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 ss 1 td ]S HOL-Probability-ex:threads=6elapsed=27.095cpu=46.436gc=1.500factor=1.717zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EۏEhbͶ+W5O30ۜo"nR W2B.=+9壨Vd I)nkYo1$9Π)=0OcI"c;דa8 ;߬x}/e=*TO/ljކ,QzY0A찌A?ENlw{>khT|~㜳&Ne< \Ց+HVT b}<ǡU0m:T;Ot+R7#hix@+3#r+[i1e]DMKN!.U[/QSouRL⭼uH -`Tܓ &I T-]4T j˥163K`:FgX]|cNQhpgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >X.?84͖Z>F_iۼTs¥71M}H`\MY)LYap;_ PS+'I]Gh /tgyX*0el T>t7߼@1eҦQQ ~uM {VLgYZ7zXZִF! ]ŗXi%>elwygn{UFBs sYIWer^=Ճ1koq.}yWt3iSn:ƟteLG2`Ѭ6mi@8TLN?Z ʽ26b'ƼwQX.mKV@\Tdo92=%@#<͝W$ 됓3?,Cl7tHLvzaOVF<&U\>Us1fx7^LBH}+PsWUjz ]ZA*d{Rw"Jv:'NѺ""ٝ)Sv\VxN|5$9k?̲{Mv:^7 8Z)jl&:ܷ 4KPnu՚=`=S~ 37c(k + yvc|`=E-Rx/V}Ht̐o嶻4z4[[ Ўv'.Kv;0(0>g=1PBҔo3/3+J4Yڏ継\L(2na=n=R(X똽G"eXz"56e Fd{U'y%{UT86!Rd")2͖wbv7S*bpƕazN{_^.;VzSˎ=bFѻZ Hv鵰y.bDhQM>(AYu2 ǜX-yD kwyߚ2: %12é0DlQIgHTv`Gx)VSj^K i_$::O z)9!ȱ_S|.D`.4 ԝAĎyH.,ǰi$ kf(=GBiO 6:WT D'cyqɂWPfE@CJx4 9W%e!|gF g_ƌw-