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 I1 L ]S HOL-Probability-ex:threads=6elapsed=6.767cpu=19.856gc=0.816factor=2.937zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-}:";2 L49qD**l;,[rLp4'ݶ\- KEDrg-9|τo}fy# PCa"$j7Vy\ 84PF_W)[FH8i 0E5GU|h;I'h{&xJ V"ASl_@Ǣj(A\R֙h$b~I7 _:?: ӕiͫ|p?GVP@XieY['=pgҧϑΡt6@bpvoR9} T}4轑>2G.N#ܶ4Ms\TN k2eleM[HSu=ӭD3.gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >wr.?7rbB%EuK%9dždHxr\& zF"IA!zN5qG,l8a}o4 ڧĉ@M )nx3QIԄ~e[PF!i${VLgYZ7zXZִF! &]ŗXi%B۹Xdvcn>SҟxT[([2ڜ [_"W~^pxj;#<.ЖN7\ϙz&V?E͉/[YʪLrYh 02-Ti\! L\]>EgZl%PI ePDCDZ1'XgDN]=!6ђ[Η)SF S#b wn:Ѵ@YA5?nހ M%a-7=LBbV2e p-&'_]$,QvIEZ5lnZ4