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 z LDD ]S IOA-NTP:threads=4elapsed=6.287cpu=14.740gc=0.296factor=2.347zXZִF! ]]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_S4}^d99 ۠A#x-87p%y@$%DG=P-&XIѰAy} j`|WB8Fq,Sᔫ4-Sp+/?C#G@{^Γ#JBTYha UB+] =Q;CTTr"FD;.t2a~Qϒb4\H)Ɋ=,Jb>cַ/SV[~:Rg%-A%3gYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz#N5+97/T9% )y/PKs{Nw)'_tx~,sIb%?VxΪ'zƤ#rGHp^>C@a'}{ ad/,˫CUۆw3> P( n{kY]ŽB*FNdE:你L6>gYZ7zXZִF! &]ŗXi%Ggn-?dIm7D"}A^;Mor2h S+x7^~NE!,Jhp0ErxB #g)<%-0\—Gk?8fͬ'ou>"ޡvZhy N1"Ǖ(DpҁMC|n`.XJk'hi)"7,%]Q'x1w4LZk#[VrC\ aSXb_7T(2|6#ʫuli L&[씲b]63KzaG$ۉGr¨C[R yg [L<EfHyJM7N}KpY{UnSa+c0ktx9Pիt8 x#v?* SLbK[tvZJb2泫aL")=B =:\0–)2x"V; ʣ}qF^u+iIX34}#pt&IzGD  _I=רE0e:gɔ6$~ ''ѡ(7h۱ph)|9ѰjH*jŏ`˖[O`M(DP;So^/j_+ؖNÌsP_wx/ A.iyeAHu~KZG蟠W\q[mhKZU>ʶ4f7Pa4副(f`Ϟ^Xxqe =/>qóIުHǑ-+=1hb:8OM%pY&zܻmZ&<*ʂ zoѼJse%YWۇS<=)+]n!6#Df]Xv-!L;62ARҕ1LwMv