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 44I1 4|, ]S HOL-Probability-ex:threads=6elapsed=7.324cpu=24.512gc=0.880factor=3.357zXZִF! .]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-GrI\7: FA0.)y\l 3sսOM~ᕄVWW Mf7U5, nze `A@iYb0*v@} P>vg{2 QDNR%;| >K R%U-r]`(}Ao h=i' 3f41~ jn@QxUH`Ϛg&^WFHzK˺LN{N"b:,U/"hIO"1 gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >KS[;XT3Q[t6Z#-oW]/!V.o г<!1 &m:/J,J[m֘̀*GUάA:9 ̜X*AfYgYZ7zXZִF! , ]ŗXi%GԗcBC{ - |rŊbve2zg txsdpg2.~оiaŜܘM9`cp6oٌIJ-G" vfӿ!yvyjpS9-qݪլj+Pf *qWGcJnN$y@;yLoPxє&|׽ǞHu1323nkt?JjG(/raWI3bJ+f3ۅhy-;-v#^I_ Vbqi7t@2Uo! ÀKB `1$ښ/L)fgQbAx*ơ}$lx, F[[,L[G8X/e _:g| E:e|l @* gNo8C4q ZiĖzXuyE/ȪVTe ֚gŇd9'l:,=޼}]G4,sVU ~5E8j\2ޤrZrmhh|ҸWX/UpE{u/i?P*:?PaD瀧W '&_uMV7oY2$iW {T?" _̓* =؎z:ONÆn٦7v䫲M̻xpdV\Ny8ޅ/}zYy?I`Ķ@绂D>q|8a>*8LŨDƲf,6,_њ˅^9<I)Nj23wC/kB.[_L}N!3R4HVSMQݺ}=/$C:9%۶yhXhFNa~~