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 BB;1 l<< ]/ Concurrent_Ref_Alg:threads=4elapsed=5.974cpu=17.796gc=0.432factor=2.987zXZִF! ]ŗXf[&"wxmsɮ@wy "ȗ9 Ay_kC&G|/l۶UtC o,R,wq`NÍ>$^%>ս.,ˑhJȍR)w # ,3P@!+Kn'P҈]9Guw\2-k i labMsS9k:?4Mr}sA[}^H+/nG D{#!mQD~+߀NtSp&@][{z@#;OdzsEEO,d: Mu'4Qf54 ;JԼ_JlSDF!I-NoL u!p2d[p1s;rch" Ȯ|B(gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduprr TRlQV  sq ˫,F`7^G˳N"3%s7lfa #b6YeI=}=QxAԮI/`ܾ ms1)RCKDj< &j.@(F8t/]`2aw^̫\b<ýP۰LډWr5;gYZ7zXZִF! 4W]ŗXi%Eb⬗z[8&RF*Wu^z*dvzs{(EDcD >66漤v/_ɴeC/Z Z ގ1XqA }ӥO$Hb0ؤ5 @φoΩTpZs dbEjcl,$ اq v'5a R 1;x'C'S(@TV1l{^˕I.Xdz%h> 2\s8K0NA0CT溺K]ۍPLFm[܃LDMWoZ^ I7m%˚w_ ֺp51&;{׻^3iAvm ԻPgVz JGS|!C"zQ_f[t1E5Y?L٧'XlǡLy`-O3v`Yg7ٶfx~ &Elfcܿ:?MZCz#ci Cb+P9ML3źbXKN!uBDDGf;;S|;H:Wv_=ow(&~O8u*T+"$9H:}uyZ0g;Y =!$J/O. _la۸; { qJR\xPҕ#C[7tҕ%sAܪ&HA!H L\.5׼]AяVhP {)UMS"QrŬ<=29]zLp̔ hM o[v>l, +8ų0w2@!q1F2ZS݋=j34PK"O韬Z}.f3J͈US22S2rv5VɆ&\ ,_KXz4 2iUgYZ9d8e72f99fea6d96d2a011b3c4ba769c374770c887d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 1 Concurrent_Ref_Alg