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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info {l| ]S]Slicing:threads=2elapsed=574.282cpu=989.140gc=16.612factor=1.727zXZ ִF ! C] ŗXf1-/6vR[]\|⾑Th_&SXuA(ŖAlbIPcV0EX9n(VE?ZVКu2$`l?"xrîPTt)_+:Aɨ|v7;u}،U;Cp@o,rzQN|+Hx `V*M{}>pz۩g&gnf mv=ʟ_!/Qz+~Hl'dfBVhxTOPsJ2ļQ'hƅ(lLlX^jH{Hy3ƬuF#UlIW'-DŽIit%~:HU,P- "g~(] zw2`:m/7W^JQeZ3ͮV\'-um\Y!:b?x³19jYRۢQ.6QZwu}F֡'JA,'VB%&>oЉV'T{PĿR4:u&o'`6W(+x=%&;>XwW#,i!<9ɽ[ߍ0A~s5%%Yx?T&BTѬl]wX66^ݡ_>bD~\AhB?"_Ш)Lm'br'ÆϴY-odSzOE;NEAȿ;&ÙϤd)5EI2wIpWMH{f}AD}TMq7G!4 Xu7nRFXQϞ,wE$8m>{^݂Fl,F a+F'5eYFf|'Յ@fxuF