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 %3 lt ] Efficient-Mergesort:threads=4elapsed=7.977cpu=18.664gc=0.468factor=2.347zXZִF! :]ŗXf[&&tS1 }`͊C:Ο7K $mLN{bQOӈ0e6:Aú:YȌ{ hEUlCup-%"#nT#RMURٜA5ǙEK9CAkINW^H?UPDhG6)eAD({$u/{=|[T8$g["llH(|_{ YV7[üljƋK( PTkМgYZ7zXZִF! o]ŗXiɟn+c͔(c^=N-MgCاHI7T c EF>. ̲}<T&*!Twd jwt:v@<gYZ7zXZִF! ?]ŗXi%GSJOL{O f :KDr8q{1;r`ٗGZW@Ϟa@`>jl:v8_)nYIħ`Խ!Bܞ;p8FPc:8iwxk-U÷͉@΋ZAA<υP#Đ-QK& l)6.жڿ拱o!d[%]P9}p ƺ;aE[(uxݒ5aΈlS% XyRSEdQXّ0SUς ($8Sm#,鶌Cb"S˗Sߐ2mZ()F;@qx=Oo5'VQ.\l  xNPD3Tۺ)>0*8:ݑx dڊ[.e='2* [$4zXjk'$?ڳ3o=Dk$HldD=Q9xq1jF5aðȈ~,"KR PeG2Us]h9FmIZ+"0n3SI͍+'z)y?ʒ2yCt4ݣj uN弱R5^"ϜiDtxψzʃQ