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 tt  ,t, ] IOA:threads=6elapsed=7.371cpu=32.868gc=1.512factor=4.467zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K/zh\M $'V[{nScB%&8F;*ٗ/Z[/`&fZSc ]'*7gYZ7zXZִF! `r]ŗXiɟdN'LvH۹ L^~]+af!iTaNHگfóރnDwxޭ9 .u΄M-"Uj%d^*'bnyEAZug޻}0uTTҲ D/U⒃ƤԵ#CSN&L.Gnm!/[9ϓey&bAC9>_:n}-G`I >=Pq{N|(le7G2-æsA[q"T*,Wc?An,mDHٹVƆaeS5UB5SƸ^zrUw5 J^ .xñgYZ7zXZִF! )P]ŗXi%E]yˡs? !&>5aB'Ob/gZW86Nv^7ix(1\6kQBeZQ9SR&DQ3]E)ێ}hU3rդU@pѤ&-Jn_'piZ.wU;tS§Rױ6H7JH?:' (\x8qe5 IqpfU\zG l Z5wZZ8['qYF',!>!>Ďzxgb1j8eOdfsuſ* +`'N=@f2{1J٩f踢r,;2G & <;e\4@s,:'~fmnRo:qa{uI ;(}&0<#t8V gC:'z^*|X]CXq3izΧm]vyp\X{`zE !5KnZd9L"oON7Q=YGċ` I X[Ah{k:*\  qs;y2 {qzGl0)UzVZyXxE ^"uOM.˦'9X#X!^ܢ