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  % %P= lD, ]S Probabilistic_System_Zoo:threads=2elapsed=50.176cpu=82.600gc=4.120factor=1.657zXZִF! (/]ŗXf1-q恈<-¡$j9n0.H. =.;7,Xل6VDW ZgHh6H :xL/_^KMA!9>ej}ֹ}a c%lXAã1gYblszf#p4qP5 a[$t7t&qlI[e,? lu,,l[/ *}=~#&ei5*f:ONJJ.]#iȁgԒ9{5?GT/C}>iZ zPd{Uu ~N\u:O bzz"RT#]E{fqLYFz +O-Qk訽:zNڕ+%bwgcΓa۲¼ gRSQ]HmI/Rc$u=1$ЖZCp$3 R.mAwlQ/ 0yi8;Z?d. t~Ӥ8靲aFat4.2)FGhKqȧCoIF 1}M h[g!fqƣIewĢ̂NC1a >/ܻڲպϢHUHq@D&8 PcΠؘ?fMbNP;7_&WF,p+L.4;<[:xbi!\“,64 >W/hn`ձPo"ǴHѽ[Zc"˱ 䒻=с,tAj#9 wZZCCW\aZ \phCXsVN=ȒBC'tp, !EHgx5gYYib.(]~EJm5ƃQ@uD .6*dDgYZd45f01f2c7fef36e385a1f68b27f523ae023edc6665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee b16ee08ebfca5967a571197bd3aa95bb88e6c232 4c8f4dd29d74e345c9ce38dcd94396a1191662d2