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 Dll ] Efficient-Mergesort:threads=4elapsed=8.041cpu=19.392gc=0.392factor=2.417zXZִF! ]ŗXf[&&tS1 }`͊C:Ο7K $mLN{bQOӈ0e6:Aú:YȌ{ 7= Y%߯!1mL'vII1t" rGk#^(O,@hAVOD!S\^1:co3 F|f{ Ͼ.K)#vϝeO3¦J,/C rPG16dNw[UKg1ƜO571@6c3\^!*ugYZ7zXZִF! n]ŗXiɟn+c͔(c^=N-MgC[LN!mhȄ2hP!1Lm|(2eE`C)yұgYZ7zXZִF! ?]ŗXi%B*[0HGMd{U>Dk-! 27p#VfN@UTPxj%:n2vNG1 quLpѳc| #X\k7zj`b\mHTj {3ӘߖբeTk n64F\)8a< !. Hd!9,Rc0݉I_s+,u&"'A.}=ϗTzy\6LHC`ۧf6ƅ囿&.fU o.( [~HA{|êh8Hѓ14xQ;O w:YS& m4 mBnoP9d(d#ߡG]hs?O O|hF|. `ucgs]4;GQ@@U\],YYT6]j ŧT&`/@ƛ%~Bjg`*u;]##)l?k&Jn"ԑl InY%|HtK ⬚̮nRZϠbϝ.` حdK\7%`ȉl>]-A.lHÍOk\CkHqwY)xAMsÀ+9>){z'z shA4+&f!̢lvm3Yl:dFrI֩w NXOgYZ55a92b34e225fbb3566f126fdb2e389f8ebc2bc9ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 3 Efficient-Mergesort