SQLite format 3@ .  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 +' d$t ] HOL-Matrix_LP:threads=4elapsed=8.654cpu=33.184gc=1.392factor=3.837zXZִF! ,]ŗXf1-q恈{RI $ϭ N/XtYh+&r|qMT4ٵ:i̘:'k)r %'R k1J#ΟgYZ7zXZִF! c]ŗXiɟ1#vX@;- ̕^EĿвC`QS; _k{?8I4[G<;7wy- =_'nogy@pS`)N$_9nr Xlmuq]g*̈rkQ& ⪊<7A|v?^̅9AT\5bjtFK:A{<`gYZ7zXZִF! Fs]ŗXi%Bŵ'HB߳5 yB cKuȰXfwUs4W5^G?jV]\֖XM;\x#Y"GP&ʇ緂]g@OU C3O߃C7b ڳ+ځ?[tII`}FQQеN͂ ]\!h0*moSZ!S{Ƶ85H; Iň3NN*9)^Z* BM Սg5^L=@ ŝ̏lخFB5;p9selz/W(;5]>g%Ys/x9Ha+S.i#X}~=Ru3 $be߼R1dh=jG11yҵEdI(R.ܒEׅ6)^< lݞf/ |/?3e\ӝy̔SH81Ƹpm­גQ%}Ņm>..lE+  8~>úLOjmeh3u{+JJT