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  k k4\l ]] Sequents:threads=2elapsed=4.005cpu=7.696gc=0.136factor=1.927zXZִF! ]ŗXf1-yx,#K[Ah |ҪayXxD2'FaV(}ОA9\[x;N0+Y!&« .AqФ2{R77#V<;1TAT6[?O_mOgzqY|-.Ѣ[jԻD¬\bnyfpyo1}Zyʹ.*U3X"4 gYZ7zXZִF! ]ŗXiɟBv l82XuDMfp°Ek\HR'mUfe7*o.pDv.ӭ [P' }#VR`׺fPjhkUahRF1.ІreM(M:^Y@Tu͉&Rga\!FK0'tT"=6C\IEJ 4~/ĸhvzYm #3y}*KZVI ︡8-Xl9bP_b&:r`$A(#-]y{T̍aM0+Lf!IFj"m`RTfeƖ?Qym+v2[t25Z?9j6`!jkН/DicA.a@n8J@iW9#X~M8'˓ K4;۞=j&MO` \fDZ!ejڇzrVcMm2`ϏHƸqW,N *"щ1[k tw{>S `7 d8 fYg:d+kCXyx fޏ}y?O#=v}ؓcTm$K$E<:oz25bR^ afk` ma[=\UoMΙw*k\ ʻs;M,p#]Nr `d.礃Zot"!]|tl*+v gYZe41242c09c7f58cb2891524525cba2cfc1385c1219126f922e3aa9c20f5a31237f68a37a6d2cdfb1   Sequents